IA32_MSR_HV_HYPERCALL
uint64 msr = x86_read_msr(IA32_MSR_HV_HYPERCALL);
x86_write_msr(IA32_MSR_HV_HYPERCALL, msr);
msr = x86_read_msr(IA32_MSR_HV_HYPERCALL);
uint64 msr = x86_read_msr(IA32_MSR_HV_HYPERCALL);
x86_write_msr(IA32_MSR_HV_HYPERCALL, msr);