Searched refs:X86_64_HUGE_PAGE_MASK (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h38 #define X86_64_HUGE_PAGE_MASK (X86_64_HUGE_PAGE_SIZE - 1) macro
39 #define X86_64_HUGE_PAGE_OFFSET(a) ((a) & X86_64_HUGE_PAGE_MASK)
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h35 #define HUGE_PAGE_MASK X86_64_HUGE_PAGE_MASK
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c346 (vaddr & X86_64_HUGE_PAGE_MASK) == 0 &&
348 ((fi.base & X86_64_HUGE_PAGE_MASK) == 0))
603 (vaddr & X86_64_HUGE_PAGE_MASK) == 0 &&
604 (fi.base & X86_64_HUGE_PAGE_MASK) == 0 &&

Completed in 167 milliseconds