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

/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h54 #define PTABLE_MASK VMSAv8_64_PTABLE_MASK macro
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h53 #define PTABLE_MASK X86_32_PTABLE_MASK macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h53 #define PTABLE_MASK X86_64_PTABLE_MASK macro
/barrelfish-2018-10-04/tools/elver/
H A Delver.c46 #define PTABLE_MASK 0x1ff /**< Page dir/table address mask */ macro
49 #define PML4_BASE(base) (((uint64_t)(base) >> 39) & PTABLE_MASK)
50 #define PDPT_BASE(base) (((uint64_t)(base) >> 30) & PTABLE_MASK)
51 #define PDIR_BASE(base) (((uint64_t)(base) >> 21) & PTABLE_MASK)
52 #define PTABLE_BASE(base) (((uint64_t)(base) >> 12) & PTABLE_MASK)

Completed in 88 milliseconds