Symbol: root_scheduler_deinit
drivers/hv/mshv_root_main.c
2337
root_scheduler_deinit();
drivers/hv/mshv_root_main.c
2352
root_scheduler_deinit();