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);325 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()337 return sizeof(mach_msg_user_port_descriptor_t); in ikm_user_desc_size()4357 mach_msg_user_port_descriptor_t *user_dsc_in, in ipc_kmsg_copyin_port_descriptor()4364 mach_msg_user_port_descriptor_t user_dsc = *user_dsc_in; in ipc_kmsg_copyin_port_descriptor()4978 (mach_msg_user_port_descriptor_t *)user_addr, space, dest, kmsg, options, &mr); in ipc_kmsg_copyin_body()5908 mach_msg_user_port_descriptor_t *user_dsc; in ipc_kmsg_copyout_port_descriptor()5920 user_dsc = ((mach_msg_user_port_descriptor_t *)dest_dsc - 1); in ipc_kmsg_copyout_port_descriptor()6210 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