x86_64: fix is_same_{pdir,pdpt,pml4} functions to properly identify ranges that span...
authorSimon Gerber <simon.gerber@hp.com>
Tue, 17 Jun 2014 20:42:53 +0000 (13:42 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commita325e87705edd4f693d8e1192d89f9c7ce4b2c8a
tree12aad7e6309556cfd5c0d611a76b63533b846084
parent221216f36db8e2b31a712446d469ccc7af8f638c
x86_64: fix is_same_{pdir,pdpt,pml4} functions to properly identify ranges that span exactly one table.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
lib/barrelfish/target/x86_64/pmap_target.c