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

/barrelfish-2018-10-04/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h19 #define BASE_PAGE_BITS 12 macro
H A Dpaging_arm_v7.h19 #define BASE_PAGE_BITS 12 macro
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h28 #define BASE_PAGE_BITS X86_32_BASE_PAGE_BITS macro
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h24 #define BASE_PAGE_BITS VMSAv8_64_BASE_PAGE_BITS macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h23 #define BASE_PAGE_BITS X86_64_BASE_PAGE_BITS macro

Completed in 51 milliseconds