Searched refs:seL4_X86_WriteThrough (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dtypes.h32 seL4_X86_WriteThrough = 1, enumerator in enum:__anon25
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h30 #define CDL_VM_WriteThrough seL4_X86_WriteThrough

Completed in 59 milliseconds