x86_64: fix page sizes to be derived from sizes in bits.
authorSimon Gerber <simon.gerber@hp.com>
Tue, 17 Jun 2014 00:17:01 +0000 (17:17 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commit411497e71946fa5df110fdb4baebf7f62d33522c
tree283eb506294dfd6cef5e33d0fd7215158c8c0dc1
parent45c8f904bfafd4d044512c113a17c13cab89c580
x86_64: fix page sizes to be derived from sizes in bits.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
include/target/x86_64/barrelfish_kpi/paging_target.h