11633f69506d ("KVM: VMX: Always inline eVMCS read/write helpers")
a789aeba4196 ("KVM: VMX: Rename "vmx/evmcs.{ch}" to "vmx/hyperv.{ch}"")
010050a86393 ("x86/kvm: Always inline evmcs_write64()")