Searched refs:pause_domain (Results 1 – 1 of 1) sorted by relevance
35 static void pause_domain(uint32_t domid) in pause_domain() function67 pause_domain(find_domain(argv[optind])); in main_pause()
Completed in 4 milliseconds