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

/barrelfish-master/kernel/include/target/x86_64/
H A Doffsets_target.h43 #define X86_64_VADDR_SPACE_SIZE ((genpaddr_t)1 << X86_64_VADDR_SPACE_BITS) macro
/barrelfish-master/usr/arrakismon/
H A Dpaging.h43 #define X86_64_VADDR_SPACE_SIZE ((genpaddr_t)1 << X86_64_VADDR_SPACE_BITS) macro
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h43 #define X86_64_VADDR_SPACE_SIZE ((genpaddr_t)1 << X86_64_VADDR_SPACE_BITS) macro
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h43 #define X86_64_VADDR_SPACE_SIZE ((genpaddr_t)1 << X86_64_VADDR_SPACE_BITS) macro

Completed in 86 milliseconds