Symbol: mshv_vtl_cpu_run
drivers/hv/mshv_vtl_main.c
439
if (!xchg_relaxed(&mshv_vtl_cpu_run(cpu)->cancel, 1))
drivers/hv/mshv_vtl_main.c
812
page = virt_to_page(mshv_vtl_cpu_run(cpu));