Searched refs:seL4_IOPageTableBits (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/api/
H A Dconstants.h43 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/
H A Dconstants.h56 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h43 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h56 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dintel-vtd.c289 iopt = (vtd_pte_t*)alloc_region(seL4_IOPageTableBits);
293 memzero(iopt, BIT(seL4_IOPageTableBits));
294 flushCacheRange(iopt, seL4_IOPageTableBits);
325 iopt = (vtd_pte_t*)alloc_region(seL4_IOPageTableBits);
329 memzero(iopt, BIT(seL4_IOPageTableBits));
330 flushCacheRange(iopt, seL4_IOPageTableBits);
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/api/
H A Dconstants.h174 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/api/
H A Dconstants.h140 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h174 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h140 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h174 #define seL4_IOPageTableBits 12 macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dstructures.h78 compile_assert(vtd_pt_size_sane, VTD_PT_INDEX_BITS + VTD_PTE_SIZE_BITS == seL4_IOPageTableBits)
183 return seL4_IOPageTableBits;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/
H A Dobjecttype.c379 return seL4_IOPageTableBits;
535 (word_t)regionBase + (1 << seL4_IOPageTableBits) - 1,
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/object/
H A Dstructures.h339 return seL4_IOPageTableBits;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dobjecttype.c446 return seL4_IOPageTableBits;

Completed in 177 milliseconds