Module ahv::ffi::types

Types used by the Hypervisor Framework for arm64 targets.

Structs

• hv_vcpu_exit_exception_t
  Contains details of a vCPU exception.
• hv_vcpu_exit_t
  Information about an exit from the vCPU to the host.

Constants

• HV_BAD_ARGUMENT
  Bad argument.
• HV_BUSY
  Busy.
• HV_CACHE_TYPE_DATA
  Data cache.
• HV_CACHE_TYPE_INSTRUCTION
  Instruction cache.
• HV_DENIED
  Denied.
• HV_ERROR
  Hypervisor Error.
• HV_EXIT_REASON_CANCELED
  The value that identifies exits requested by exit handler on the host.
• HV_EXIT_REASON_EXCEPTION
  The value that identifies traps caused by the guest operations.
• HV_EXIT_REASON_UNKNOWN
  The value that identifies unexpected exits.
• HV_EXIT_REASON_VTIMER_ACTIVATED
  The value that identifies when the virtual timer enters the pending state.
• HV_FAULT
  Fault.
• HV_FEATURE_REG_CLIDR_EL1
  The value that identifies feature register CLIDR_EL1.
• HV_FEATURE_REG_CTR_EL0
  The value that identifies feature register CTR_EL0.
• HV_FEATURE_REG_DCZID_EL0
  The value that identifies feature register DCZID_EL0.
• HV_FEATURE_REG_ID_AA64DFR0_EL1
  The value that identifies feature register ID_AA64DFR0_EL1.
• HV_FEATURE_REG_ID_AA64DFR1_EL1
  The value that identifies feature register ID_AA64DFR1_EL1.
• HV_FEATURE_REG_ID_AA64ISAR0_EL1
  The value that identifies feature register ID_AA64ISAR0_EL1.
• HV_FEATURE_REG_ID_AA64ISAR1_EL1
  The value that identifies feature register ID_AA64ISAR1_EL1.
• HV_FEATURE_REG_ID_AA64MMFR0_EL1
  The value that identifies feature register ID_AA64MMFR0_EL1.
• HV_FEATURE_REG_ID_AA64MMFR1_EL1
  The value that identifies feature register ID_AA64MMFR1_EL1.
• HV_FEATURE_REG_ID_AA64MMFR2_EL1
  The value that identifies feature register ID_AA64MMFR2_EL1.
• HV_FEATURE_REG_ID_AA64PFR0_EL1
  The value that identifies feature register ID_AA64PFR0_EL1.
• HV_FEATURE_REG_ID_AA64PFR1_EL1
  The value that identifies feature register ID_AA64PFR1_EL1.
• HV_ILLEGAL_GUEST_STATE
  Illegal guest state.
• HV_INTERRUPT_TYPE_FIQ
  An ARM FIQ.
• HV_INTERRUPT_TYPE_IRQ
  An ARM IRQ.
• HV_MEMORY_EXEC
  Execute memory permission.
• HV_MEMORY_READ
  Read memory permission.
• HV_MEMORY_WRITE
  Write memory permission.
• HV_NO_DEVICE
  No device.
• HV_NO_RESOURCES
  No resources.
• HV_REG_CPSR
  The value that identifies register CPSR.
• HV_REG_FP
  The value that identifies register FP.
• HV_REG_FPCR
  The value that identifies register FPCR.
• HV_REG_FPSR
  The value that identifies register FPSR.
• HV_REG_LR
  The value that identifies register LR.
• HV_REG_PC
  The value that identifies register PC.
• HV_REG_X0
  The value that identifies register X0.
• HV_REG_X1
  The value that identifies register X1.
• HV_REG_X2
  The value that identifies register X2.
• HV_REG_X3
  The value that identifies register X3.
• HV_REG_X4
  The value that identifies register X4.
• HV_REG_X5
  The value that identifies register X5.
• HV_REG_X6
  The value that identifies register X6.
• HV_REG_X7
  The value that identifies register X7.
• HV_REG_X8
  The value that identifies register X8.
• HV_REG_X9
  The value that identifies register X9.
• HV_REG_X10
  The value that identifies register X10.
• HV_REG_X11
  The value that identifies register X11.
• HV_REG_X12
  The value that identifies register X12.
• HV_REG_X13
  The value that identifies register X13.
