Searched refs:mach_msg_user_port_descriptor_t (Results 1 – 2 of 2) sorted by relevance
187 mach_validate_desc_type(mach_msg_user_port_descriptor_t);372 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()384 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()4442 mach_msg_user_port_descriptor_t *user_dsc_in, in ipc_kmsg_copyin_port_descriptor()4449 mach_msg_user_port_descriptor_t user_dsc = *user_dsc_in; in ipc_kmsg_copyin_port_descriptor()5063 (mach_msg_user_port_descriptor_t *)user_addr, space, dest, kmsg, options, &mr); in ipc_kmsg_copyin_body()5993 mach_msg_user_port_descriptor_t *user_dsc; in ipc_kmsg_copyout_port_descriptor()6005 user_dsc = ((mach_msg_user_port_descriptor_t *)dest_dsc - 1); in ipc_kmsg_copyout_port_descriptor()6296 mach_msg_user_port_descriptor_t *user_dsc = (typeof(user_dsc))dest_dsc; in ipc_kmsg_copyout_guarded_port_descriptor()
403 } mach_msg_user_port_descriptor_t; typedef