754 	uint32_t sint;  in vmbus_synic_setup()  local
785 	 * Configure and unmask SINT for message and event flags.  in vmbus_synic_setup()
787 	sint = MSR_HV_SINT0 + VMBUS_SINT_MESSAGE;  in vmbus_synic_setup()
788 	orig = RDMSR(sint);  in vmbus_synic_setup()
791 	WRMSR(sint, val);  in vmbus_synic_setup()
794 	 * Configure and unmask SINT for timer.  in vmbus_synic_setup()
819 	uint32_t sint;  in vmbus_synic_teardown()  local
828 	 * Mask message and event flags SINT.  in vmbus_synic_teardown()
830 	sint = MSR_HV_SINT0 + VMBUS_SINT_MESSAGE;  in vmbus_synic_teardown()
831 	orig = RDMSR(sint);  in vmbus_synic_teardown()
832 	WRMSR(sint, orig | MSR_HV_SINT_MASKED);  in vmbus_synic_teardown()
835 	 * Mask timer SINT.  in vmbus_synic_teardown()