Home
last modified time | relevance | path

Searched refs:thread_cap (Results 1 – 2 of 2) sorted by relevance

/hyp/core/cspace_twolevel/src/
A Dhypercalls.c143 hypercall_cspace_attach_thread(cap_id_t cspace_cap, cap_id_t thread_cap) in hypercall_cspace_attach_thread() argument
150 cspace, thread_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_cspace_attach_thread()
/hyp/mem/addrspace/src/
A Dhypercalls.c26 hypercall_addrspace_attach_thread(cap_id_t addrspace_cap, cap_id_t thread_cap) in hypercall_addrspace_attach_thread() argument
33 cspace, thread_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_addrspace_attach_thread()

Completed in 13 milliseconds