x86_32: compiles with PAE enabled.
authorSimon Gerber <simon.gerber@hp.com>
Thu, 19 Jun 2014 00:22:15 +0000 (17:22 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:28 +0000 (21:19 +0200)
commit97b26f29da51a8e0be5b734a1fd2f0dedaeea1a9
tree681b16d52e9a2f801f1f2ba0802f7b6ed82139fe
parente5b44f3cfdcf0c9725427aee9b2db664d3fe7ae0
x86_32: compiles with PAE enabled.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/startup_arch.c
lib/barrelfish/target/x86_32/pmap_target.c