hv_gic_set_icv_reg(_:_:_:)

Declaration

func hv_gic_set_icv_reg(_ vcpu: hv_vcpu_t, _ reg: hv_gic_icv_reg_t, _ value: UInt64) -> hv_return_t

Parameters

• vcpu:

  The handle for the vCPU.

• reg:

  The enumeration value that represents the ICV system register.

• value:

  The GIC ICV register value the framework writes to.

Return Value

HV_SUCCESS on success; otherwise, an error code.

Discussion

ICV registers are only available when exception level 2 (EL2) is in an enabled state, otherwise the framework returns an error.

See Also

Getting and setting registers

• hv_gic_get_distributor_reg(_:_:)
• hv_gic_get_msi_reg(_:_:)
• hv_gic_get_icc_reg(_:_:_:)
• hv_gic_get_ich_reg(_:_:_:)
• hv_gic_get_icv_reg(_:_:_:)
• hv_gic_get_redistributor_reg(_:_:_:)
• hv_gic_set_distributor_reg(_:_:)
• hv_gic_set_icc_reg(_:_:_:)
• hv_gic_set_ich_reg(_:_:_:)
• hv_gic_set_msi_reg(_:_:)
• hv_gic_set_redistributor_reg(_:_:_:)