Searched refs:request_voucher_port (Results 1 – 1 of 1) sorted by relevance
678 ipc_port_t request_voucher_port; in ipc_kobject_server() local729 request_voucher_port = ipc_kmsg_get_voucher_port(request); in ipc_kobject_server()730 if (IP_VALID(request_voucher_port)) { in ipc_kobject_server()733 ipc_port_release_send(request_voucher_port); in ipc_kobject_server()