Searched refs:main_domid (Results 1 – 3 of 3) sorted by relevance
285 &main_domid, 0, 0,
151 int main_domid(int argc, char **argv);
615 int main_domid(int argc, char **argv) in main_domid() function
Completed in 7 milliseconds