Searched refs:Arch_finaliseCap (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Dobjecttype.h18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dobjecttype.h18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dobjecttype.h18 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final);
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c71 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) function
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c180 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) function
/seL4-camkes-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c143 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) function
/seL4-camkes-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c138 finaliseCap_ret_t Arch_finaliseCap(cap_t cap, bool_t final) function
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c109 return Arch_finaliseCap(cap, final);

Completed in 113 milliseconds