Searched refs:reload_domain_config (Results 1 – 1 of 1) sorted by relevance
358 static void reload_domain_config(uint32_t domid, in reload_domain_config() function457 reload_domain_config(*r_domid, d_config); in handle_domain_death()462 reload_domain_config(*r_domid, d_config); in handle_domain_death()473 reload_domain_config(*r_domid, d_config); in handle_domain_death()
Completed in 4 milliseconds