hv_vmx_vcpu_write_vmcs(_:_:_:)

Declaration

func hv_vmx_vcpu_write_vmcs(_ vcpu: hv_vcpuid_t, _ field: UInt32, _ value: UInt64) -> hv_return_t

Parameters

• vcpu:

  The ID of the vCPU.

• field:

  The ID of the VMCS field. For a list of possible values, see Virtual Machine Control Structure (VMCS) Field IDs.

• value:

  The new value for field in the VMCS.

Return Value

HV_SUCCESS if the operation was successful, otherwise an error code specified in hv_return_t.

Discussion

See Also

Field management

• Virtual Machine Control Structure (VMCS) Field IDs
• hv_vmx_vcpu_read_vmcs(_:_:_:)
• hv_vmx_vcpu_get_cap_write_vmcs(_:_:_:_:)
• hv_vmx_vcpu_set_apic_address(_:_:)
• Virtual Machine control structure (VMCS) Field IDs