Searched refs:mach_msg_user_port_descriptor_t (Results 1 – 2 of 2) sorted by relevance
185 mach_validate_desc_type(mach_msg_user_port_descriptor_t);311 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()323 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()4281 mach_msg_user_port_descriptor_t *user_dsc_in, in ipc_kmsg_copyin_port_descriptor()4288 mach_msg_user_port_descriptor_t user_dsc = *user_dsc_in; in ipc_kmsg_copyin_port_descriptor()4902 (mach_msg_user_port_descriptor_t *)user_addr, space, dest, kmsg, options, &mr); in ipc_kmsg_copyin_body()5832 mach_msg_user_port_descriptor_t *user_dsc; in ipc_kmsg_copyout_port_descriptor()5844 user_dsc = ((mach_msg_user_port_descriptor_t *)dest_dsc - 1); in ipc_kmsg_copyout_port_descriptor()6134 mach_msg_user_port_descriptor_t *user_dsc = (typeof(user_dsc))dest_dsc; in ipc_kmsg_copyout_guarded_port_descriptor()
402 } mach_msg_user_port_descriptor_t; typedef