Searched refs:request_voucher_port (Results 1 – 1 of 1) sorted by relevance
652 ipc_port_t request_voucher_port; in ipc_kobject_server() local703 request_voucher_port = ipc_kmsg_get_voucher_port(request); in ipc_kobject_server()704 if (IP_VALID(request_voucher_port)) { in ipc_kobject_server()707 ipc_port_release_send(request_voucher_port); in ipc_kobject_server()