Searched refs:ipc_voucher_reference (Results 1 – 3 of 3) sorted by relevance
282 extern void ipc_voucher_reference(
363 ipc_voucher_reference(voucher); in convert_port_to_voucher()401 ipc_voucher_reference(ipc_voucher_t voucher) in ipc_voucher_reference() function
3426 ipc_voucher_reference(voucher); in thread_get_mach_voucher()3478 ipc_voucher_reference(voucher); in thread_set_mach_voucher()