hv_set_synic_state 198 drivers/hv/hv.c hv_set_synic_state(sctrl.as_uint64); hv_set_synic_state 243 drivers/hv/hv.c hv_set_synic_state(sctrl.as_uint64);