VMBUS_SINT_TIMER

158

msr = x86_read_msr(IA32_MSR_HV_SINT0 + VMBUS_SINT_TIMER);

160

x86_write_msr(IA32_MSR_HV_SINT0 + VMBUS_SINT_TIMER, msr);

161

TRACE("cpu%u: sint%u new msr 0x%llX\n", VMBUS_SINT_TIMER, cpu, (unsigned long long)msr);

198

msr = x86_read_msr(IA32_MSR_HV_SINT0 + VMBUS_SINT_TIMER);

200

x86_write_msr(IA32_MSR_HV_SINT0 + VMBUS_SINT_TIMER, msr);

201

TRACE("cpu%u: sint%u new msr 0x%llX\n", VMBUS_SINT_TIMER, cpu, (unsigned long long)msr);