Searched refs:mach_voucher_t (Results 1 – 7 of 7) sorted by relevance
54 typedef mach_port_t mach_voucher_t; typedef55 #define MACH_VOUCHER_NULL ((mach_voucher_t) 0)68 typedef mach_voucher_t ipc_voucher_t;
673 type mach_voucher_t = mach_port_t;
63 static mach_voucher_t70 mach_voucher_t voucher = MACH_PORT_NULL; in create_task_voucher()98 mach_voucher_t voucher = create_task_voucher(); in handle_exceptions()293 reply->hdr.msgh_voucher_port = (mach_voucher_t)0xdead; in handle_exceptions()
58 mach_voucher_t current_voucher = MACH_VOUCHER_NULL; in _persona_try_adopting()74 mach_voucher_t mach_voucher = MACH_VOUCHER_NULL; in _persona_try_adopting()
22 mach_voucher_t voucher = MACH_VOUCHER_NULL;
457 mach_voucher_t voucher = MACH_PORT_NULL; in test_thread_port_mig_intrans()
879 mach_voucher_t voucher) in mach_voucher_deallocate()