Searched defs:X86_32_PTABLE_SIZE (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/include/target/x86_32/barrelfish_kpi/
H A Dpaging_target.h76 #define X86_32_PTABLE_SIZE (1U<<X86_32_PTABLE_BITS) /**< Page directory/table size */ macro
87 #define X86_32_PTABLE_SIZE (1U<<X86_32_PTABLE_BITS) /**< Page directory/table size */ macro

Completed in 77 milliseconds