Searched refs:root_scheduler_deinit (Results 1 – 1 of 1) sorted by relevance
2240 root_scheduler_deinit(void) in root_scheduler_deinit() function2328 root_scheduler_deinit(); in mshv_parent_partition_init()2343 root_scheduler_deinit(); in mshv_parent_partition_exit()