• HV_REG_X14
  The value that identifies register X14.
• HV_REG_X15
  The value that identifies register X15.
• HV_REG_X16
  The value that identifies register X16.
• HV_REG_X17
  The value that identifies register X17.
• HV_REG_X18
  The value that identifies register X18.
• HV_REG_X19
  The value that identifies register X19.
• HV_REG_X20
  The value that identifies register X20.
• HV_REG_X21
  The value that identifies register X21.
• HV_REG_X22
  The value that identifies register X22.
• HV_REG_X23
  The value that identifies register X23.
• HV_REG_X24
  The value that identifies register X24.
• HV_REG_X25
  The value that identifies register X25.
• HV_REG_X26
  The value that identifies register X26.
• HV_REG_X27
  The value that identifies register X27.
• HV_REG_X28
  The value that identifies register X28.
• HV_REG_X29
  The value that identifies register X29.
• HV_REG_X30
  The value that identifies register X30.
• HV_SIMD_FP_REG_Q0
  The value that identifies register Q0.
• HV_SIMD_FP_REG_Q1
  The value that identifies register Q1.
• HV_SIMD_FP_REG_Q2
  The value that identifies register Q2.
• HV_SIMD_FP_REG_Q3
  The value that identifies register Q3.
• HV_SIMD_FP_REG_Q4
  The value that identifies register Q4.
• HV_SIMD_FP_REG_Q5
  The value that identifies register Q5.
• HV_SIMD_FP_REG_Q6
  The value that identifies register Q6.
• HV_SIMD_FP_REG_Q7
  The value that identifies register Q7.
• HV_SIMD_FP_REG_Q8
  The value that identifies register Q8.
• HV_SIMD_FP_REG_Q9
  The value that identifies register Q9.
• HV_SIMD_FP_REG_Q10
  The value that identifies register Q10.
• HV_SIMD_FP_REG_Q11
  The value that identifies register Q11.
• HV_SIMD_FP_REG_Q12
  The value that identifies register Q12.
• HV_SIMD_FP_REG_Q13
  The value that identifies register Q13.
• HV_SIMD_FP_REG_Q14
  The value that identifies register Q14.
• HV_SIMD_FP_REG_Q15
  The value that identifies register Q15.
• HV_SIMD_FP_REG_Q16
  The value that identifies register Q16.
• HV_SIMD_FP_REG_Q17
  The value that identifies register Q17.
• HV_SIMD_FP_REG_Q18
  The value that identifies register Q18.
• HV_SIMD_FP_REG_Q19
  The value that identifies register Q19.
• HV_SIMD_FP_REG_Q20
  The value that identifies register Q20.
• HV_SIMD_FP_REG_Q21
  The value that identifies register Q21.
• HV_SIMD_FP_REG_Q22
  The value that identifies register Q22.
• HV_SIMD_FP_REG_Q23
  The value that identifies register Q23.
• HV_SIMD_FP_REG_Q24
  The value that identifies register Q24.
• HV_SIMD_FP_REG_Q25
  The value that identifies register Q25.
• HV_SIMD_FP_REG_Q26
  The value that identifies register Q26.
• HV_SIMD_FP_REG_Q27
  The value that identifies register Q27.
• HV_SIMD_FP_REG_Q28
  The value that identifies register Q28.
• HV_SIMD_FP_REG_Q29
  The value that identifies register Q29.
• HV_SIMD_FP_REG_Q30
  The value that identifies register Q30.
• HV_SIMD_FP_REG_Q31
  The value that identifies register Q31.
• HV_SUCCESS
  Success.
• HV_SYS_REG_AFSR0_EL1
  The value that identifies register AFSR0_EL1.
• HV_SYS_REG_AFSR1_EL1
  The value that identifies register AFSR1_EL1.
• HV_SYS_REG_AMAIR_EL1
  The value that identifies register AMAIR_EL1.
• HV_SYS_REG_APDAKEYHI_EL1
  The value that identifies register APDAKEYHI_EL1.
• HV_SYS_REG_APDAKEYLO_EL1
  The value that identifies register APDAKEYLO_EL1.
• HV_SYS_REG_APDBKEYHI_EL1
  The value that identifies register APDBKEYHI_EL1.
