Searched refs:X86_64_PTABLE_NUM_ENTRIES (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h53 #define PTABLE_ENTRIES X86_64_PTABLE_NUM_ENTRIES
/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h60 #define X86_64_PTABLE_NUM_ENTRIES (1UL<<X86_64_PTABLE_BITS) macro

Completed in 26 milliseconds