Searched refs:X86_64_PAGING_LARGE_FLAGE_BITS (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/lib/demandpaging/include/
H A Ddp_internal.h86 #define X86_64_PAGING_LARGE_FLAGE_BITS 21 macro
91 (X86_64_PHYSADDR_BITS - X86_64_PAGING_LARGE_FLAGE_BITS)
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h55 #define X86_64_PAGING_LARGE_FLAGE_BITS 21 macro
60 (X86_64_PHYSADDR_BITS - X86_64_PAGING_LARGE_FLAGE_BITS)
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h55 #define X86_64_PAGING_LARGE_FLAGE_BITS 21 macro
60 (X86_64_PHYSADDR_BITS - X86_64_PAGING_LARGE_FLAGE_BITS)
/barrelfish-master/usr/arrakismon/
H A Dpaging.h55 #define X86_64_PAGING_LARGE_FLAGE_BITS 21 macro

Completed in 98 milliseconds