• HV_SYS_REG_APDBKEYLO_EL1
  The value that identifies register APDBKEYLO_EL1.
• HV_SYS_REG_APGAKEYHI_EL1
  The value that identifies register APGAKEYHI_EL1.
• HV_SYS_REG_APGAKEYLO_EL1
  The value that identifies register APGAKEYLO_EL1.
• HV_SYS_REG_APIAKEYHI_EL1
  The value that identifies register APIAKEYHI_EL1.
• HV_SYS_REG_APIAKEYLO_EL1
  The value that identifies register APIAKEYLO_EL1.
• HV_SYS_REG_APIBKEYHI_EL1
  The value that identifies register APIBKEYHI_EL1.
• HV_SYS_REG_APIBKEYLO_EL1
  The value that identifies register APIBKEYLO_EL1.
• HV_SYS_REG_CNTKCTL_EL1
  The value that identifies register CNTKCTL_EL1.
• HV_SYS_REG_CNTV_CTL_EL0
  The value that identifies register CNTV_CTL_EL0.
• HV_SYS_REG_CNTV_CVAL_EL0
  The value that identifies register CNTV_CVAL_EL0.
• HV_SYS_REG_CONTEXTIDR_EL1
  The value that identifies register CONTEXTIDR_EL1.
• HV_SYS_REG_CPACR_EL1
  The value that identifies register CPACR_EL1.
• HV_SYS_REG_CSSELR_EL1
  The value that identifies register CSSELR_EL1.
• HV_SYS_REG_DBGBCR0_EL1
  The value that identifies register DBGBCR0_EL1.
• HV_SYS_REG_DBGBCR1_EL1
  The value that identifies register DBGBCR1_EL1.
• HV_SYS_REG_DBGBCR2_EL1
  The value that identifies register DBGBCR2_EL1.
• HV_SYS_REG_DBGBCR3_EL1
  The value that identifies register DBGBCR3_EL1.
• HV_SYS_REG_DBGBCR4_EL1
  The value that identifies register DBGBCR4_EL1.
• HV_SYS_REG_DBGBCR5_EL1
  The value that identifies register DBGBCR5_EL1.
• HV_SYS_REG_DBGBCR6_EL1
  The value that identifies register DBGBCR6_EL1.
• HV_SYS_REG_DBGBCR7_EL1
  The value that identifies register DBGBCR7_EL1.
• HV_SYS_REG_DBGBCR8_EL1
  The value that identifies register DBGBCR8_EL1.
• HV_SYS_REG_DBGBCR9_EL1
  The value that identifies register DBGBCR9_EL1.
• HV_SYS_REG_DBGBCR10_EL1
  The value that identifies register DBGBCR10_EL1.
• HV_SYS_REG_DBGBCR11_EL1
  The value that identifies register DBGBCR11_EL1.
• HV_SYS_REG_DBGBCR12_EL1
  The value that identifies register DBGBCR12_EL1.
• HV_SYS_REG_DBGBCR13_EL1
  The value that identifies register DBGBCR13_EL1.
• HV_SYS_REG_DBGBCR14_EL1
  The value that identifies register DBGBCR14_EL1.
• HV_SYS_REG_DBGBCR15_EL1
  The value that identifies register DBGBCR15_EL1.
• HV_SYS_REG_DBGBVR0_EL1
  The value that identifies register DBGBVR0_EL1.
• HV_SYS_REG_DBGBVR1_EL1
  The value that identifies register DBGBVR1_EL1.
• HV_SYS_REG_DBGBVR2_EL1
  The value that identifies register DBGBVR2_EL1.
• HV_SYS_REG_DBGBVR3_EL1
  The value that identifies register DBGBVR3_EL1.
• HV_SYS_REG_DBGBVR4_EL1
  The value that identifies register DBGBVR4_EL1.
• HV_SYS_REG_DBGBVR5_EL1
  The value that identifies register DBGBVR5_EL1.
• HV_SYS_REG_DBGBVR6_EL1
  The value that identifies register DBGBVR6_EL1.
• HV_SYS_REG_DBGBVR7_EL1
  The value that identifies register DBGBVR7_EL1.
• HV_SYS_REG_DBGBVR8_EL1
  The value that identifies register DBGBVR8_EL1.
