Searched refs:clock_serv (Results 1 – 1 of 1) sorted by relevance
5006 mach_msg_port_descriptor_t clock_serv; in POST() member5013 assign_port_name(reply->clock_serv.name, "clock-%p"); in POST()5014 PRINT("%s", name_for_port(reply->clock_serv.name)); in POST()