274 	simp.as_uint64 = hv_get_register(HV_REGISTER_SIMP);  in hv_synic_enable_regs()
290 	hv_set_register(HV_REGISTER_SIMP, simp.as_uint64);  in hv_synic_enable_regs()
293 	siefp.as_uint64 = hv_get_register(HV_REGISTER_SIEFP);  in hv_synic_enable_regs()
309 	hv_set_register(HV_REGISTER_SIEFP, siefp.as_uint64);  in hv_synic_enable_regs()
314 	shared_sint.as_uint64 = hv_get_register(HV_REGISTER_SINT0 +  in hv_synic_enable_regs()
331 				shared_sint.as_uint64);  in hv_synic_enable_regs()
334 	sctrl.as_uint64 = hv_get_register(HV_REGISTER_SCONTROL);  in hv_synic_enable_regs()
337 	hv_set_register(HV_REGISTER_SCONTROL, sctrl.as_uint64);  in hv_synic_enable_regs()
361 	shared_sint.as_uint64 = hv_get_register(HV_REGISTER_SINT0 +  in hv_synic_disable_regs()
369 				shared_sint.as_uint64);  in hv_synic_disable_regs()
371 	simp.as_uint64 = hv_get_register(HV_REGISTER_SIMP);  in hv_synic_disable_regs()
386 	hv_set_register(HV_REGISTER_SIMP, simp.as_uint64);  in hv_synic_disable_regs()
388 	siefp.as_uint64 = hv_get_register(HV_REGISTER_SIEFP);  in hv_synic_disable_regs()
398 	hv_set_register(HV_REGISTER_SIEFP, siefp.as_uint64);  in hv_synic_disable_regs()
401 	sctrl.as_uint64 = hv_get_register(HV_REGISTER_SCONTROL);  in hv_synic_disable_regs()
403 	hv_set_register(HV_REGISTER_SCONTROL, sctrl.as_uint64);  in hv_synic_disable_regs()