• HV_SYS_REG_DBGBVR9_EL1
  The value that identifies register DBGBVR9_EL1.
• HV_SYS_REG_DBGBVR10_EL1
  The value that identifies register DBGBVR10_EL1.
• HV_SYS_REG_DBGBVR11_EL1
  The value that identifies register DBGBVR11_EL1.
• HV_SYS_REG_DBGBVR12_EL1
  The value that identifies register DBGBVR12_EL1.
• HV_SYS_REG_DBGBVR13_EL1
  The value that identifies register DBGBVR13_EL1.
• HV_SYS_REG_DBGBVR14_EL1
  The value that identifies register DBGBVR14_EL1.
• HV_SYS_REG_DBGBVR15_EL1
  The value that identifies register DBGBVR15_EL1.
• HV_SYS_REG_DBGWCR0_EL1
  The value that identifies register DBGWCR0_EL1.
• HV_SYS_REG_DBGWCR1_EL1
  The value that identifies register DBGWCR1_EL1.
• HV_SYS_REG_DBGWCR2_EL1
  The value that identifies register DBGWCR2_EL1.
• HV_SYS_REG_DBGWCR3_EL1
  The value that identifies register DBGWCR3_EL1.
• HV_SYS_REG_DBGWCR4_EL1
  The value that identifies register DBGWCR4_EL1.
• HV_SYS_REG_DBGWCR5_EL1
  The value that identifies register BGWCR5_EL1.
• HV_SYS_REG_DBGWCR6_EL1
  The value that identifies register DBGWCR6_EL1.
• HV_SYS_REG_DBGWCR7_EL1
  The value that identifies register DBGWCR7_EL1.
• HV_SYS_REG_DBGWCR8_EL1
  The value that identifies register DBGWCR8_EL1.
• HV_SYS_REG_DBGWCR9_EL1
  The value that identifies register DBGWCR9_EL1.
• HV_SYS_REG_DBGWCR10_EL1
  The value that identifies register DBGWCR10_EL1.
• HV_SYS_REG_DBGWCR11_EL1
  The value that identifies register DBGWCR11_EL1.
• HV_SYS_REG_DBGWCR12_EL1
  The value that identifies register DBGWCR12_EL1.
• HV_SYS_REG_DBGWCR13_EL1
  The value that identifies register DBGWCR13_EL1.
• HV_SYS_REG_DBGWCR14_EL1
  The value that identifies register DBGWCR14_EL1.
• HV_SYS_REG_DBGWCR15_EL1
  The value that identifies register DBGWCR15_EL1.
• HV_SYS_REG_DBGWVR0_EL1
  The value that identifies register DBGWVR0_EL1.
• HV_SYS_REG_DBGWVR1_EL1
  The value that identifies register DBGWVR1_EL1.
• HV_SYS_REG_DBGWVR2_EL1
  The value that identifies register DBGWVR2_EL1.
• HV_SYS_REG_DBGWVR3_EL1
  The value that identifies register DBGWVR3_EL1.
• HV_SYS_REG_DBGWVR4_EL1
  The value that identifies register DBGWVR4_EL1.
• HV_SYS_REG_DBGWVR5_EL1
  The value that identifies register DBGWVR5_EL1.
• HV_SYS_REG_DBGWVR6_EL1
  The value that identifies register DBGWVR6_EL1.
• HV_SYS_REG_DBGWVR7_EL1
  The value that identifies register DBGWVR7_EL1.
• HV_SYS_REG_DBGWVR8_EL1
  The value that identifies register DBGWVR8_EL1.
• HV_SYS_REG_DBGWVR9_EL1
  The value that identifies register DBGWVR9_EL1.
• HV_SYS_REG_DBGWVR10_EL1
  The value that identifies register DBGWVR10_EL1.
• HV_SYS_REG_DBGWVR11_EL1
  The value that identifies register DBGWVR11_EL1.
• HV_SYS_REG_DBGWVR12_EL1
  The value that identifies register DBGWVR12_EL1.
• HV_SYS_REG_DBGWVR13_EL1
  The value that identifies register DBGWVR13_EL1.
• HV_SYS_REG_DBGWVR14_EL1
  The value that identifies register DBGWVR14_EL1.
• HV_SYS_REG_DBGWVR15_EL1
  The value that identifies register DBGWVR15_EL1.
