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

/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) function
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dkobject_t.h78 return arch_kobject_get_size(type, objectSize);

Completed in 30 milliseconds