Searched defs:seL4_ARCH_Uncached_VMAttributes (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h31 #define seL4_ARCH_Uncached_VMAttributes 0 macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h43 #define seL4_ARCH_Uncached_VMAttributes seL4_X86_CacheDisabled macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h44 #define seL4_ARCH_Uncached_VMAttributes 0 macro

Completed in 78 milliseconds