Searched refs:thread_cap (Results 1 – 2 of 2) sorted by relevance
143 hypercall_cspace_attach_thread(cap_id_t cspace_cap, cap_id_t thread_cap) in hypercall_cspace_attach_thread() argument150 cspace, thread_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_cspace_attach_thread()
26 hypercall_addrspace_attach_thread(cap_id_t addrspace_cap, cap_id_t thread_cap) in hypercall_addrspace_attach_thread() argument33 cspace, thread_cap, CAP_RIGHTS_GENERIC_OBJECT_ACTIVATE, &type); in hypercall_addrspace_attach_thread()
Completed in 13 milliseconds