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

/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h37 #define seL4_ARCH_ASIDControl_MakePool seL4_X86_ASIDControl_MakePool macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h38 #define seL4_ARCH_ASIDControl_MakePool seL4_RISCV_ASIDControl_MakePool macro
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h42 #define seL4_ARCH_ASIDControl_MakePool seL4_ARM_ASIDControl_MakePool macro
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c754 seL4_Error err = seL4_ARCH_ASIDControl_MakePool(seL4_CapASIDControl, asidpool_ut,
843 seL4_Error err = seL4_ARCH_ASIDControl_MakePool(seL4_CapASIDControl, asid_ut,

Completed in 42 milliseconds