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);363 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()375 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()4443 mach_msg_user_port_descriptor_t *user_dsc_in, in ipc_kmsg_copyin_port_descriptor()4450 mach_msg_user_port_descriptor_t user_dsc = *user_dsc_in; in ipc_kmsg_copyin_port_descriptor()5064 (mach_msg_user_port_descriptor_t *)user_addr, space, dest, kmsg, options, &mr); in ipc_kmsg_copyin_body()5994 mach_msg_user_port_descriptor_t *user_dsc; in ipc_kmsg_copyout_port_descriptor()6006 user_dsc = ((mach_msg_user_port_descriptor_t *)dest_dsc - 1); in ipc_kmsg_copyout_port_descriptor()6297 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