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

/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h26 #define X86_64_BASE_PAGE_MASK (X86_64_BASE_PAGE_SIZE - 1) macro
27 #define X86_64_BASE_PAGE_OFFSET(a) ((a) & X86_64_BASE_PAGE_MASK)
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h25 #define BASE_PAGE_MASK X86_64_BASE_PAGE_MASK
/barrelfish-master/usr/acpi/
H A Dvtd_sl_paging.h25 #define SL_BASE_PAGE_MASK X86_64_BASE_PAGE_MASK
/barrelfish-master/lib/driverkit/
H A Diommu_client.c429 addr = addr & ~X86_64_BASE_PAGE_MASK;
1236 !(dmem->size & X86_64_BASE_PAGE_MASK));

Completed in 57 milliseconds