Searched refs:request_voucher_port (Results 1 – 1 of 1) sorted by relevance
683 ipc_port_t request_voucher_port; in ipc_kobject_server() local734 request_voucher_port = ipc_kmsg_get_voucher_port(request); in ipc_kobject_server()735 if (IP_VALID(request_voucher_port)) { in ipc_kobject_server()738 ipc_port_release_send(request_voucher_port); in ipc_kobject_server()