Searched refs:X86_64_PAGING_AVAIL2_BITS (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h84 #define X86_64_PAGING_AVAIL2_BITS 11 macro
89 X86_64_PAGING_AVAIL2_BITS - 1)
/barrelfish-master/usr/arrakismon/
H A Dpaging.h53 #define X86_64_PAGING_AVAIL2_BITS 11 macro
58 X86_64_PAGING_AVAIL2_BITS - 1)
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h53 #define X86_64_PAGING_AVAIL2_BITS 11 macro
58 X86_64_PAGING_AVAIL2_BITS - 1)
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h53 #define X86_64_PAGING_AVAIL2_BITS 11 macro
58 X86_64_PAGING_AVAIL2_BITS - 1)
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h62 #define X86_64_PAGING_AVAIL2_BITS 11 macro
66 X86_64_PAGING_AVAIL2_BITS - 1)

Completed in 165 milliseconds