Searched refs:seL4_DebugCapIdentify (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Ddebug.h32 return (0 != seL4_DebugCapIdentify(cap));
39 return (4 == seL4_DebugCapIdentify(cap));
46 return (6 == seL4_DebugCapIdentify(cap));
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dcaps.c22 int type = seL4_DebugCapIdentify(cap);
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dsyscalls.h102 seL4_DebugCapIdentify(seL4_CPtr cap);
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h620 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap) function
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h855 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap) function
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h647 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap) function
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h824 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap) function

Completed in 73 milliseconds