Searched defs:provide_cap (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c333 BOOT_CODE bool_t provide_cap(cap_t root_cnode_cap, cap_t cap) function

Completed in 24 milliseconds