hv_set_siefp      180 drivers/hv/hv.c 	hv_set_siefp(siefp.as_uint64);
hv_set_siefp      238 drivers/hv/hv.c 	hv_set_siefp(siefp.as_uint64);