Searched refs:PTABLE_ENTRY_SIZE (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h60 #define PTABLE_ENTRY_SIZE VMSAv8_64_PTABLE_ENTRY_SIZE macro
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h59 #define PTABLE_ENTRY_SIZE X86_32_PTABLE_ENTRY_SIZE macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h59 #define PTABLE_ENTRY_SIZE X86_64_PTABLE_ENTRY_SIZE macro
/barrelfish-2018-10-04/kernel/include/arch/armv7/
H A Dpaging_kernel_arch.h68 #define PTABLE_ENTRY_SIZE get_pte_size() macro
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h183 return PTABLE_ENTRY_SIZE;
/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c498 #define PTABLE_ENTRY_SIZE BIT(PTABLE_ENTRY_BITS) macro

Completed in 42 milliseconds