Home
last modified time | relevance | path

Searched defs:Mode_finaliseCap (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/64/object/
A Dobjecttype.c77 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final) in Mode_finaliseCap() function
/seL4-master/src/arch/x86/32/object/
A Dobjecttype.c53 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final) in Mode_finaliseCap() function

Completed in 10 milliseconds