Searched refs:ipc_voucher_reference (Results 1 – 3 of 3) sorted by relevance
324 extern void ipc_voucher_reference(
401 ipc_voucher_reference(voucher); in convert_port_to_voucher()439 ipc_voucher_reference(ipc_voucher_t voucher) in ipc_voucher_reference() function
3260 ipc_voucher_reference(voucher); in thread_get_mach_voucher()3312 ipc_voucher_reference(voucher); in thread_set_mach_voucher()