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

/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h61 #define X86_64_PTABLE_MASK 0x1ff /**< Page dir/table address mask */ macro
74 #define X86_64_PML5_BASE(base) (((uint64_t)(base) >> 48) & X86_64_PTABLE_MASK)
75 #define X86_64_PML4_BASE(base) (((uint64_t)(base) >> 39) & X86_64_PTABLE_MASK)
76 #define X86_64_PDPT_BASE(base) (((uint64_t)(base) >> 30) & X86_64_PTABLE_MASK)
77 #define X86_64_PDIR_BASE(base) (((uint64_t)(base) >> 21) & X86_64_PTABLE_MASK)
78 #define X86_64_PTABLE_BASE(base) (((uint64_t)(base) >> 12) & X86_64_PTABLE_MASK)
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h54 #define PTABLE_MASK X86_64_PTABLE_MASK

Completed in 13 milliseconds