hv_get_synic_state  195 drivers/hv/hv.c 	hv_get_synic_state(sctrl.as_uint64);
hv_get_synic_state  241 drivers/hv/hv.c 	hv_get_synic_state(sctrl.as_uint64);