Searched defs:BASE_PAGE_MASK (Results 1 - 5 of 5) sorted by last modified time

/barrelfish-2018-10-04/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h21 #define BASE_PAGE_MASK (BASE_PAGE_SIZE - 1) macro
H A Dpaging_arm_v5.h21 #define BASE_PAGE_MASK (BASE_PAGE_SIZE - 1) macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h25 #define BASE_PAGE_MASK X86_64_BASE_PAGE_MASK macro
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h30 #define BASE_PAGE_MASK X86_32_BASE_PAGE_MASK macro
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h26 #define BASE_PAGE_MASK VMSAv8_64_BASE_PAGE_MASK macro

Completed in 53 milliseconds