armv5: improved page table dumping.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 1 Jun 2015 16:48:23 +0000 (18:48 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 1 Jun 2015 16:48:23 +0000 (18:48 +0200)
commit4a5f98d1a1f8089aba8beb331ff6a2b21c2a8e49
tree16671e91cd598fc7c79085e3c5b6ff4d91240f72
parent4710cdfbce7ef79a3de4cdd344a9da36c26f9e1a
armv5: improved page table dumping.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/arch/armv5/paging.c