32bit: fixup printf format specifiers.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 1 Jun 2015 15:16:39 +0000 (17:16 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 1 Jun 2015 15:16:39 +0000 (17:16 +0200)
commit4710cdfbce7ef79a3de4cdd344a9da36c26f9e1a
tree62bd1211dd3a205f882546961510f3931840e3dc
parent514b2f79a35eb87c0408f8da1894c03f7930477d
32bit: fixup printf format specifiers.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/arch/x86_32/page_mappings_arch.c
kernel/paging_generic.c
lib/ahci/ahci.c
lib/barrelfish/debug.c