internal static extern HvReturn hv_vmx_vcpu_write_vmcs(uint vcpu, HvVmcsField field, ulong value);
internal static extern HvReturn hv_vmx_vcpu_read_vmcs(uint vcpu, HvVmcsField field, out ulong value);
internal static extern HvReturn hv_vmx_vcpu_write_vmcs(uint vcpu, HvVmcsField field, ulong value);
internal static extern HvReturn hv_vmx_vcpu_read_vmcs(uint vcpu, HvVmcsField field, out ulong value);