diff options
| author | Jinbum Park <[email protected]> | 2017-12-12 01:42:25 +0100 |
|---|---|---|
| committer | Russell King <[email protected]> | 2018-01-21 15:32:18 +0000 |
| commit | d02ca6d76ba7f089706db555ee19f3775bc42740 (patch) | |
| tree | 0359430c002f8be8034bb97c46d891831d7dae6d /lib/mpi/mpi-internal.h | |
| parent | 4fb69cc4566f175839615cc4ef8828ae4d5341d9 (diff) | |
ARM: 8736/1: mm: dump: make the page table dumping seq_file
This patch makes the page table dumping seq_file optional.
It makes the page table dumping code usable for other cases.
This patch refers below commit of arm64.
(ae5d1cf358a5
("arm64: dump: Make the page table dumping seq_file optional"))
Reviewed-by: Kees Cook <[email protected]>
Tested-by: Laura Abbott <[email protected]>
Reviewed-by: Laura Abbott <[email protected]>
Acked-by: Kees Cook <[email protected]>
Signed-off-by: Jinbum Park <[email protected]>
Signed-off-by: Russell King <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions