Searched refs:mach_msg_user_port_descriptor_t (Results 1 – 2 of 2) sorted by relevance
181 mach_validate_desc_type(mach_msg_user_port_descriptor_t);206 return sizeof(mach_msg_user_port_descriptor_t); in ipc_kmsg_user_desc_size()218 return sizeof(mach_msg_user_port_descriptor_t); in ipc_kmsg_user_desc_size()3281 mach_msg_user_port_descriptor_t *user_dsc_in, in ipc_kmsg_copyin_port_descriptor()3288 mach_msg_user_port_descriptor_t user_dsc = *user_dsc_in; in ipc_kmsg_copyin_port_descriptor()3885 (mach_msg_user_port_descriptor_t *)user_addr, space, dest, kmsg, optionp, &mr); in ipc_kmsg_copyin_body()4749 mach_msg_user_port_descriptor_t *user_dsc; in ipc_kmsg_copyout_port_descriptor()4761 user_dsc = ((mach_msg_user_port_descriptor_t *)dest_dsc - 1); in ipc_kmsg_copyout_port_descriptor()5051 mach_msg_user_port_descriptor_t *user_dsc = (typeof(user_dsc))dest_dsc; in ipc_kmsg_copyout_guarded_port_descriptor()
400 } mach_msg_user_port_descriptor_t; typedef