Searched refs:msgqueue_cap (Results 1 – 1 of 1) sorted by relevance
| /hyp/ipc/msgqueue/src/ |
| A D | hypercalls.c | 30 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_BIND_SEND); in hypercall_msgqueue_bind_send_virq()
62 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_BIND_RECEIVE); in hypercall_msgqueue_bind_receive_virq()
87 hypercall_msgqueue_unbind_send_virq(cap_id_t msgqueue_cap) in hypercall_msgqueue_unbind_send_virq() argument
93 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_BIND_SEND); in hypercall_msgqueue_unbind_send_virq()
136 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_SEND); in hypercall_msgqueue_send()
163 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_RECEIVE); in hypercall_msgqueue_receive()
183 hypercall_msgqueue_flush(cap_id_t msgqueue_cap) in hypercall_msgqueue_flush() argument
189 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_RECEIVE); in hypercall_msgqueue_flush()
212 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_SEND); in hypercall_msgqueue_configure_send()
236 cspace, msgqueue_cap, CAP_RIGHTS_MSGQUEUE_RECEIVE); in hypercall_msgqueue_configure_receive()
[all …]
|
Completed in 46 milliseconds