Searched refs:restart_port (Results 1 – 1 of 1) sorted by relevance
31 handle_t restart_port; in main() local40 restart_port = (handle_t)rc; in main()42 rc = wait(restart_port, &uevt, INFINITE_TIME); in main()