Searched refs:domain_restart_type (Results 1 – 2 of 2) sorted by relevance
300 } domain_restart_type; typedef
399 static domain_restart_type handle_domain_death(uint32_t *r_domid, in handle_domain_death()403 domain_restart_type restart = DOMAIN_RESTART_NONE; in handle_domain_death()
Completed in 5 milliseconds