• HV_SYS_REG_ELR_EL1
  The value that identifies register ELR_EL1.
• HV_SYS_REG_ESR_EL1
  The value that identifies register ESR_EL1.
• HV_SYS_REG_FAR_EL1
  The value that identifies register FAR_EL1.
• HV_SYS_REG_ID_AA64DFR0_EL1
  The value that identifies register AA64DFR0_EL1.
• HV_SYS_REG_ID_AA64DFR1_EL1
  The value that identifies register AA64DFR1_EL1.
• HV_SYS_REG_ID_AA64ISAR0_EL1
  The value that identifies register AA64ISAR0_EL1.
• HV_SYS_REG_ID_AA64ISAR1_EL1
  The value that identifies register AA64ISAR1_EL1.
• HV_SYS_REG_ID_AA64MMFR0_EL1
  The value that identifies register AA64MMFR0_EL1.
• HV_SYS_REG_ID_AA64MMFR1_EL1
  The value that identifies register AA64MMFR1_EL1.
• HV_SYS_REG_ID_AA64MMFR2_EL1
  The value that identifies register AA64MMFR2_EL1.
• HV_SYS_REG_ID_AA64PFR0_EL1
  The value that identifies register AA64PFR0_EL1.
• HV_SYS_REG_ID_AA64PFR1_EL1
  The value that identifies register AA64PFR1_EL1.
• HV_SYS_REG_MAIR_EL1
  The value that identifies register MAIR_EL1.
• HV_SYS_REG_MDCCINT_EL1
  The value that identifies register MDCCINT_EL1.
• HV_SYS_REG_MDSCR_EL1
  The value that identifies register MDSCR_EL1.
• HV_SYS_REG_MIDR_EL1
  The value that identifies register MIDR_EL1.
• HV_SYS_REG_MPIDR_EL1
  The value that identifies register MPIDR_EL1.
• HV_SYS_REG_PAR_EL1
  The value that identifies register PAR_EL1.
• HV_SYS_REG_SCTLR_EL1
  The value that identifies register SCTLR_EL1.
• HV_SYS_REG_SPSR_EL1
  The value that identifies register SPSR_EL1.
• HV_SYS_REG_SP_EL0
  The value that identifies register SP_EL0.
• HV_SYS_REG_SP_EL1
  The value that identifies register SP_EL1.
• HV_SYS_REG_TCR_EL1
  The value that identifies register TCR_EL1.
• HV_SYS_REG_TPIDRRO_EL0
  The value that identifies register TPIDRRO_EL0.
• HV_SYS_REG_TPIDR_EL0
  The value that identifies register TPIDR_EL0.
• HV_SYS_REG_TPIDR_EL1
  The value that identifies register TPIDR_EL1.
• HV_SYS_REG_TTBR0_EL1
  The value that identifies register TTBR0_EL1.
• HV_SYS_REG_TTBR1_EL1
  The value that identifies register TTBR1_EL1.
• HV_SYS_REG_VBAR_EL1
  The value that identifies register VBAR_EL1.
• HV_UNSUPPORTED
  Unsupported.

Type Definitions

• hv_allocate_flags_t
  Memory allocation flags. (since macOS 12.1)
• hv_cache_type_t
  Cache type.
• hv_exception_address_t
  Type of a vCPU exception virtual address. (Corresponds to FAR_EL2).
• hv_exception_syndrome_t
  Type of a vCPU exception syndrome (Corresponds to ESR_EL2).
• hv_exit_reason_t
  Events that can trigger a guest exit to the VM.
• hv_feature_reg_t
  Type of ARM feature register.
• hv_interrupt_type_t
  Interrupt type.
• hv_ipa_t
  The type of an intermediate physical address (which is a guest physical address space of the VM).
• hv_memory_flags_t
  Memory region permissions.
• hv_reg_t
  Type of an ARM register.
• hv_return_t
  Hypervisor error codes.
• hv_simd_fp_reg_t
  Type of an ARM SIMD & FP register.
• hv_simd_fp_uchar16_t
• hv_sys_reg_t
  Type of an ARM system register.
• hv_vcpu_config_t
  vCPU configuration.
• hv_vcpu_t
  An opaque value that represents a vCPU instance.
• hv_vm_config_t
  VM configuration.