Searched refs:service_port_info64 (Results 1 – 2 of 2) sorted by relevance
457 uint64_t service_port_info64; /* Service port (MPO_SERVICE_PORT) */ member
2690 service_port_info = CAST_USER_ADDR_T(options->service_port_info64); in mach_port_construct()