Searched defs:voucher_type (Results 1 – 1 of 1) sorted by relevance
3908 mach_msg_type_name_t voucher_type = MACH_MSGH_BITS_VOUCHER(mbits); in ipc_kmsg_copyin_header() local5495 mach_msg_type_name_t voucher_type = MACH_MSGH_BITS_VOUCHER(mbits); in ipc_kmsg_copyout_header() local6543 mach_msg_type_name_t voucher_type = MACH_MSGH_BITS_VOUCHER(mbits); in ipc_kmsg_copyout_pseudo() local6635 mach_msg_type_name_t voucher_type; in ipc_kmsg_copyout_dest_to_user() local6746 mach_msg_type_name_t voucher_type; in ipc_kmsg_copyout_dest_to_kernel() local