hv_get_siefp      175 drivers/hv/hv.c 	hv_get_siefp(siefp.as_uint64);
hv_get_siefp      234 drivers/hv/hv.c 	hv_get_siefp(siefp.as_uint64);