Searched refs:arch_kobject_get_type (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h52 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h51 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dkobject_t.h109 return arch_kobject_get_type(type, objectSize);
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c544 error = seL4_Untyped_Retype(free_slot, arch_kobject_get_type(KOBJECT_FRAME, seL4_PageBits), seL4_PageBits,

Completed in 47 milliseconds