Searched defs:get_initial_domain_id (Results 1 – 2 of 2) sorted by relevance
85 static inline domid_t get_initial_domain_id(void) in get_initial_domain_id() function
937 domid_t get_initial_domain_id(void) in get_initial_domain_id() function
Completed in 6 milliseconds