Searched refs:service_port_info32 (Results 1 – 2 of 2) sorted by relevance
473 uint32_t service_port_info32; /* Service port (MPO_SERVICE_PORT) */ member
2697 service_port_info = CAST_USER_ADDR_T(options->service_port_info32); in mach_port_construct()