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);