hypervisor

package
v0.10.0 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jun 22, 2026 License: MIT Imports: 8 Imported by: 0

Documentation

Rendered for darwin/amd64

Overview

Package hypervisor provides purego-based Go bindings for the macOS Hypervisor framework.

Apple documentation: https://developer.apple.com/documentation/hypervisor

Index

Constants

View Source
const (
	HV_ALLOCATE_DEFAULT = 0
)

Variables

This section is empty.

Functions

func HvGicConfigCreate

func HvGicConfigCreate() unsafe.Pointer

C function: hv_gic_config_create

func HvGicConfigSetDistributorBase

func HvGicConfigSetDistributorBase(config *foundation.NSObject, distributor_base_address uint64) int

C function: hv_gic_config_set_distributor_base

func HvGicConfigSetMsiInterruptRange

func HvGicConfigSetMsiInterruptRange(config *foundation.NSObject, msi_intid_base uint32, msi_intid_count uint32) int

C function: hv_gic_config_set_msi_interrupt_range

func HvGicConfigSetMsiRegionBase

func HvGicConfigSetMsiRegionBase(config *foundation.NSObject, msi_region_base_address uint64) int

C function: hv_gic_config_set_msi_region_base

func HvGicConfigSetRedistributorBase

func HvGicConfigSetRedistributorBase(config *foundation.NSObject, redistributor_base_address uint64) int

C function: hv_gic_config_set_redistributor_base

func HvGicCreate

func HvGicCreate(gic_config *foundation.NSObject) int

C function: hv_gic_create

func HvGicGetDistributorBaseAlignment

func HvGicGetDistributorBaseAlignment(distributor_base_alignment *uint) int

C function: hv_gic_get_distributor_base_alignment

func HvGicGetDistributorReg

func HvGicGetDistributorReg(reg Hv_gic_distributor_reg_t, value *uint64) int

C function: hv_gic_get_distributor_reg

func HvGicGetDistributorSize

func HvGicGetDistributorSize(distributor_size *uint) int

C function: hv_gic_get_distributor_size

func HvGicGetIccReg

func HvGicGetIccReg(vcpu uint64, reg Hv_gic_icc_reg_t, value *uint64) int

C function: hv_gic_get_icc_reg

func HvGicGetIchReg

func HvGicGetIchReg(vcpu uint64, reg Hv_gic_ich_reg_t, value *uint64) int

C function: hv_gic_get_ich_reg

func HvGicGetIcvReg

func HvGicGetIcvReg(vcpu uint64, reg Hv_gic_icv_reg_t, value *uint64) int

C function: hv_gic_get_icv_reg

func HvGicGetIntid

func HvGicGetIntid(interrupt Hv_gic_intid_t, intid *uint32) int

C function: hv_gic_get_intid

func HvGicGetMsiReg

func HvGicGetMsiReg(reg Hv_gic_msi_reg_t, value *uint64) int

C function: hv_gic_get_msi_reg

func HvGicGetMsiRegionBaseAlignment

func HvGicGetMsiRegionBaseAlignment(msi_region_base_alignment *uint) int

C function: hv_gic_get_msi_region_base_alignment

func HvGicGetMsiRegionSize

func HvGicGetMsiRegionSize(msi_region_size *uint) int

C function: hv_gic_get_msi_region_size

func HvGicGetRedistributorBase

func HvGicGetRedistributorBase(vcpu uint64, redistributor_base_address *uint64) int

C function: hv_gic_get_redistributor_base

func HvGicGetRedistributorBaseAlignment

func HvGicGetRedistributorBaseAlignment(redistributor_base_alignment *uint) int

C function: hv_gic_get_redistributor_base_alignment

func HvGicGetRedistributorReg

func HvGicGetRedistributorReg(vcpu uint64, reg Hv_gic_redistributor_reg_t, value *uint64) int

C function: hv_gic_get_redistributor_reg

func HvGicGetRedistributorRegionSize

func HvGicGetRedistributorRegionSize(redistributor_region_size *uint) int

C function: hv_gic_get_redistributor_region_size

func HvGicGetRedistributorSize

func HvGicGetRedistributorSize(redistributor_size *uint) int

C function: hv_gic_get_redistributor_size

func HvGicGetSpiInterruptRange

func HvGicGetSpiInterruptRange(spi_intid_base *uint32, spi_intid_count *uint32) int

C function: hv_gic_get_spi_interrupt_range

func HvGicReset

func HvGicReset() int

C function: hv_gic_reset

func HvGicSendMsi

func HvGicSendMsi(address uint64, intid uint32) int

C function: hv_gic_send_msi

func HvGicSetDistributorReg

func HvGicSetDistributorReg(reg Hv_gic_distributor_reg_t, value uint64) int

C function: hv_gic_set_distributor_reg

func HvGicSetIccReg

func HvGicSetIccReg(vcpu uint64, reg Hv_gic_icc_reg_t, value uint64) int

C function: hv_gic_set_icc_reg

func HvGicSetIchReg

func HvGicSetIchReg(vcpu uint64, reg Hv_gic_ich_reg_t, value uint64) int

C function: hv_gic_set_ich_reg

func HvGicSetIcvReg

func HvGicSetIcvReg(vcpu uint64, reg Hv_gic_icv_reg_t, value uint64) int

C function: hv_gic_set_icv_reg

func HvGicSetMsiReg

func HvGicSetMsiReg(reg Hv_gic_msi_reg_t, value uint64) int

C function: hv_gic_set_msi_reg

func HvGicSetRedistributorReg

func HvGicSetRedistributorReg(vcpu uint64, reg Hv_gic_redistributor_reg_t, value uint64) int

C function: hv_gic_set_redistributor_reg

func HvGicSetSpi

func HvGicSetSpi(intid uint32, level bool) int

C function: hv_gic_set_spi

func HvGicSetState

func HvGicSetState(gic_state_data unsafe.Pointer, gic_state_size uint) int

C function: hv_gic_set_state

func HvGicStateCreate

func HvGicStateCreate() unsafe.Pointer

C function: hv_gic_state_create

func HvGicStateGetData

func HvGicStateGetData(state *foundation.NSObject, gic_state_data unsafe.Pointer) int

C function: hv_gic_state_get_data

func HvGicStateGetSize

func HvGicStateGetSize(state *foundation.NSObject, gic_state_size *uint) int

C function: hv_gic_state_get_size

func HvSmeConfigGetMaxSvlBytes

func HvSmeConfigGetMaxSvlBytes(value *uint) int

C function: hv_sme_config_get_max_svl_bytes

func HvVcpuConfigCreate

func HvVcpuConfigCreate() unsafe.Pointer

C function: hv_vcpu_config_create

func HvVcpuConfigGetCcsidrEl1SysRegValues

func HvVcpuConfigGetCcsidrEl1SysRegValues(config *foundation.NSObject, cache_type Hv_cache_type_t, values *uint64) int

C function: hv_vcpu_config_get_ccsidr_el1_sys_reg_values

func HvVcpuConfigGetFeatureReg

func HvVcpuConfigGetFeatureReg(config *foundation.NSObject, feature_reg Hv_feature_reg_t, value *uint64) int

C function: hv_vcpu_config_get_feature_reg

func HvVcpuCreate

func HvVcpuCreate(vcpu *uint64, exit *HvVcpuExitT, config *foundation.NSObject) int

C function: hv_vcpu_create

func HvVcpuDestroy

func HvVcpuDestroy(vcpu uint64) int

C function: hv_vcpu_destroy

func HvVcpuGetExecTime

func HvVcpuGetExecTime(vcpu uint64, time_ *uint64) int

C function: hv_vcpu_get_exec_time

func HvVcpuGetPendingInterrupt

func HvVcpuGetPendingInterrupt(vcpu uint64, type_ Hv_interrupt_type_t, pending unsafe.Pointer) int

C function: hv_vcpu_get_pending_interrupt

func HvVcpuGetReg

func HvVcpuGetReg(vcpu uint64, reg Hv_reg_t, value *uint64) int

C function: hv_vcpu_get_reg

func HvVcpuGetSimdFpReg

func HvVcpuGetSimdFpReg(vcpu uint64, reg Hv_simd_fp_reg_t, value unsafe.Pointer) int

C function: hv_vcpu_get_simd_fp_reg

func HvVcpuGetSmePReg

func HvVcpuGetSmePReg(vcpu uint64, reg Hv_sme_p_reg_t, value *uint8, length uint) int

C function: hv_vcpu_get_sme_p_reg

func HvVcpuGetSmeState

func HvVcpuGetSmeState(vcpu uint64, sme_state *HvVcpuSmeStateT) int

C function: hv_vcpu_get_sme_state

func HvVcpuGetSmeZReg

func HvVcpuGetSmeZReg(vcpu uint64, reg Hv_sme_z_reg_t, value *uint8, length uint) int

C function: hv_vcpu_get_sme_z_reg

func HvVcpuGetSmeZaReg

func HvVcpuGetSmeZaReg(vcpu uint64, value *uint8, length uint) int

C function: hv_vcpu_get_sme_za_reg

func HvVcpuGetSmeZt0Reg

func HvVcpuGetSmeZt0Reg(vcpu uint64, value unsafe.Pointer) int

C function: hv_vcpu_get_sme_zt0_reg

func HvVcpuGetSysReg

func HvVcpuGetSysReg(vcpu uint64, reg Hv_sys_reg_t, value *uint64) int

C function: hv_vcpu_get_sys_reg

func HvVcpuGetTrapDebugExceptions

func HvVcpuGetTrapDebugExceptions(vcpu uint64, value unsafe.Pointer) int

C function: hv_vcpu_get_trap_debug_exceptions

func HvVcpuGetTrapDebugRegAccesses

func HvVcpuGetTrapDebugRegAccesses(vcpu uint64, value unsafe.Pointer) int

C function: hv_vcpu_get_trap_debug_reg_accesses

func HvVcpuGetVtimerMask

func HvVcpuGetVtimerMask(vcpu uint64, vtimer_is_masked unsafe.Pointer) int

C function: hv_vcpu_get_vtimer_mask

func HvVcpuGetVtimerOffset

func HvVcpuGetVtimerOffset(vcpu uint64, vtimer_offset *uint64) int

C function: hv_vcpu_get_vtimer_offset

func HvVcpuRun

func HvVcpuRun(vcpu uint64) int

C function: hv_vcpu_run

func HvVcpuSetPendingInterrupt

func HvVcpuSetPendingInterrupt(vcpu uint64, type_ Hv_interrupt_type_t, pending bool) int

C function: hv_vcpu_set_pending_interrupt

func HvVcpuSetReg

func HvVcpuSetReg(vcpu uint64, reg Hv_reg_t, value uint64) int

C function: hv_vcpu_set_reg

func HvVcpuSetSimdFpReg

func HvVcpuSetSimdFpReg(vcpu uint64, reg Hv_simd_fp_reg_t, value unsafe.Pointer) int

C function: hv_vcpu_set_simd_fp_reg

func HvVcpuSetSmePReg

func HvVcpuSetSmePReg(vcpu uint64, reg Hv_sme_p_reg_t, value *uint8, length uint) int

C function: hv_vcpu_set_sme_p_reg

func HvVcpuSetSmeState

func HvVcpuSetSmeState(vcpu uint64, sme_state *HvVcpuSmeStateT) int

C function: hv_vcpu_set_sme_state

func HvVcpuSetSmeZReg

func HvVcpuSetSmeZReg(vcpu uint64, reg Hv_sme_z_reg_t, value *uint8, length uint) int

C function: hv_vcpu_set_sme_z_reg

func HvVcpuSetSmeZaReg

func HvVcpuSetSmeZaReg(vcpu uint64, value *uint8, length uint) int

C function: hv_vcpu_set_sme_za_reg

func HvVcpuSetSmeZt0Reg

func HvVcpuSetSmeZt0Reg(vcpu uint64, value unsafe.Pointer) int

C function: hv_vcpu_set_sme_zt0_reg

func HvVcpuSetSysReg

func HvVcpuSetSysReg(vcpu uint64, reg Hv_sys_reg_t, value uint64) int

C function: hv_vcpu_set_sys_reg

func HvVcpuSetTrapDebugExceptions

func HvVcpuSetTrapDebugExceptions(vcpu uint64, value bool) int

C function: hv_vcpu_set_trap_debug_exceptions

func HvVcpuSetTrapDebugRegAccesses

func HvVcpuSetTrapDebugRegAccesses(vcpu uint64, value bool) int

C function: hv_vcpu_set_trap_debug_reg_accesses

func HvVcpuSetVtimerMask

func HvVcpuSetVtimerMask(vcpu uint64, vtimer_is_masked bool) int

C function: hv_vcpu_set_vtimer_mask

func HvVcpuSetVtimerOffset

func HvVcpuSetVtimerOffset(vcpu uint64, vtimer_offset uint64) int

C function: hv_vcpu_set_vtimer_offset

func HvVcpusExit

func HvVcpusExit(vcpus *uint64, vcpu_count uint32) int

C function: hv_vcpus_exit

func HvVmAllocate

func HvVmAllocate(uvap unsafe.Pointer, size uint, flags uint64) int

C function: hv_vm_allocate

func HvVmConfigCreate

func HvVmConfigCreate() unsafe.Pointer

C function: hv_vm_config_create

func HvVmConfigGetDefaultIpaGranule

func HvVmConfigGetDefaultIpaGranule(granule *Hv_ipa_granule_t) int

C function: hv_vm_config_get_default_ipa_granule

func HvVmConfigGetDefaultIpaSize

func HvVmConfigGetDefaultIpaSize(ipa_bit_length *uint32) int

C function: hv_vm_config_get_default_ipa_size

func HvVmConfigGetEl2Enabled

func HvVmConfigGetEl2Enabled(config *foundation.NSObject, el2_enabled unsafe.Pointer) int

C function: hv_vm_config_get_el2_enabled

func HvVmConfigGetEl2Supported

func HvVmConfigGetEl2Supported(el2_supported unsafe.Pointer) int

C function: hv_vm_config_get_el2_supported

func HvVmConfigGetIpaGranule

func HvVmConfigGetIpaGranule(config *foundation.NSObject, granule *Hv_ipa_granule_t) int

C function: hv_vm_config_get_ipa_granule

func HvVmConfigGetIpaSize

func HvVmConfigGetIpaSize(config *foundation.NSObject, ipa_bit_length *uint32) int

C function: hv_vm_config_get_ipa_size

func HvVmConfigGetMaxIpaSize

func HvVmConfigGetMaxIpaSize(ipa_bit_length *uint32) int

C function: hv_vm_config_get_max_ipa_size

func HvVmConfigSetEl2Enabled

func HvVmConfigSetEl2Enabled(config *foundation.NSObject, el2_enabled bool) int

C function: hv_vm_config_set_el2_enabled

func HvVmConfigSetIpaGranule

func HvVmConfigSetIpaGranule(config *foundation.NSObject, granule Hv_ipa_granule_t) int

C function: hv_vm_config_set_ipa_granule

func HvVmConfigSetIpaSize

func HvVmConfigSetIpaSize(config *foundation.NSObject, ipa_bit_length uint32) int

C function: hv_vm_config_set_ipa_size

func HvVmCreate

func HvVmCreate(config *foundation.NSObject) int

C function: hv_vm_create

func HvVmDeallocate

func HvVmDeallocate(uva unsafe.Pointer, size uint) int

C function: hv_vm_deallocate

func HvVmDestroy

func HvVmDestroy() int

C function: hv_vm_destroy

func HvVmGetMaxVcpuCount

func HvVmGetMaxVcpuCount(max_vcpu_count *uint32) int

C function: hv_vm_get_max_vcpu_count

func HvVmMap

func HvVmMap(addr unsafe.Pointer, ipa uint64, size uint, flags uint64) int

C function: hv_vm_map

func HvVmProtect

func HvVmProtect(ipa uint64, size uint, flags uint64) int

C function: hv_vm_protect

func HvVmUnmap

func HvVmUnmap(ipa uint64, size uint) int

C function: hv_vm_unmap

func SymbolAvailable

func SymbolAvailable(symbol string) bool

SymbolAvailable reports whether the named C symbol was bound when the library loaded. Calling a generated wrapper whose symbol is unavailable dereferences a nil function variable and panics.

Types

type HvVcpuExitExceptionT

type HvVcpuExitExceptionT struct {
	Syndrome         uint64
	Virtual_address  uint64
	Physical_address uint64
}

The structure that describes information about an exit from the virtual CPU (vCPU) to the host. C struct: hv_vcpu_exit_exception_t

type HvVcpuExitT

type HvVcpuExitT struct {
	Reason    Hv_exit_reason_t
	Exception HvVcpuExitExceptionT
}

Information about an exit from the vCPU to the host. C struct: hv_vcpu_exit_t

type HvVcpuSmeStateT

type HvVcpuSmeStateT struct {
	Streaming_sve_mode_enabled bool
	Za_storage_enabled         bool
}

C struct: hv_vcpu_sme_state_t

type Hv_cache_type_t

type Hv_cache_type_t int64

The structure that describes an instruction or data cache element.

const (
	// Data or unified cache
	HV_CACHE_TYPE_DATA Hv_cache_type_t = 0
	// Instruction cache
	HV_CACHE_TYPE_INSTRUCTION Hv_cache_type_t = 1
)

func (Hv_cache_type_t) String

func (e Hv_cache_type_t) String() string

type Hv_exit_reason_t

type Hv_exit_reason_t int64

The type that describes the event that triggered a guest exit to the host.

const (
	// asynchronous exit requested explicitly by hv_vcpus_exit() call
	HV_EXIT_REASON_CANCELED Hv_exit_reason_t = 0
	// synchronous exception to a higher EL triggered by the guest
	HV_EXIT_REASON_EXCEPTION Hv_exit_reason_t = 1
	// ARM Generic VTimer became pending since the last hv_vcpu_run() call returned. The caller is expected to make the interrupt corresponding to the VTimer pending in the guest's interrupt controller. This exit automatically sets the VTimer mask. The VCPU will not exit with this status again until after the mask is cleared with hv_vcpu_set_vtimer_mask(), which should be called during a trap of the EOI for the guest's VTimer interrupt handler.
	HV_EXIT_REASON_VTIMER_ACTIVATED Hv_exit_reason_t = 2
	// Unable to determine exit reason: this should not happen under normal operation.
	HV_EXIT_REASON_UNKNOWN Hv_exit_reason_t = 3
)

func (Hv_exit_reason_t) String

func (e Hv_exit_reason_t) String() string

type Hv_feature_reg_t

type Hv_feature_reg_t int64

The type that defines feature registers.

const (
	HV_FEATURE_REG_ID_AA64DFR0_EL1  Hv_feature_reg_t = 0
	HV_FEATURE_REG_ID_AA64DFR1_EL1  Hv_feature_reg_t = 1
	HV_FEATURE_REG_ID_AA64ISAR0_EL1 Hv_feature_reg_t = 2
	HV_FEATURE_REG_ID_AA64ISAR1_EL1 Hv_feature_reg_t = 3
	HV_FEATURE_REG_ID_AA64MMFR0_EL1 Hv_feature_reg_t = 4
	HV_FEATURE_REG_ID_AA64MMFR1_EL1 Hv_feature_reg_t = 5
	HV_FEATURE_REG_ID_AA64MMFR2_EL1 Hv_feature_reg_t = 6
	HV_FEATURE_REG_ID_AA64PFR0_EL1  Hv_feature_reg_t = 7
	HV_FEATURE_REG_ID_AA64PFR1_EL1  Hv_feature_reg_t = 8
	HV_FEATURE_REG_CTR_EL0          Hv_feature_reg_t = 9
	HV_FEATURE_REG_CLIDR_EL1        Hv_feature_reg_t = 10
	HV_FEATURE_REG_DCZID_EL0        Hv_feature_reg_t = 11
	HV_FEATURE_REG_ID_AA64SMFR0_EL1 Hv_feature_reg_t = 12
	HV_FEATURE_REG_ID_AA64ZFR0_EL1  Hv_feature_reg_t = 13
)

func (Hv_feature_reg_t) String

func (e Hv_feature_reg_t) String() string

type Hv_gic_distributor_reg_t

type Hv_gic_distributor_reg_t int64
const (
	HV_GIC_DISTRIBUTOR_REG_GICD_CTLR          Hv_gic_distributor_reg_t = 0
	HV_GIC_DISTRIBUTOR_REG_GICD_TYPER         Hv_gic_distributor_reg_t = 4
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR0      Hv_gic_distributor_reg_t = 128
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR1      Hv_gic_distributor_reg_t = 132
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR2      Hv_gic_distributor_reg_t = 136
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR3      Hv_gic_distributor_reg_t = 140
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR4      Hv_gic_distributor_reg_t = 144
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR5      Hv_gic_distributor_reg_t = 148
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR6      Hv_gic_distributor_reg_t = 152
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR7      Hv_gic_distributor_reg_t = 156
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR8      Hv_gic_distributor_reg_t = 160
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR9      Hv_gic_distributor_reg_t = 164
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR10     Hv_gic_distributor_reg_t = 168
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR11     Hv_gic_distributor_reg_t = 172
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR12     Hv_gic_distributor_reg_t = 176
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR13     Hv_gic_distributor_reg_t = 180
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR14     Hv_gic_distributor_reg_t = 184
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR15     Hv_gic_distributor_reg_t = 188
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR16     Hv_gic_distributor_reg_t = 192
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR17     Hv_gic_distributor_reg_t = 196
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR18     Hv_gic_distributor_reg_t = 200
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR19     Hv_gic_distributor_reg_t = 204
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR20     Hv_gic_distributor_reg_t = 208
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR21     Hv_gic_distributor_reg_t = 212
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR22     Hv_gic_distributor_reg_t = 216
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR23     Hv_gic_distributor_reg_t = 220
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR24     Hv_gic_distributor_reg_t = 224
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR25     Hv_gic_distributor_reg_t = 228
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR26     Hv_gic_distributor_reg_t = 232
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR27     Hv_gic_distributor_reg_t = 236
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR28     Hv_gic_distributor_reg_t = 240
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR29     Hv_gic_distributor_reg_t = 244
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR30     Hv_gic_distributor_reg_t = 248
	HV_GIC_DISTRIBUTOR_REG_GICD_IGROUPR31     Hv_gic_distributor_reg_t = 252
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER0    Hv_gic_distributor_reg_t = 256
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER1    Hv_gic_distributor_reg_t = 260
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER2    Hv_gic_distributor_reg_t = 264
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER3    Hv_gic_distributor_reg_t = 268
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER4    Hv_gic_distributor_reg_t = 272
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER5    Hv_gic_distributor_reg_t = 276
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER6    Hv_gic_distributor_reg_t = 280
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER7    Hv_gic_distributor_reg_t = 284
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER8    Hv_gic_distributor_reg_t = 288
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER9    Hv_gic_distributor_reg_t = 292
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER10   Hv_gic_distributor_reg_t = 296
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER11   Hv_gic_distributor_reg_t = 300
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER12   Hv_gic_distributor_reg_t = 304
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER13   Hv_gic_distributor_reg_t = 308
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER14   Hv_gic_distributor_reg_t = 312
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER15   Hv_gic_distributor_reg_t = 316
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER16   Hv_gic_distributor_reg_t = 320
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER17   Hv_gic_distributor_reg_t = 324
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER18   Hv_gic_distributor_reg_t = 328
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER19   Hv_gic_distributor_reg_t = 332
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER20   Hv_gic_distributor_reg_t = 336
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER21   Hv_gic_distributor_reg_t = 340
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER22   Hv_gic_distributor_reg_t = 344
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER23   Hv_gic_distributor_reg_t = 348
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER24   Hv_gic_distributor_reg_t = 352
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER25   Hv_gic_distributor_reg_t = 356
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER26   Hv_gic_distributor_reg_t = 360
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER27   Hv_gic_distributor_reg_t = 364
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER28   Hv_gic_distributor_reg_t = 368
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER29   Hv_gic_distributor_reg_t = 372
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER30   Hv_gic_distributor_reg_t = 376
	HV_GIC_DISTRIBUTOR_REG_GICD_ISENABLER31   Hv_gic_distributor_reg_t = 380
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER0    Hv_gic_distributor_reg_t = 384
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER1    Hv_gic_distributor_reg_t = 388
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER2    Hv_gic_distributor_reg_t = 392
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER3    Hv_gic_distributor_reg_t = 396
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER4    Hv_gic_distributor_reg_t = 400
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER5    Hv_gic_distributor_reg_t = 404
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER6    Hv_gic_distributor_reg_t = 408
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER7    Hv_gic_distributor_reg_t = 412
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER8    Hv_gic_distributor_reg_t = 416
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER9    Hv_gic_distributor_reg_t = 420
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER10   Hv_gic_distributor_reg_t = 424
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER11   Hv_gic_distributor_reg_t = 428
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER12   Hv_gic_distributor_reg_t = 432
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER13   Hv_gic_distributor_reg_t = 436
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER14   Hv_gic_distributor_reg_t = 440
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER15   Hv_gic_distributor_reg_t = 444
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER16   Hv_gic_distributor_reg_t = 448
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER17   Hv_gic_distributor_reg_t = 452
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER18   Hv_gic_distributor_reg_t = 456
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER19   Hv_gic_distributor_reg_t = 460
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER20   Hv_gic_distributor_reg_t = 464
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER21   Hv_gic_distributor_reg_t = 468
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER22   Hv_gic_distributor_reg_t = 472
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER23   Hv_gic_distributor_reg_t = 476
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER24   Hv_gic_distributor_reg_t = 480
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER25   Hv_gic_distributor_reg_t = 484
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER26   Hv_gic_distributor_reg_t = 488
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER27   Hv_gic_distributor_reg_t = 492
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER28   Hv_gic_distributor_reg_t = 496
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER29   Hv_gic_distributor_reg_t = 500
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER30   Hv_gic_distributor_reg_t = 504
	HV_GIC_DISTRIBUTOR_REG_GICD_ICENABLER31   Hv_gic_distributor_reg_t = 508
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR0      Hv_gic_distributor_reg_t = 512
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR1      Hv_gic_distributor_reg_t = 516
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR2      Hv_gic_distributor_reg_t = 520
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR3      Hv_gic_distributor_reg_t = 524
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR4      Hv_gic_distributor_reg_t = 528
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR5      Hv_gic_distributor_reg_t = 532
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR6      Hv_gic_distributor_reg_t = 536
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR7      Hv_gic_distributor_reg_t = 540
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR8      Hv_gic_distributor_reg_t = 544
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR9      Hv_gic_distributor_reg_t = 548
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR10     Hv_gic_distributor_reg_t = 552
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR11     Hv_gic_distributor_reg_t = 556
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR12     Hv_gic_distributor_reg_t = 560
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR13     Hv_gic_distributor_reg_t = 564
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR14     Hv_gic_distributor_reg_t = 568
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR15     Hv_gic_distributor_reg_t = 572
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR16     Hv_gic_distributor_reg_t = 576
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR17     Hv_gic_distributor_reg_t = 580
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR18     Hv_gic_distributor_reg_t = 584
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR19     Hv_gic_distributor_reg_t = 588
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR20     Hv_gic_distributor_reg_t = 592
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR21     Hv_gic_distributor_reg_t = 596
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR22     Hv_gic_distributor_reg_t = 600
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR23     Hv_gic_distributor_reg_t = 604
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR24     Hv_gic_distributor_reg_t = 608
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR25     Hv_gic_distributor_reg_t = 612
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR26     Hv_gic_distributor_reg_t = 616
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR27     Hv_gic_distributor_reg_t = 620
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR28     Hv_gic_distributor_reg_t = 624
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR29     Hv_gic_distributor_reg_t = 628
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR30     Hv_gic_distributor_reg_t = 632
	HV_GIC_DISTRIBUTOR_REG_GICD_ISPENDR31     Hv_gic_distributor_reg_t = 636
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR0      Hv_gic_distributor_reg_t = 640
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR1      Hv_gic_distributor_reg_t = 644
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR2      Hv_gic_distributor_reg_t = 648
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR3      Hv_gic_distributor_reg_t = 652
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR4      Hv_gic_distributor_reg_t = 656
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR5      Hv_gic_distributor_reg_t = 660
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR6      Hv_gic_distributor_reg_t = 664
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR7      Hv_gic_distributor_reg_t = 668
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR8      Hv_gic_distributor_reg_t = 672
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR9      Hv_gic_distributor_reg_t = 676
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR10     Hv_gic_distributor_reg_t = 680
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR11     Hv_gic_distributor_reg_t = 684
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR12     Hv_gic_distributor_reg_t = 688
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR13     Hv_gic_distributor_reg_t = 692
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR14     Hv_gic_distributor_reg_t = 696
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR15     Hv_gic_distributor_reg_t = 700
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR16     Hv_gic_distributor_reg_t = 704
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR17     Hv_gic_distributor_reg_t = 708
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR18     Hv_gic_distributor_reg_t = 712
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR19     Hv_gic_distributor_reg_t = 716
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR20     Hv_gic_distributor_reg_t = 720
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR21     Hv_gic_distributor_reg_t = 724
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR22     Hv_gic_distributor_reg_t = 728
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR23     Hv_gic_distributor_reg_t = 732
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR24     Hv_gic_distributor_reg_t = 736
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR25     Hv_gic_distributor_reg_t = 740
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR26     Hv_gic_distributor_reg_t = 744
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR27     Hv_gic_distributor_reg_t = 748
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR28     Hv_gic_distributor_reg_t = 752
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR29     Hv_gic_distributor_reg_t = 756
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR30     Hv_gic_distributor_reg_t = 760
	HV_GIC_DISTRIBUTOR_REG_GICD_ICPENDR31     Hv_gic_distributor_reg_t = 764
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER0    Hv_gic_distributor_reg_t = 768
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER1    Hv_gic_distributor_reg_t = 772
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER2    Hv_gic_distributor_reg_t = 776
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER3    Hv_gic_distributor_reg_t = 780
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER4    Hv_gic_distributor_reg_t = 784
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER5    Hv_gic_distributor_reg_t = 788
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER6    Hv_gic_distributor_reg_t = 792
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER7    Hv_gic_distributor_reg_t = 796
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER8    Hv_gic_distributor_reg_t = 800
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER9    Hv_gic_distributor_reg_t = 804
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER10   Hv_gic_distributor_reg_t = 808
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER11   Hv_gic_distributor_reg_t = 812
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER12   Hv_gic_distributor_reg_t = 816
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER13   Hv_gic_distributor_reg_t = 820
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER14   Hv_gic_distributor_reg_t = 824
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER15   Hv_gic_distributor_reg_t = 828
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER16   Hv_gic_distributor_reg_t = 832
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER17   Hv_gic_distributor_reg_t = 836
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER18   Hv_gic_distributor_reg_t = 840
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER19   Hv_gic_distributor_reg_t = 844
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER20   Hv_gic_distributor_reg_t = 848
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER21   Hv_gic_distributor_reg_t = 852
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER22   Hv_gic_distributor_reg_t = 856
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER23   Hv_gic_distributor_reg_t = 860
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER24   Hv_gic_distributor_reg_t = 864
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER25   Hv_gic_distributor_reg_t = 868
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER26   Hv_gic_distributor_reg_t = 872
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER27   Hv_gic_distributor_reg_t = 876
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER28   Hv_gic_distributor_reg_t = 880
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER29   Hv_gic_distributor_reg_t = 884
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER30   Hv_gic_distributor_reg_t = 888
	HV_GIC_DISTRIBUTOR_REG_GICD_ISACTIVER31   Hv_gic_distributor_reg_t = 892
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER0    Hv_gic_distributor_reg_t = 896
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER1    Hv_gic_distributor_reg_t = 900
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER2    Hv_gic_distributor_reg_t = 904
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER3    Hv_gic_distributor_reg_t = 908
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER4    Hv_gic_distributor_reg_t = 912
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER5    Hv_gic_distributor_reg_t = 916
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER6    Hv_gic_distributor_reg_t = 920
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER7    Hv_gic_distributor_reg_t = 924
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER8    Hv_gic_distributor_reg_t = 928
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER9    Hv_gic_distributor_reg_t = 932
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER10   Hv_gic_distributor_reg_t = 936
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER11   Hv_gic_distributor_reg_t = 940
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER12   Hv_gic_distributor_reg_t = 944
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER13   Hv_gic_distributor_reg_t = 948
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER14   Hv_gic_distributor_reg_t = 952
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER15   Hv_gic_distributor_reg_t = 956
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER16   Hv_gic_distributor_reg_t = 960
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER17   Hv_gic_distributor_reg_t = 964
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER18   Hv_gic_distributor_reg_t = 968
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER19   Hv_gic_distributor_reg_t = 972
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER20   Hv_gic_distributor_reg_t = 976
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER21   Hv_gic_distributor_reg_t = 980
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER22   Hv_gic_distributor_reg_t = 984
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER23   Hv_gic_distributor_reg_t = 988
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER24   Hv_gic_distributor_reg_t = 992
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER25   Hv_gic_distributor_reg_t = 996
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER26   Hv_gic_distributor_reg_t = 1000
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER27   Hv_gic_distributor_reg_t = 1004
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER28   Hv_gic_distributor_reg_t = 1008
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER29   Hv_gic_distributor_reg_t = 1012
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER30   Hv_gic_distributor_reg_t = 1016
	HV_GIC_DISTRIBUTOR_REG_GICD_ICACTIVER31   Hv_gic_distributor_reg_t = 1020
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR0   Hv_gic_distributor_reg_t = 1024
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR1   Hv_gic_distributor_reg_t = 1028
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR2   Hv_gic_distributor_reg_t = 1032
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR3   Hv_gic_distributor_reg_t = 1036
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR4   Hv_gic_distributor_reg_t = 1040
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR5   Hv_gic_distributor_reg_t = 1044
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR6   Hv_gic_distributor_reg_t = 1048
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR7   Hv_gic_distributor_reg_t = 1052
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR8   Hv_gic_distributor_reg_t = 1056
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR9   Hv_gic_distributor_reg_t = 1060
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR10  Hv_gic_distributor_reg_t = 1064
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR11  Hv_gic_distributor_reg_t = 1068
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR12  Hv_gic_distributor_reg_t = 1072
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR13  Hv_gic_distributor_reg_t = 1076
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR14  Hv_gic_distributor_reg_t = 1080
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR15  Hv_gic_distributor_reg_t = 1084
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR16  Hv_gic_distributor_reg_t = 1088
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR17  Hv_gic_distributor_reg_t = 1092
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR18  Hv_gic_distributor_reg_t = 1096
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR19  Hv_gic_distributor_reg_t = 1100
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR20  Hv_gic_distributor_reg_t = 1104
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR21  Hv_gic_distributor_reg_t = 1108
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR22  Hv_gic_distributor_reg_t = 1112
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR23  Hv_gic_distributor_reg_t = 1116
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR24  Hv_gic_distributor_reg_t = 1120
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR25  Hv_gic_distributor_reg_t = 1124
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR26  Hv_gic_distributor_reg_t = 1128
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR27  Hv_gic_distributor_reg_t = 1132
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR28  Hv_gic_distributor_reg_t = 1136
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR29  Hv_gic_distributor_reg_t = 1140
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR30  Hv_gic_distributor_reg_t = 1144
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR31  Hv_gic_distributor_reg_t = 1148
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR32  Hv_gic_distributor_reg_t = 1152
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR33  Hv_gic_distributor_reg_t = 1156
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR34  Hv_gic_distributor_reg_t = 1160
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR35  Hv_gic_distributor_reg_t = 1164
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR36  Hv_gic_distributor_reg_t = 1168
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR37  Hv_gic_distributor_reg_t = 1172
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR38  Hv_gic_distributor_reg_t = 1176
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR39  Hv_gic_distributor_reg_t = 1180
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR40  Hv_gic_distributor_reg_t = 1184
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR41  Hv_gic_distributor_reg_t = 1188
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR42  Hv_gic_distributor_reg_t = 1192
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR43  Hv_gic_distributor_reg_t = 1196
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR44  Hv_gic_distributor_reg_t = 1200
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR45  Hv_gic_distributor_reg_t = 1204
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR46  Hv_gic_distributor_reg_t = 1208
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR47  Hv_gic_distributor_reg_t = 1212
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR48  Hv_gic_distributor_reg_t = 1216
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR49  Hv_gic_distributor_reg_t = 1220
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR50  Hv_gic_distributor_reg_t = 1224
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR51  Hv_gic_distributor_reg_t = 1228
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR52  Hv_gic_distributor_reg_t = 1232
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR53  Hv_gic_distributor_reg_t = 1236
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR54  Hv_gic_distributor_reg_t = 1240
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR55  Hv_gic_distributor_reg_t = 1244
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR56  Hv_gic_distributor_reg_t = 1248
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR57  Hv_gic_distributor_reg_t = 1252
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR58  Hv_gic_distributor_reg_t = 1256
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR59  Hv_gic_distributor_reg_t = 1260
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR60  Hv_gic_distributor_reg_t = 1264
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR61  Hv_gic_distributor_reg_t = 1268
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR62  Hv_gic_distributor_reg_t = 1272
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR63  Hv_gic_distributor_reg_t = 1276
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR64  Hv_gic_distributor_reg_t = 1280
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR65  Hv_gic_distributor_reg_t = 1284
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR66  Hv_gic_distributor_reg_t = 1288
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR67  Hv_gic_distributor_reg_t = 1292
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR68  Hv_gic_distributor_reg_t = 1296
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR69  Hv_gic_distributor_reg_t = 1300
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR70  Hv_gic_distributor_reg_t = 1304
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR71  Hv_gic_distributor_reg_t = 1308
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR72  Hv_gic_distributor_reg_t = 1312
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR73  Hv_gic_distributor_reg_t = 1316
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR74  Hv_gic_distributor_reg_t = 1320
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR75  Hv_gic_distributor_reg_t = 1324
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR76  Hv_gic_distributor_reg_t = 1328
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR77  Hv_gic_distributor_reg_t = 1332
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR78  Hv_gic_distributor_reg_t = 1336
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR79  Hv_gic_distributor_reg_t = 1340
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR80  Hv_gic_distributor_reg_t = 1344
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR81  Hv_gic_distributor_reg_t = 1348
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR82  Hv_gic_distributor_reg_t = 1352
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR83  Hv_gic_distributor_reg_t = 1356
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR84  Hv_gic_distributor_reg_t = 1360
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR85  Hv_gic_distributor_reg_t = 1364
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR86  Hv_gic_distributor_reg_t = 1368
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR87  Hv_gic_distributor_reg_t = 1372
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR88  Hv_gic_distributor_reg_t = 1376
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR89  Hv_gic_distributor_reg_t = 1380
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR90  Hv_gic_distributor_reg_t = 1384
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR91  Hv_gic_distributor_reg_t = 1388
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR92  Hv_gic_distributor_reg_t = 1392
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR93  Hv_gic_distributor_reg_t = 1396
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR94  Hv_gic_distributor_reg_t = 1400
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR95  Hv_gic_distributor_reg_t = 1404
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR96  Hv_gic_distributor_reg_t = 1408
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR97  Hv_gic_distributor_reg_t = 1412
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR98  Hv_gic_distributor_reg_t = 1416
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR99  Hv_gic_distributor_reg_t = 1420
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR100 Hv_gic_distributor_reg_t = 1424
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR101 Hv_gic_distributor_reg_t = 1428
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR102 Hv_gic_distributor_reg_t = 1432
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR103 Hv_gic_distributor_reg_t = 1436
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR104 Hv_gic_distributor_reg_t = 1440
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR105 Hv_gic_distributor_reg_t = 1444
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR106 Hv_gic_distributor_reg_t = 1448
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR107 Hv_gic_distributor_reg_t = 1452
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR108 Hv_gic_distributor_reg_t = 1456
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR109 Hv_gic_distributor_reg_t = 1460
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR110 Hv_gic_distributor_reg_t = 1464
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR111 Hv_gic_distributor_reg_t = 1468
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR112 Hv_gic_distributor_reg_t = 1472
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR113 Hv_gic_distributor_reg_t = 1476
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR114 Hv_gic_distributor_reg_t = 1480
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR115 Hv_gic_distributor_reg_t = 1484
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR116 Hv_gic_distributor_reg_t = 1488
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR117 Hv_gic_distributor_reg_t = 1492
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR118 Hv_gic_distributor_reg_t = 1496
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR119 Hv_gic_distributor_reg_t = 1500
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR120 Hv_gic_distributor_reg_t = 1504
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR121 Hv_gic_distributor_reg_t = 1508
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR122 Hv_gic_distributor_reg_t = 1512
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR123 Hv_gic_distributor_reg_t = 1516
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR124 Hv_gic_distributor_reg_t = 1520
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR125 Hv_gic_distributor_reg_t = 1524
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR126 Hv_gic_distributor_reg_t = 1528
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR127 Hv_gic_distributor_reg_t = 1532
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR128 Hv_gic_distributor_reg_t = 1536
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR129 Hv_gic_distributor_reg_t = 1540
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR130 Hv_gic_distributor_reg_t = 1544
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR131 Hv_gic_distributor_reg_t = 1548
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR132 Hv_gic_distributor_reg_t = 1552
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR133 Hv_gic_distributor_reg_t = 1556
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR134 Hv_gic_distributor_reg_t = 1560
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR135 Hv_gic_distributor_reg_t = 1564
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR136 Hv_gic_distributor_reg_t = 1568
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR137 Hv_gic_distributor_reg_t = 1572
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR138 Hv_gic_distributor_reg_t = 1576
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR139 Hv_gic_distributor_reg_t = 1580
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR140 Hv_gic_distributor_reg_t = 1584
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR141 Hv_gic_distributor_reg_t = 1588
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR142 Hv_gic_distributor_reg_t = 1592
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR143 Hv_gic_distributor_reg_t = 1596
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR144 Hv_gic_distributor_reg_t = 1600
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR145 Hv_gic_distributor_reg_t = 1604
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR146 Hv_gic_distributor_reg_t = 1608
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR147 Hv_gic_distributor_reg_t = 1612
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR148 Hv_gic_distributor_reg_t = 1616
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR149 Hv_gic_distributor_reg_t = 1620
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR150 Hv_gic_distributor_reg_t = 1624
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR151 Hv_gic_distributor_reg_t = 1628
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR152 Hv_gic_distributor_reg_t = 1632
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR153 Hv_gic_distributor_reg_t = 1636
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR154 Hv_gic_distributor_reg_t = 1640
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR155 Hv_gic_distributor_reg_t = 1644
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR156 Hv_gic_distributor_reg_t = 1648
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR157 Hv_gic_distributor_reg_t = 1652
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR158 Hv_gic_distributor_reg_t = 1656
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR159 Hv_gic_distributor_reg_t = 1660
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR160 Hv_gic_distributor_reg_t = 1664
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR161 Hv_gic_distributor_reg_t = 1668
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR162 Hv_gic_distributor_reg_t = 1672
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR163 Hv_gic_distributor_reg_t = 1676
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR164 Hv_gic_distributor_reg_t = 1680
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR165 Hv_gic_distributor_reg_t = 1684
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR166 Hv_gic_distributor_reg_t = 1688
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR167 Hv_gic_distributor_reg_t = 1692
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR168 Hv_gic_distributor_reg_t = 1696
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR169 Hv_gic_distributor_reg_t = 1700
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR170 Hv_gic_distributor_reg_t = 1704
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR171 Hv_gic_distributor_reg_t = 1708
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR172 Hv_gic_distributor_reg_t = 1712
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR173 Hv_gic_distributor_reg_t = 1716
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR174 Hv_gic_distributor_reg_t = 1720
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR175 Hv_gic_distributor_reg_t = 1724
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR176 Hv_gic_distributor_reg_t = 1728
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR177 Hv_gic_distributor_reg_t = 1732
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR178 Hv_gic_distributor_reg_t = 1736
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR179 Hv_gic_distributor_reg_t = 1740
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR180 Hv_gic_distributor_reg_t = 1744
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR181 Hv_gic_distributor_reg_t = 1748
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR182 Hv_gic_distributor_reg_t = 1752
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR183 Hv_gic_distributor_reg_t = 1756
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR184 Hv_gic_distributor_reg_t = 1760
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR185 Hv_gic_distributor_reg_t = 1764
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR186 Hv_gic_distributor_reg_t = 1768
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR187 Hv_gic_distributor_reg_t = 1772
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR188 Hv_gic_distributor_reg_t = 1776
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR189 Hv_gic_distributor_reg_t = 1780
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR190 Hv_gic_distributor_reg_t = 1784
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR191 Hv_gic_distributor_reg_t = 1788
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR192 Hv_gic_distributor_reg_t = 1792
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR193 Hv_gic_distributor_reg_t = 1796
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR194 Hv_gic_distributor_reg_t = 1800
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR195 Hv_gic_distributor_reg_t = 1804
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR196 Hv_gic_distributor_reg_t = 1808
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR197 Hv_gic_distributor_reg_t = 1812
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR198 Hv_gic_distributor_reg_t = 1816
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR199 Hv_gic_distributor_reg_t = 1820
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR200 Hv_gic_distributor_reg_t = 1824
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR201 Hv_gic_distributor_reg_t = 1828
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR202 Hv_gic_distributor_reg_t = 1832
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR203 Hv_gic_distributor_reg_t = 1836
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR204 Hv_gic_distributor_reg_t = 1840
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR205 Hv_gic_distributor_reg_t = 1844
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR206 Hv_gic_distributor_reg_t = 1848
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR207 Hv_gic_distributor_reg_t = 1852
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR208 Hv_gic_distributor_reg_t = 1856
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR209 Hv_gic_distributor_reg_t = 1860
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR210 Hv_gic_distributor_reg_t = 1864
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR211 Hv_gic_distributor_reg_t = 1868
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR212 Hv_gic_distributor_reg_t = 1872
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR213 Hv_gic_distributor_reg_t = 1876
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR214 Hv_gic_distributor_reg_t = 1880
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR215 Hv_gic_distributor_reg_t = 1884
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR216 Hv_gic_distributor_reg_t = 1888
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR217 Hv_gic_distributor_reg_t = 1892
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR218 Hv_gic_distributor_reg_t = 1896
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR219 Hv_gic_distributor_reg_t = 1900
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR220 Hv_gic_distributor_reg_t = 1904
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR221 Hv_gic_distributor_reg_t = 1908
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR222 Hv_gic_distributor_reg_t = 1912
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR223 Hv_gic_distributor_reg_t = 1916
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR224 Hv_gic_distributor_reg_t = 1920
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR225 Hv_gic_distributor_reg_t = 1924
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR226 Hv_gic_distributor_reg_t = 1928
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR227 Hv_gic_distributor_reg_t = 1932
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR228 Hv_gic_distributor_reg_t = 1936
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR229 Hv_gic_distributor_reg_t = 1940
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR230 Hv_gic_distributor_reg_t = 1944
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR231 Hv_gic_distributor_reg_t = 1948
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR232 Hv_gic_distributor_reg_t = 1952
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR233 Hv_gic_distributor_reg_t = 1956
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR234 Hv_gic_distributor_reg_t = 1960
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR235 Hv_gic_distributor_reg_t = 1964
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR236 Hv_gic_distributor_reg_t = 1968
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR237 Hv_gic_distributor_reg_t = 1972
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR238 Hv_gic_distributor_reg_t = 1976
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR239 Hv_gic_distributor_reg_t = 1980
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR240 Hv_gic_distributor_reg_t = 1984
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR241 Hv_gic_distributor_reg_t = 1988
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR242 Hv_gic_distributor_reg_t = 1992
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR243 Hv_gic_distributor_reg_t = 1996
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR244 Hv_gic_distributor_reg_t = 2000
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR245 Hv_gic_distributor_reg_t = 2004
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR246 Hv_gic_distributor_reg_t = 2008
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR247 Hv_gic_distributor_reg_t = 2012
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR248 Hv_gic_distributor_reg_t = 2016
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR249 Hv_gic_distributor_reg_t = 2020
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR250 Hv_gic_distributor_reg_t = 2024
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR251 Hv_gic_distributor_reg_t = 2028
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR252 Hv_gic_distributor_reg_t = 2032
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR253 Hv_gic_distributor_reg_t = 2036
	HV_GIC_DISTRIBUTOR_REG_GICD_IPRIORITYR254 Hv_gic_distributor_reg_t = 2040
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR0        Hv_gic_distributor_reg_t = 3072
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR1        Hv_gic_distributor_reg_t = 3076
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR2        Hv_gic_distributor_reg_t = 3080
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR3        Hv_gic_distributor_reg_t = 3084
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR4        Hv_gic_distributor_reg_t = 3088
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR5        Hv_gic_distributor_reg_t = 3092
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR6        Hv_gic_distributor_reg_t = 3096
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR7        Hv_gic_distributor_reg_t = 3100
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR8        Hv_gic_distributor_reg_t = 3104
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR9        Hv_gic_distributor_reg_t = 3108
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR10       Hv_gic_distributor_reg_t = 3112
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR11       Hv_gic_distributor_reg_t = 3116
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR12       Hv_gic_distributor_reg_t = 3120
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR13       Hv_gic_distributor_reg_t = 3124
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR14       Hv_gic_distributor_reg_t = 3128
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR15       Hv_gic_distributor_reg_t = 3132
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR16       Hv_gic_distributor_reg_t = 3136
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR17       Hv_gic_distributor_reg_t = 3140
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR18       Hv_gic_distributor_reg_t = 3144
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR19       Hv_gic_distributor_reg_t = 3148
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR20       Hv_gic_distributor_reg_t = 3152
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR21       Hv_gic_distributor_reg_t = 3156
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR22       Hv_gic_distributor_reg_t = 3160
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR23       Hv_gic_distributor_reg_t = 3164
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR24       Hv_gic_distributor_reg_t = 3168
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR25       Hv_gic_distributor_reg_t = 3172
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR26       Hv_gic_distributor_reg_t = 3176
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR27       Hv_gic_distributor_reg_t = 3180
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR28       Hv_gic_distributor_reg_t = 3184
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR29       Hv_gic_distributor_reg_t = 3188
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR30       Hv_gic_distributor_reg_t = 3192
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR31       Hv_gic_distributor_reg_t = 3196
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR32       Hv_gic_distributor_reg_t = 3200
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR33       Hv_gic_distributor_reg_t = 3204
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR34       Hv_gic_distributor_reg_t = 3208
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR35       Hv_gic_distributor_reg_t = 3212
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR36       Hv_gic_distributor_reg_t = 3216
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR37       Hv_gic_distributor_reg_t = 3220
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR38       Hv_gic_distributor_reg_t = 3224
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR39       Hv_gic_distributor_reg_t = 3228
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR40       Hv_gic_distributor_reg_t = 3232
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR41       Hv_gic_distributor_reg_t = 3236
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR42       Hv_gic_distributor_reg_t = 3240
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR43       Hv_gic_distributor_reg_t = 3244
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR44       Hv_gic_distributor_reg_t = 3248
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR45       Hv_gic_distributor_reg_t = 3252
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR46       Hv_gic_distributor_reg_t = 3256
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR47       Hv_gic_distributor_reg_t = 3260
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR48       Hv_gic_distributor_reg_t = 3264
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR49       Hv_gic_distributor_reg_t = 3268
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR50       Hv_gic_distributor_reg_t = 3272
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR51       Hv_gic_distributor_reg_t = 3276
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR52       Hv_gic_distributor_reg_t = 3280
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR53       Hv_gic_distributor_reg_t = 3284
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR54       Hv_gic_distributor_reg_t = 3288
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR55       Hv_gic_distributor_reg_t = 3292
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR56       Hv_gic_distributor_reg_t = 3296
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR57       Hv_gic_distributor_reg_t = 3300
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR58       Hv_gic_distributor_reg_t = 3304
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR59       Hv_gic_distributor_reg_t = 3308
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR60       Hv_gic_distributor_reg_t = 3312
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR61       Hv_gic_distributor_reg_t = 3316
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR62       Hv_gic_distributor_reg_t = 3320
	HV_GIC_DISTRIBUTOR_REG_GICD_ICFGR63       Hv_gic_distributor_reg_t = 3324
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER32     Hv_gic_distributor_reg_t = 24832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER33     Hv_gic_distributor_reg_t = 24840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER34     Hv_gic_distributor_reg_t = 24848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER35     Hv_gic_distributor_reg_t = 24856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER36     Hv_gic_distributor_reg_t = 24864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER37     Hv_gic_distributor_reg_t = 24872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER38     Hv_gic_distributor_reg_t = 24880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER39     Hv_gic_distributor_reg_t = 24888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER40     Hv_gic_distributor_reg_t = 24896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER41     Hv_gic_distributor_reg_t = 24904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER42     Hv_gic_distributor_reg_t = 24912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER43     Hv_gic_distributor_reg_t = 24920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER44     Hv_gic_distributor_reg_t = 24928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER45     Hv_gic_distributor_reg_t = 24936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER46     Hv_gic_distributor_reg_t = 24944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER47     Hv_gic_distributor_reg_t = 24952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER48     Hv_gic_distributor_reg_t = 24960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER49     Hv_gic_distributor_reg_t = 24968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER50     Hv_gic_distributor_reg_t = 24976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER51     Hv_gic_distributor_reg_t = 24984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER52     Hv_gic_distributor_reg_t = 24992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER53     Hv_gic_distributor_reg_t = 25000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER54     Hv_gic_distributor_reg_t = 25008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER55     Hv_gic_distributor_reg_t = 25016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER56     Hv_gic_distributor_reg_t = 25024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER57     Hv_gic_distributor_reg_t = 25032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER58     Hv_gic_distributor_reg_t = 25040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER59     Hv_gic_distributor_reg_t = 25048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER60     Hv_gic_distributor_reg_t = 25056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER61     Hv_gic_distributor_reg_t = 25064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER62     Hv_gic_distributor_reg_t = 25072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER63     Hv_gic_distributor_reg_t = 25080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER64     Hv_gic_distributor_reg_t = 25088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER65     Hv_gic_distributor_reg_t = 25096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER66     Hv_gic_distributor_reg_t = 25104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER67     Hv_gic_distributor_reg_t = 25112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER68     Hv_gic_distributor_reg_t = 25120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER69     Hv_gic_distributor_reg_t = 25128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER70     Hv_gic_distributor_reg_t = 25136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER71     Hv_gic_distributor_reg_t = 25144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER72     Hv_gic_distributor_reg_t = 25152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER73     Hv_gic_distributor_reg_t = 25160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER74     Hv_gic_distributor_reg_t = 25168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER75     Hv_gic_distributor_reg_t = 25176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER76     Hv_gic_distributor_reg_t = 25184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER77     Hv_gic_distributor_reg_t = 25192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER78     Hv_gic_distributor_reg_t = 25200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER79     Hv_gic_distributor_reg_t = 25208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER80     Hv_gic_distributor_reg_t = 25216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER81     Hv_gic_distributor_reg_t = 25224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER82     Hv_gic_distributor_reg_t = 25232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER83     Hv_gic_distributor_reg_t = 25240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER84     Hv_gic_distributor_reg_t = 25248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER85     Hv_gic_distributor_reg_t = 25256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER86     Hv_gic_distributor_reg_t = 25264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER87     Hv_gic_distributor_reg_t = 25272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER88     Hv_gic_distributor_reg_t = 25280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER89     Hv_gic_distributor_reg_t = 25288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER90     Hv_gic_distributor_reg_t = 25296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER91     Hv_gic_distributor_reg_t = 25304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER92     Hv_gic_distributor_reg_t = 25312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER93     Hv_gic_distributor_reg_t = 25320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER94     Hv_gic_distributor_reg_t = 25328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER95     Hv_gic_distributor_reg_t = 25336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER96     Hv_gic_distributor_reg_t = 25344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER97     Hv_gic_distributor_reg_t = 25352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER98     Hv_gic_distributor_reg_t = 25360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER99     Hv_gic_distributor_reg_t = 25368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER100    Hv_gic_distributor_reg_t = 25376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER101    Hv_gic_distributor_reg_t = 25384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER102    Hv_gic_distributor_reg_t = 25392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER103    Hv_gic_distributor_reg_t = 25400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER104    Hv_gic_distributor_reg_t = 25408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER105    Hv_gic_distributor_reg_t = 25416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER106    Hv_gic_distributor_reg_t = 25424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER107    Hv_gic_distributor_reg_t = 25432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER108    Hv_gic_distributor_reg_t = 25440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER109    Hv_gic_distributor_reg_t = 25448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER110    Hv_gic_distributor_reg_t = 25456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER111    Hv_gic_distributor_reg_t = 25464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER112    Hv_gic_distributor_reg_t = 25472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER113    Hv_gic_distributor_reg_t = 25480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER114    Hv_gic_distributor_reg_t = 25488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER115    Hv_gic_distributor_reg_t = 25496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER116    Hv_gic_distributor_reg_t = 25504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER117    Hv_gic_distributor_reg_t = 25512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER118    Hv_gic_distributor_reg_t = 25520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER119    Hv_gic_distributor_reg_t = 25528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER120    Hv_gic_distributor_reg_t = 25536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER121    Hv_gic_distributor_reg_t = 25544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER122    Hv_gic_distributor_reg_t = 25552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER123    Hv_gic_distributor_reg_t = 25560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER124    Hv_gic_distributor_reg_t = 25568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER125    Hv_gic_distributor_reg_t = 25576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER126    Hv_gic_distributor_reg_t = 25584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER127    Hv_gic_distributor_reg_t = 25592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER128    Hv_gic_distributor_reg_t = 25600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER129    Hv_gic_distributor_reg_t = 25608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER130    Hv_gic_distributor_reg_t = 25616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER131    Hv_gic_distributor_reg_t = 25624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER132    Hv_gic_distributor_reg_t = 25632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER133    Hv_gic_distributor_reg_t = 25640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER134    Hv_gic_distributor_reg_t = 25648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER135    Hv_gic_distributor_reg_t = 25656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER136    Hv_gic_distributor_reg_t = 25664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER137    Hv_gic_distributor_reg_t = 25672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER138    Hv_gic_distributor_reg_t = 25680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER139    Hv_gic_distributor_reg_t = 25688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER140    Hv_gic_distributor_reg_t = 25696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER141    Hv_gic_distributor_reg_t = 25704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER142    Hv_gic_distributor_reg_t = 25712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER143    Hv_gic_distributor_reg_t = 25720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER144    Hv_gic_distributor_reg_t = 25728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER145    Hv_gic_distributor_reg_t = 25736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER146    Hv_gic_distributor_reg_t = 25744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER147    Hv_gic_distributor_reg_t = 25752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER148    Hv_gic_distributor_reg_t = 25760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER149    Hv_gic_distributor_reg_t = 25768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER150    Hv_gic_distributor_reg_t = 25776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER151    Hv_gic_distributor_reg_t = 25784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER152    Hv_gic_distributor_reg_t = 25792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER153    Hv_gic_distributor_reg_t = 25800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER154    Hv_gic_distributor_reg_t = 25808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER155    Hv_gic_distributor_reg_t = 25816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER156    Hv_gic_distributor_reg_t = 25824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER157    Hv_gic_distributor_reg_t = 25832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER158    Hv_gic_distributor_reg_t = 25840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER159    Hv_gic_distributor_reg_t = 25848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER160    Hv_gic_distributor_reg_t = 25856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER161    Hv_gic_distributor_reg_t = 25864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER162    Hv_gic_distributor_reg_t = 25872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER163    Hv_gic_distributor_reg_t = 25880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER164    Hv_gic_distributor_reg_t = 25888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER165    Hv_gic_distributor_reg_t = 25896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER166    Hv_gic_distributor_reg_t = 25904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER167    Hv_gic_distributor_reg_t = 25912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER168    Hv_gic_distributor_reg_t = 25920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER169    Hv_gic_distributor_reg_t = 25928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER170    Hv_gic_distributor_reg_t = 25936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER171    Hv_gic_distributor_reg_t = 25944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER172    Hv_gic_distributor_reg_t = 25952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER173    Hv_gic_distributor_reg_t = 25960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER174    Hv_gic_distributor_reg_t = 25968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER175    Hv_gic_distributor_reg_t = 25976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER176    Hv_gic_distributor_reg_t = 25984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER177    Hv_gic_distributor_reg_t = 25992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER178    Hv_gic_distributor_reg_t = 26000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER179    Hv_gic_distributor_reg_t = 26008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER180    Hv_gic_distributor_reg_t = 26016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER181    Hv_gic_distributor_reg_t = 26024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER182    Hv_gic_distributor_reg_t = 26032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER183    Hv_gic_distributor_reg_t = 26040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER184    Hv_gic_distributor_reg_t = 26048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER185    Hv_gic_distributor_reg_t = 26056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER186    Hv_gic_distributor_reg_t = 26064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER187    Hv_gic_distributor_reg_t = 26072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER188    Hv_gic_distributor_reg_t = 26080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER189    Hv_gic_distributor_reg_t = 26088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER190    Hv_gic_distributor_reg_t = 26096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER191    Hv_gic_distributor_reg_t = 26104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER192    Hv_gic_distributor_reg_t = 26112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER193    Hv_gic_distributor_reg_t = 26120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER194    Hv_gic_distributor_reg_t = 26128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER195    Hv_gic_distributor_reg_t = 26136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER196    Hv_gic_distributor_reg_t = 26144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER197    Hv_gic_distributor_reg_t = 26152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER198    Hv_gic_distributor_reg_t = 26160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER199    Hv_gic_distributor_reg_t = 26168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER200    Hv_gic_distributor_reg_t = 26176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER201    Hv_gic_distributor_reg_t = 26184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER202    Hv_gic_distributor_reg_t = 26192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER203    Hv_gic_distributor_reg_t = 26200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER204    Hv_gic_distributor_reg_t = 26208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER205    Hv_gic_distributor_reg_t = 26216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER206    Hv_gic_distributor_reg_t = 26224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER207    Hv_gic_distributor_reg_t = 26232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER208    Hv_gic_distributor_reg_t = 26240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER209    Hv_gic_distributor_reg_t = 26248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER210    Hv_gic_distributor_reg_t = 26256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER211    Hv_gic_distributor_reg_t = 26264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER212    Hv_gic_distributor_reg_t = 26272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER213    Hv_gic_distributor_reg_t = 26280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER214    Hv_gic_distributor_reg_t = 26288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER215    Hv_gic_distributor_reg_t = 26296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER216    Hv_gic_distributor_reg_t = 26304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER217    Hv_gic_distributor_reg_t = 26312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER218    Hv_gic_distributor_reg_t = 26320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER219    Hv_gic_distributor_reg_t = 26328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER220    Hv_gic_distributor_reg_t = 26336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER221    Hv_gic_distributor_reg_t = 26344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER222    Hv_gic_distributor_reg_t = 26352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER223    Hv_gic_distributor_reg_t = 26360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER224    Hv_gic_distributor_reg_t = 26368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER225    Hv_gic_distributor_reg_t = 26376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER226    Hv_gic_distributor_reg_t = 26384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER227    Hv_gic_distributor_reg_t = 26392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER228    Hv_gic_distributor_reg_t = 26400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER229    Hv_gic_distributor_reg_t = 26408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER230    Hv_gic_distributor_reg_t = 26416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER231    Hv_gic_distributor_reg_t = 26424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER232    Hv_gic_distributor_reg_t = 26432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER233    Hv_gic_distributor_reg_t = 26440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER234    Hv_gic_distributor_reg_t = 26448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER235    Hv_gic_distributor_reg_t = 26456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER236    Hv_gic_distributor_reg_t = 26464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER237    Hv_gic_distributor_reg_t = 26472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER238    Hv_gic_distributor_reg_t = 26480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER239    Hv_gic_distributor_reg_t = 26488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER240    Hv_gic_distributor_reg_t = 26496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER241    Hv_gic_distributor_reg_t = 26504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER242    Hv_gic_distributor_reg_t = 26512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER243    Hv_gic_distributor_reg_t = 26520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER244    Hv_gic_distributor_reg_t = 26528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER245    Hv_gic_distributor_reg_t = 26536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER246    Hv_gic_distributor_reg_t = 26544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER247    Hv_gic_distributor_reg_t = 26552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER248    Hv_gic_distributor_reg_t = 26560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER249    Hv_gic_distributor_reg_t = 26568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER250    Hv_gic_distributor_reg_t = 26576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER251    Hv_gic_distributor_reg_t = 26584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER252    Hv_gic_distributor_reg_t = 26592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER253    Hv_gic_distributor_reg_t = 26600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER254    Hv_gic_distributor_reg_t = 26608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER255    Hv_gic_distributor_reg_t = 26616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER256    Hv_gic_distributor_reg_t = 26624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER257    Hv_gic_distributor_reg_t = 26632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER258    Hv_gic_distributor_reg_t = 26640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER259    Hv_gic_distributor_reg_t = 26648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER260    Hv_gic_distributor_reg_t = 26656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER261    Hv_gic_distributor_reg_t = 26664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER262    Hv_gic_distributor_reg_t = 26672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER263    Hv_gic_distributor_reg_t = 26680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER264    Hv_gic_distributor_reg_t = 26688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER265    Hv_gic_distributor_reg_t = 26696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER266    Hv_gic_distributor_reg_t = 26704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER267    Hv_gic_distributor_reg_t = 26712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER268    Hv_gic_distributor_reg_t = 26720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER269    Hv_gic_distributor_reg_t = 26728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER270    Hv_gic_distributor_reg_t = 26736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER271    Hv_gic_distributor_reg_t = 26744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER272    Hv_gic_distributor_reg_t = 26752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER273    Hv_gic_distributor_reg_t = 26760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER274    Hv_gic_distributor_reg_t = 26768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER275    Hv_gic_distributor_reg_t = 26776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER276    Hv_gic_distributor_reg_t = 26784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER277    Hv_gic_distributor_reg_t = 26792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER278    Hv_gic_distributor_reg_t = 26800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER279    Hv_gic_distributor_reg_t = 26808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER280    Hv_gic_distributor_reg_t = 26816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER281    Hv_gic_distributor_reg_t = 26824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER282    Hv_gic_distributor_reg_t = 26832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER283    Hv_gic_distributor_reg_t = 26840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER284    Hv_gic_distributor_reg_t = 26848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER285    Hv_gic_distributor_reg_t = 26856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER286    Hv_gic_distributor_reg_t = 26864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER287    Hv_gic_distributor_reg_t = 26872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER288    Hv_gic_distributor_reg_t = 26880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER289    Hv_gic_distributor_reg_t = 26888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER290    Hv_gic_distributor_reg_t = 26896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER291    Hv_gic_distributor_reg_t = 26904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER292    Hv_gic_distributor_reg_t = 26912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER293    Hv_gic_distributor_reg_t = 26920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER294    Hv_gic_distributor_reg_t = 26928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER295    Hv_gic_distributor_reg_t = 26936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER296    Hv_gic_distributor_reg_t = 26944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER297    Hv_gic_distributor_reg_t = 26952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER298    Hv_gic_distributor_reg_t = 26960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER299    Hv_gic_distributor_reg_t = 26968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER300    Hv_gic_distributor_reg_t = 26976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER301    Hv_gic_distributor_reg_t = 26984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER302    Hv_gic_distributor_reg_t = 26992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER303    Hv_gic_distributor_reg_t = 27000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER304    Hv_gic_distributor_reg_t = 27008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER305    Hv_gic_distributor_reg_t = 27016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER306    Hv_gic_distributor_reg_t = 27024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER307    Hv_gic_distributor_reg_t = 27032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER308    Hv_gic_distributor_reg_t = 27040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER309    Hv_gic_distributor_reg_t = 27048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER310    Hv_gic_distributor_reg_t = 27056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER311    Hv_gic_distributor_reg_t = 27064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER312    Hv_gic_distributor_reg_t = 27072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER313    Hv_gic_distributor_reg_t = 27080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER314    Hv_gic_distributor_reg_t = 27088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER315    Hv_gic_distributor_reg_t = 27096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER316    Hv_gic_distributor_reg_t = 27104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER317    Hv_gic_distributor_reg_t = 27112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER318    Hv_gic_distributor_reg_t = 27120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER319    Hv_gic_distributor_reg_t = 27128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER320    Hv_gic_distributor_reg_t = 27136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER321    Hv_gic_distributor_reg_t = 27144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER322    Hv_gic_distributor_reg_t = 27152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER323    Hv_gic_distributor_reg_t = 27160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER324    Hv_gic_distributor_reg_t = 27168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER325    Hv_gic_distributor_reg_t = 27176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER326    Hv_gic_distributor_reg_t = 27184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER327    Hv_gic_distributor_reg_t = 27192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER328    Hv_gic_distributor_reg_t = 27200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER329    Hv_gic_distributor_reg_t = 27208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER330    Hv_gic_distributor_reg_t = 27216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER331    Hv_gic_distributor_reg_t = 27224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER332    Hv_gic_distributor_reg_t = 27232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER333    Hv_gic_distributor_reg_t = 27240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER334    Hv_gic_distributor_reg_t = 27248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER335    Hv_gic_distributor_reg_t = 27256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER336    Hv_gic_distributor_reg_t = 27264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER337    Hv_gic_distributor_reg_t = 27272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER338    Hv_gic_distributor_reg_t = 27280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER339    Hv_gic_distributor_reg_t = 27288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER340    Hv_gic_distributor_reg_t = 27296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER341    Hv_gic_distributor_reg_t = 27304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER342    Hv_gic_distributor_reg_t = 27312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER343    Hv_gic_distributor_reg_t = 27320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER344    Hv_gic_distributor_reg_t = 27328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER345    Hv_gic_distributor_reg_t = 27336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER346    Hv_gic_distributor_reg_t = 27344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER347    Hv_gic_distributor_reg_t = 27352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER348    Hv_gic_distributor_reg_t = 27360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER349    Hv_gic_distributor_reg_t = 27368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER350    Hv_gic_distributor_reg_t = 27376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER351    Hv_gic_distributor_reg_t = 27384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER352    Hv_gic_distributor_reg_t = 27392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER353    Hv_gic_distributor_reg_t = 27400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER354    Hv_gic_distributor_reg_t = 27408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER355    Hv_gic_distributor_reg_t = 27416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER356    Hv_gic_distributor_reg_t = 27424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER357    Hv_gic_distributor_reg_t = 27432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER358    Hv_gic_distributor_reg_t = 27440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER359    Hv_gic_distributor_reg_t = 27448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER360    Hv_gic_distributor_reg_t = 27456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER361    Hv_gic_distributor_reg_t = 27464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER362    Hv_gic_distributor_reg_t = 27472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER363    Hv_gic_distributor_reg_t = 27480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER364    Hv_gic_distributor_reg_t = 27488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER365    Hv_gic_distributor_reg_t = 27496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER366    Hv_gic_distributor_reg_t = 27504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER367    Hv_gic_distributor_reg_t = 27512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER368    Hv_gic_distributor_reg_t = 27520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER369    Hv_gic_distributor_reg_t = 27528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER370    Hv_gic_distributor_reg_t = 27536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER371    Hv_gic_distributor_reg_t = 27544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER372    Hv_gic_distributor_reg_t = 27552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER373    Hv_gic_distributor_reg_t = 27560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER374    Hv_gic_distributor_reg_t = 27568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER375    Hv_gic_distributor_reg_t = 27576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER376    Hv_gic_distributor_reg_t = 27584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER377    Hv_gic_distributor_reg_t = 27592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER378    Hv_gic_distributor_reg_t = 27600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER379    Hv_gic_distributor_reg_t = 27608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER380    Hv_gic_distributor_reg_t = 27616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER381    Hv_gic_distributor_reg_t = 27624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER382    Hv_gic_distributor_reg_t = 27632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER383    Hv_gic_distributor_reg_t = 27640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER384    Hv_gic_distributor_reg_t = 27648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER385    Hv_gic_distributor_reg_t = 27656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER386    Hv_gic_distributor_reg_t = 27664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER387    Hv_gic_distributor_reg_t = 27672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER388    Hv_gic_distributor_reg_t = 27680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER389    Hv_gic_distributor_reg_t = 27688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER390    Hv_gic_distributor_reg_t = 27696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER391    Hv_gic_distributor_reg_t = 27704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER392    Hv_gic_distributor_reg_t = 27712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER393    Hv_gic_distributor_reg_t = 27720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER394    Hv_gic_distributor_reg_t = 27728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER395    Hv_gic_distributor_reg_t = 27736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER396    Hv_gic_distributor_reg_t = 27744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER397    Hv_gic_distributor_reg_t = 27752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER398    Hv_gic_distributor_reg_t = 27760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER399    Hv_gic_distributor_reg_t = 27768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER400    Hv_gic_distributor_reg_t = 27776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER401    Hv_gic_distributor_reg_t = 27784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER402    Hv_gic_distributor_reg_t = 27792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER403    Hv_gic_distributor_reg_t = 27800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER404    Hv_gic_distributor_reg_t = 27808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER405    Hv_gic_distributor_reg_t = 27816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER406    Hv_gic_distributor_reg_t = 27824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER407    Hv_gic_distributor_reg_t = 27832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER408    Hv_gic_distributor_reg_t = 27840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER409    Hv_gic_distributor_reg_t = 27848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER410    Hv_gic_distributor_reg_t = 27856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER411    Hv_gic_distributor_reg_t = 27864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER412    Hv_gic_distributor_reg_t = 27872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER413    Hv_gic_distributor_reg_t = 27880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER414    Hv_gic_distributor_reg_t = 27888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER415    Hv_gic_distributor_reg_t = 27896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER416    Hv_gic_distributor_reg_t = 27904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER417    Hv_gic_distributor_reg_t = 27912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER418    Hv_gic_distributor_reg_t = 27920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER419    Hv_gic_distributor_reg_t = 27928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER420    Hv_gic_distributor_reg_t = 27936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER421    Hv_gic_distributor_reg_t = 27944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER422    Hv_gic_distributor_reg_t = 27952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER423    Hv_gic_distributor_reg_t = 27960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER424    Hv_gic_distributor_reg_t = 27968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER425    Hv_gic_distributor_reg_t = 27976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER426    Hv_gic_distributor_reg_t = 27984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER427    Hv_gic_distributor_reg_t = 27992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER428    Hv_gic_distributor_reg_t = 28000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER429    Hv_gic_distributor_reg_t = 28008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER430    Hv_gic_distributor_reg_t = 28016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER431    Hv_gic_distributor_reg_t = 28024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER432    Hv_gic_distributor_reg_t = 28032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER433    Hv_gic_distributor_reg_t = 28040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER434    Hv_gic_distributor_reg_t = 28048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER435    Hv_gic_distributor_reg_t = 28056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER436    Hv_gic_distributor_reg_t = 28064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER437    Hv_gic_distributor_reg_t = 28072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER438    Hv_gic_distributor_reg_t = 28080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER439    Hv_gic_distributor_reg_t = 28088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER440    Hv_gic_distributor_reg_t = 28096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER441    Hv_gic_distributor_reg_t = 28104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER442    Hv_gic_distributor_reg_t = 28112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER443    Hv_gic_distributor_reg_t = 28120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER444    Hv_gic_distributor_reg_t = 28128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER445    Hv_gic_distributor_reg_t = 28136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER446    Hv_gic_distributor_reg_t = 28144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER447    Hv_gic_distributor_reg_t = 28152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER448    Hv_gic_distributor_reg_t = 28160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER449    Hv_gic_distributor_reg_t = 28168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER450    Hv_gic_distributor_reg_t = 28176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER451    Hv_gic_distributor_reg_t = 28184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER452    Hv_gic_distributor_reg_t = 28192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER453    Hv_gic_distributor_reg_t = 28200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER454    Hv_gic_distributor_reg_t = 28208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER455    Hv_gic_distributor_reg_t = 28216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER456    Hv_gic_distributor_reg_t = 28224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER457    Hv_gic_distributor_reg_t = 28232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER458    Hv_gic_distributor_reg_t = 28240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER459    Hv_gic_distributor_reg_t = 28248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER460    Hv_gic_distributor_reg_t = 28256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER461    Hv_gic_distributor_reg_t = 28264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER462    Hv_gic_distributor_reg_t = 28272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER463    Hv_gic_distributor_reg_t = 28280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER464    Hv_gic_distributor_reg_t = 28288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER465    Hv_gic_distributor_reg_t = 28296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER466    Hv_gic_distributor_reg_t = 28304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER467    Hv_gic_distributor_reg_t = 28312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER468    Hv_gic_distributor_reg_t = 28320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER469    Hv_gic_distributor_reg_t = 28328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER470    Hv_gic_distributor_reg_t = 28336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER471    Hv_gic_distributor_reg_t = 28344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER472    Hv_gic_distributor_reg_t = 28352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER473    Hv_gic_distributor_reg_t = 28360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER474    Hv_gic_distributor_reg_t = 28368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER475    Hv_gic_distributor_reg_t = 28376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER476    Hv_gic_distributor_reg_t = 28384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER477    Hv_gic_distributor_reg_t = 28392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER478    Hv_gic_distributor_reg_t = 28400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER479    Hv_gic_distributor_reg_t = 28408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER480    Hv_gic_distributor_reg_t = 28416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER481    Hv_gic_distributor_reg_t = 28424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER482    Hv_gic_distributor_reg_t = 28432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER483    Hv_gic_distributor_reg_t = 28440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER484    Hv_gic_distributor_reg_t = 28448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER485    Hv_gic_distributor_reg_t = 28456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER486    Hv_gic_distributor_reg_t = 28464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER487    Hv_gic_distributor_reg_t = 28472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER488    Hv_gic_distributor_reg_t = 28480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER489    Hv_gic_distributor_reg_t = 28488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER490    Hv_gic_distributor_reg_t = 28496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER491    Hv_gic_distributor_reg_t = 28504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER492    Hv_gic_distributor_reg_t = 28512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER493    Hv_gic_distributor_reg_t = 28520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER494    Hv_gic_distributor_reg_t = 28528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER495    Hv_gic_distributor_reg_t = 28536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER496    Hv_gic_distributor_reg_t = 28544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER497    Hv_gic_distributor_reg_t = 28552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER498    Hv_gic_distributor_reg_t = 28560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER499    Hv_gic_distributor_reg_t = 28568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER500    Hv_gic_distributor_reg_t = 28576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER501    Hv_gic_distributor_reg_t = 28584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER502    Hv_gic_distributor_reg_t = 28592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER503    Hv_gic_distributor_reg_t = 28600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER504    Hv_gic_distributor_reg_t = 28608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER505    Hv_gic_distributor_reg_t = 28616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER506    Hv_gic_distributor_reg_t = 28624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER507    Hv_gic_distributor_reg_t = 28632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER508    Hv_gic_distributor_reg_t = 28640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER509    Hv_gic_distributor_reg_t = 28648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER510    Hv_gic_distributor_reg_t = 28656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER511    Hv_gic_distributor_reg_t = 28664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER512    Hv_gic_distributor_reg_t = 28672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER513    Hv_gic_distributor_reg_t = 28680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER514    Hv_gic_distributor_reg_t = 28688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER515    Hv_gic_distributor_reg_t = 28696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER516    Hv_gic_distributor_reg_t = 28704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER517    Hv_gic_distributor_reg_t = 28712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER518    Hv_gic_distributor_reg_t = 28720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER519    Hv_gic_distributor_reg_t = 28728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER520    Hv_gic_distributor_reg_t = 28736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER521    Hv_gic_distributor_reg_t = 28744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER522    Hv_gic_distributor_reg_t = 28752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER523    Hv_gic_distributor_reg_t = 28760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER524    Hv_gic_distributor_reg_t = 28768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER525    Hv_gic_distributor_reg_t = 28776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER526    Hv_gic_distributor_reg_t = 28784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER527    Hv_gic_distributor_reg_t = 28792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER528    Hv_gic_distributor_reg_t = 28800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER529    Hv_gic_distributor_reg_t = 28808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER530    Hv_gic_distributor_reg_t = 28816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER531    Hv_gic_distributor_reg_t = 28824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER532    Hv_gic_distributor_reg_t = 28832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER533    Hv_gic_distributor_reg_t = 28840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER534    Hv_gic_distributor_reg_t = 28848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER535    Hv_gic_distributor_reg_t = 28856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER536    Hv_gic_distributor_reg_t = 28864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER537    Hv_gic_distributor_reg_t = 28872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER538    Hv_gic_distributor_reg_t = 28880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER539    Hv_gic_distributor_reg_t = 28888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER540    Hv_gic_distributor_reg_t = 28896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER541    Hv_gic_distributor_reg_t = 28904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER542    Hv_gic_distributor_reg_t = 28912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER543    Hv_gic_distributor_reg_t = 28920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER544    Hv_gic_distributor_reg_t = 28928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER545    Hv_gic_distributor_reg_t = 28936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER546    Hv_gic_distributor_reg_t = 28944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER547    Hv_gic_distributor_reg_t = 28952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER548    Hv_gic_distributor_reg_t = 28960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER549    Hv_gic_distributor_reg_t = 28968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER550    Hv_gic_distributor_reg_t = 28976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER551    Hv_gic_distributor_reg_t = 28984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER552    Hv_gic_distributor_reg_t = 28992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER553    Hv_gic_distributor_reg_t = 29000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER554    Hv_gic_distributor_reg_t = 29008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER555    Hv_gic_distributor_reg_t = 29016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER556    Hv_gic_distributor_reg_t = 29024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER557    Hv_gic_distributor_reg_t = 29032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER558    Hv_gic_distributor_reg_t = 29040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER559    Hv_gic_distributor_reg_t = 29048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER560    Hv_gic_distributor_reg_t = 29056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER561    Hv_gic_distributor_reg_t = 29064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER562    Hv_gic_distributor_reg_t = 29072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER563    Hv_gic_distributor_reg_t = 29080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER564    Hv_gic_distributor_reg_t = 29088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER565    Hv_gic_distributor_reg_t = 29096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER566    Hv_gic_distributor_reg_t = 29104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER567    Hv_gic_distributor_reg_t = 29112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER568    Hv_gic_distributor_reg_t = 29120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER569    Hv_gic_distributor_reg_t = 29128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER570    Hv_gic_distributor_reg_t = 29136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER571    Hv_gic_distributor_reg_t = 29144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER572    Hv_gic_distributor_reg_t = 29152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER573    Hv_gic_distributor_reg_t = 29160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER574    Hv_gic_distributor_reg_t = 29168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER575    Hv_gic_distributor_reg_t = 29176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER576    Hv_gic_distributor_reg_t = 29184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER577    Hv_gic_distributor_reg_t = 29192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER578    Hv_gic_distributor_reg_t = 29200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER579    Hv_gic_distributor_reg_t = 29208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER580    Hv_gic_distributor_reg_t = 29216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER581    Hv_gic_distributor_reg_t = 29224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER582    Hv_gic_distributor_reg_t = 29232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER583    Hv_gic_distributor_reg_t = 29240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER584    Hv_gic_distributor_reg_t = 29248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER585    Hv_gic_distributor_reg_t = 29256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER586    Hv_gic_distributor_reg_t = 29264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER587    Hv_gic_distributor_reg_t = 29272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER588    Hv_gic_distributor_reg_t = 29280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER589    Hv_gic_distributor_reg_t = 29288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER590    Hv_gic_distributor_reg_t = 29296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER591    Hv_gic_distributor_reg_t = 29304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER592    Hv_gic_distributor_reg_t = 29312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER593    Hv_gic_distributor_reg_t = 29320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER594    Hv_gic_distributor_reg_t = 29328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER595    Hv_gic_distributor_reg_t = 29336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER596    Hv_gic_distributor_reg_t = 29344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER597    Hv_gic_distributor_reg_t = 29352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER598    Hv_gic_distributor_reg_t = 29360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER599    Hv_gic_distributor_reg_t = 29368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER600    Hv_gic_distributor_reg_t = 29376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER601    Hv_gic_distributor_reg_t = 29384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER602    Hv_gic_distributor_reg_t = 29392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER603    Hv_gic_distributor_reg_t = 29400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER604    Hv_gic_distributor_reg_t = 29408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER605    Hv_gic_distributor_reg_t = 29416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER606    Hv_gic_distributor_reg_t = 29424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER607    Hv_gic_distributor_reg_t = 29432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER608    Hv_gic_distributor_reg_t = 29440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER609    Hv_gic_distributor_reg_t = 29448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER610    Hv_gic_distributor_reg_t = 29456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER611    Hv_gic_distributor_reg_t = 29464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER612    Hv_gic_distributor_reg_t = 29472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER613    Hv_gic_distributor_reg_t = 29480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER614    Hv_gic_distributor_reg_t = 29488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER615    Hv_gic_distributor_reg_t = 29496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER616    Hv_gic_distributor_reg_t = 29504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER617    Hv_gic_distributor_reg_t = 29512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER618    Hv_gic_distributor_reg_t = 29520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER619    Hv_gic_distributor_reg_t = 29528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER620    Hv_gic_distributor_reg_t = 29536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER621    Hv_gic_distributor_reg_t = 29544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER622    Hv_gic_distributor_reg_t = 29552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER623    Hv_gic_distributor_reg_t = 29560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER624    Hv_gic_distributor_reg_t = 29568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER625    Hv_gic_distributor_reg_t = 29576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER626    Hv_gic_distributor_reg_t = 29584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER627    Hv_gic_distributor_reg_t = 29592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER628    Hv_gic_distributor_reg_t = 29600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER629    Hv_gic_distributor_reg_t = 29608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER630    Hv_gic_distributor_reg_t = 29616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER631    Hv_gic_distributor_reg_t = 29624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER632    Hv_gic_distributor_reg_t = 29632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER633    Hv_gic_distributor_reg_t = 29640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER634    Hv_gic_distributor_reg_t = 29648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER635    Hv_gic_distributor_reg_t = 29656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER636    Hv_gic_distributor_reg_t = 29664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER637    Hv_gic_distributor_reg_t = 29672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER638    Hv_gic_distributor_reg_t = 29680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER639    Hv_gic_distributor_reg_t = 29688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER640    Hv_gic_distributor_reg_t = 29696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER641    Hv_gic_distributor_reg_t = 29704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER642    Hv_gic_distributor_reg_t = 29712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER643    Hv_gic_distributor_reg_t = 29720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER644    Hv_gic_distributor_reg_t = 29728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER645    Hv_gic_distributor_reg_t = 29736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER646    Hv_gic_distributor_reg_t = 29744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER647    Hv_gic_distributor_reg_t = 29752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER648    Hv_gic_distributor_reg_t = 29760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER649    Hv_gic_distributor_reg_t = 29768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER650    Hv_gic_distributor_reg_t = 29776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER651    Hv_gic_distributor_reg_t = 29784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER652    Hv_gic_distributor_reg_t = 29792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER653    Hv_gic_distributor_reg_t = 29800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER654    Hv_gic_distributor_reg_t = 29808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER655    Hv_gic_distributor_reg_t = 29816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER656    Hv_gic_distributor_reg_t = 29824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER657    Hv_gic_distributor_reg_t = 29832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER658    Hv_gic_distributor_reg_t = 29840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER659    Hv_gic_distributor_reg_t = 29848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER660    Hv_gic_distributor_reg_t = 29856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER661    Hv_gic_distributor_reg_t = 29864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER662    Hv_gic_distributor_reg_t = 29872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER663    Hv_gic_distributor_reg_t = 29880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER664    Hv_gic_distributor_reg_t = 29888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER665    Hv_gic_distributor_reg_t = 29896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER666    Hv_gic_distributor_reg_t = 29904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER667    Hv_gic_distributor_reg_t = 29912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER668    Hv_gic_distributor_reg_t = 29920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER669    Hv_gic_distributor_reg_t = 29928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER670    Hv_gic_distributor_reg_t = 29936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER671    Hv_gic_distributor_reg_t = 29944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER672    Hv_gic_distributor_reg_t = 29952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER673    Hv_gic_distributor_reg_t = 29960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER674    Hv_gic_distributor_reg_t = 29968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER675    Hv_gic_distributor_reg_t = 29976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER676    Hv_gic_distributor_reg_t = 29984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER677    Hv_gic_distributor_reg_t = 29992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER678    Hv_gic_distributor_reg_t = 30000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER679    Hv_gic_distributor_reg_t = 30008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER680    Hv_gic_distributor_reg_t = 30016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER681    Hv_gic_distributor_reg_t = 30024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER682    Hv_gic_distributor_reg_t = 30032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER683    Hv_gic_distributor_reg_t = 30040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER684    Hv_gic_distributor_reg_t = 30048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER685    Hv_gic_distributor_reg_t = 30056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER686    Hv_gic_distributor_reg_t = 30064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER687    Hv_gic_distributor_reg_t = 30072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER688    Hv_gic_distributor_reg_t = 30080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER689    Hv_gic_distributor_reg_t = 30088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER690    Hv_gic_distributor_reg_t = 30096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER691    Hv_gic_distributor_reg_t = 30104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER692    Hv_gic_distributor_reg_t = 30112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER693    Hv_gic_distributor_reg_t = 30120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER694    Hv_gic_distributor_reg_t = 30128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER695    Hv_gic_distributor_reg_t = 30136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER696    Hv_gic_distributor_reg_t = 30144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER697    Hv_gic_distributor_reg_t = 30152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER698    Hv_gic_distributor_reg_t = 30160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER699    Hv_gic_distributor_reg_t = 30168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER700    Hv_gic_distributor_reg_t = 30176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER701    Hv_gic_distributor_reg_t = 30184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER702    Hv_gic_distributor_reg_t = 30192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER703    Hv_gic_distributor_reg_t = 30200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER704    Hv_gic_distributor_reg_t = 30208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER705    Hv_gic_distributor_reg_t = 30216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER706    Hv_gic_distributor_reg_t = 30224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER707    Hv_gic_distributor_reg_t = 30232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER708    Hv_gic_distributor_reg_t = 30240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER709    Hv_gic_distributor_reg_t = 30248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER710    Hv_gic_distributor_reg_t = 30256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER711    Hv_gic_distributor_reg_t = 30264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER712    Hv_gic_distributor_reg_t = 30272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER713    Hv_gic_distributor_reg_t = 30280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER714    Hv_gic_distributor_reg_t = 30288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER715    Hv_gic_distributor_reg_t = 30296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER716    Hv_gic_distributor_reg_t = 30304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER717    Hv_gic_distributor_reg_t = 30312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER718    Hv_gic_distributor_reg_t = 30320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER719    Hv_gic_distributor_reg_t = 30328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER720    Hv_gic_distributor_reg_t = 30336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER721    Hv_gic_distributor_reg_t = 30344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER722    Hv_gic_distributor_reg_t = 30352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER723    Hv_gic_distributor_reg_t = 30360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER724    Hv_gic_distributor_reg_t = 30368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER725    Hv_gic_distributor_reg_t = 30376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER726    Hv_gic_distributor_reg_t = 30384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER727    Hv_gic_distributor_reg_t = 30392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER728    Hv_gic_distributor_reg_t = 30400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER729    Hv_gic_distributor_reg_t = 30408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER730    Hv_gic_distributor_reg_t = 30416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER731    Hv_gic_distributor_reg_t = 30424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER732    Hv_gic_distributor_reg_t = 30432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER733    Hv_gic_distributor_reg_t = 30440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER734    Hv_gic_distributor_reg_t = 30448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER735    Hv_gic_distributor_reg_t = 30456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER736    Hv_gic_distributor_reg_t = 30464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER737    Hv_gic_distributor_reg_t = 30472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER738    Hv_gic_distributor_reg_t = 30480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER739    Hv_gic_distributor_reg_t = 30488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER740    Hv_gic_distributor_reg_t = 30496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER741    Hv_gic_distributor_reg_t = 30504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER742    Hv_gic_distributor_reg_t = 30512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER743    Hv_gic_distributor_reg_t = 30520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER744    Hv_gic_distributor_reg_t = 30528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER745    Hv_gic_distributor_reg_t = 30536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER746    Hv_gic_distributor_reg_t = 30544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER747    Hv_gic_distributor_reg_t = 30552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER748    Hv_gic_distributor_reg_t = 30560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER749    Hv_gic_distributor_reg_t = 30568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER750    Hv_gic_distributor_reg_t = 30576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER751    Hv_gic_distributor_reg_t = 30584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER752    Hv_gic_distributor_reg_t = 30592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER753    Hv_gic_distributor_reg_t = 30600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER754    Hv_gic_distributor_reg_t = 30608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER755    Hv_gic_distributor_reg_t = 30616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER756    Hv_gic_distributor_reg_t = 30624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER757    Hv_gic_distributor_reg_t = 30632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER758    Hv_gic_distributor_reg_t = 30640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER759    Hv_gic_distributor_reg_t = 30648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER760    Hv_gic_distributor_reg_t = 30656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER761    Hv_gic_distributor_reg_t = 30664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER762    Hv_gic_distributor_reg_t = 30672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER763    Hv_gic_distributor_reg_t = 30680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER764    Hv_gic_distributor_reg_t = 30688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER765    Hv_gic_distributor_reg_t = 30696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER766    Hv_gic_distributor_reg_t = 30704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER767    Hv_gic_distributor_reg_t = 30712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER768    Hv_gic_distributor_reg_t = 30720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER769    Hv_gic_distributor_reg_t = 30728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER770    Hv_gic_distributor_reg_t = 30736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER771    Hv_gic_distributor_reg_t = 30744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER772    Hv_gic_distributor_reg_t = 30752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER773    Hv_gic_distributor_reg_t = 30760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER774    Hv_gic_distributor_reg_t = 30768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER775    Hv_gic_distributor_reg_t = 30776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER776    Hv_gic_distributor_reg_t = 30784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER777    Hv_gic_distributor_reg_t = 30792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER778    Hv_gic_distributor_reg_t = 30800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER779    Hv_gic_distributor_reg_t = 30808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER780    Hv_gic_distributor_reg_t = 30816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER781    Hv_gic_distributor_reg_t = 30824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER782    Hv_gic_distributor_reg_t = 30832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER783    Hv_gic_distributor_reg_t = 30840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER784    Hv_gic_distributor_reg_t = 30848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER785    Hv_gic_distributor_reg_t = 30856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER786    Hv_gic_distributor_reg_t = 30864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER787    Hv_gic_distributor_reg_t = 30872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER788    Hv_gic_distributor_reg_t = 30880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER789    Hv_gic_distributor_reg_t = 30888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER790    Hv_gic_distributor_reg_t = 30896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER791    Hv_gic_distributor_reg_t = 30904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER792    Hv_gic_distributor_reg_t = 30912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER793    Hv_gic_distributor_reg_t = 30920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER794    Hv_gic_distributor_reg_t = 30928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER795    Hv_gic_distributor_reg_t = 30936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER796    Hv_gic_distributor_reg_t = 30944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER797    Hv_gic_distributor_reg_t = 30952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER798    Hv_gic_distributor_reg_t = 30960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER799    Hv_gic_distributor_reg_t = 30968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER800    Hv_gic_distributor_reg_t = 30976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER801    Hv_gic_distributor_reg_t = 30984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER802    Hv_gic_distributor_reg_t = 30992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER803    Hv_gic_distributor_reg_t = 31000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER804    Hv_gic_distributor_reg_t = 31008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER805    Hv_gic_distributor_reg_t = 31016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER806    Hv_gic_distributor_reg_t = 31024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER807    Hv_gic_distributor_reg_t = 31032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER808    Hv_gic_distributor_reg_t = 31040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER809    Hv_gic_distributor_reg_t = 31048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER810    Hv_gic_distributor_reg_t = 31056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER811    Hv_gic_distributor_reg_t = 31064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER812    Hv_gic_distributor_reg_t = 31072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER813    Hv_gic_distributor_reg_t = 31080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER814    Hv_gic_distributor_reg_t = 31088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER815    Hv_gic_distributor_reg_t = 31096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER816    Hv_gic_distributor_reg_t = 31104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER817    Hv_gic_distributor_reg_t = 31112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER818    Hv_gic_distributor_reg_t = 31120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER819    Hv_gic_distributor_reg_t = 31128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER820    Hv_gic_distributor_reg_t = 31136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER821    Hv_gic_distributor_reg_t = 31144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER822    Hv_gic_distributor_reg_t = 31152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER823    Hv_gic_distributor_reg_t = 31160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER824    Hv_gic_distributor_reg_t = 31168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER825    Hv_gic_distributor_reg_t = 31176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER826    Hv_gic_distributor_reg_t = 31184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER827    Hv_gic_distributor_reg_t = 31192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER828    Hv_gic_distributor_reg_t = 31200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER829    Hv_gic_distributor_reg_t = 31208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER830    Hv_gic_distributor_reg_t = 31216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER831    Hv_gic_distributor_reg_t = 31224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER832    Hv_gic_distributor_reg_t = 31232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER833    Hv_gic_distributor_reg_t = 31240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER834    Hv_gic_distributor_reg_t = 31248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER835    Hv_gic_distributor_reg_t = 31256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER836    Hv_gic_distributor_reg_t = 31264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER837    Hv_gic_distributor_reg_t = 31272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER838    Hv_gic_distributor_reg_t = 31280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER839    Hv_gic_distributor_reg_t = 31288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER840    Hv_gic_distributor_reg_t = 31296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER841    Hv_gic_distributor_reg_t = 31304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER842    Hv_gic_distributor_reg_t = 31312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER843    Hv_gic_distributor_reg_t = 31320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER844    Hv_gic_distributor_reg_t = 31328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER845    Hv_gic_distributor_reg_t = 31336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER846    Hv_gic_distributor_reg_t = 31344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER847    Hv_gic_distributor_reg_t = 31352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER848    Hv_gic_distributor_reg_t = 31360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER849    Hv_gic_distributor_reg_t = 31368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER850    Hv_gic_distributor_reg_t = 31376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER851    Hv_gic_distributor_reg_t = 31384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER852    Hv_gic_distributor_reg_t = 31392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER853    Hv_gic_distributor_reg_t = 31400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER854    Hv_gic_distributor_reg_t = 31408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER855    Hv_gic_distributor_reg_t = 31416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER856    Hv_gic_distributor_reg_t = 31424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER857    Hv_gic_distributor_reg_t = 31432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER858    Hv_gic_distributor_reg_t = 31440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER859    Hv_gic_distributor_reg_t = 31448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER860    Hv_gic_distributor_reg_t = 31456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER861    Hv_gic_distributor_reg_t = 31464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER862    Hv_gic_distributor_reg_t = 31472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER863    Hv_gic_distributor_reg_t = 31480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER864    Hv_gic_distributor_reg_t = 31488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER865    Hv_gic_distributor_reg_t = 31496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER866    Hv_gic_distributor_reg_t = 31504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER867    Hv_gic_distributor_reg_t = 31512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER868    Hv_gic_distributor_reg_t = 31520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER869    Hv_gic_distributor_reg_t = 31528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER870    Hv_gic_distributor_reg_t = 31536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER871    Hv_gic_distributor_reg_t = 31544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER872    Hv_gic_distributor_reg_t = 31552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER873    Hv_gic_distributor_reg_t = 31560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER874    Hv_gic_distributor_reg_t = 31568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER875    Hv_gic_distributor_reg_t = 31576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER876    Hv_gic_distributor_reg_t = 31584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER877    Hv_gic_distributor_reg_t = 31592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER878    Hv_gic_distributor_reg_t = 31600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER879    Hv_gic_distributor_reg_t = 31608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER880    Hv_gic_distributor_reg_t = 31616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER881    Hv_gic_distributor_reg_t = 31624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER882    Hv_gic_distributor_reg_t = 31632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER883    Hv_gic_distributor_reg_t = 31640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER884    Hv_gic_distributor_reg_t = 31648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER885    Hv_gic_distributor_reg_t = 31656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER886    Hv_gic_distributor_reg_t = 31664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER887    Hv_gic_distributor_reg_t = 31672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER888    Hv_gic_distributor_reg_t = 31680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER889    Hv_gic_distributor_reg_t = 31688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER890    Hv_gic_distributor_reg_t = 31696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER891    Hv_gic_distributor_reg_t = 31704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER892    Hv_gic_distributor_reg_t = 31712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER893    Hv_gic_distributor_reg_t = 31720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER894    Hv_gic_distributor_reg_t = 31728
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER895    Hv_gic_distributor_reg_t = 31736
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER896    Hv_gic_distributor_reg_t = 31744
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER897    Hv_gic_distributor_reg_t = 31752
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER898    Hv_gic_distributor_reg_t = 31760
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER899    Hv_gic_distributor_reg_t = 31768
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER900    Hv_gic_distributor_reg_t = 31776
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER901    Hv_gic_distributor_reg_t = 31784
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER902    Hv_gic_distributor_reg_t = 31792
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER903    Hv_gic_distributor_reg_t = 31800
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER904    Hv_gic_distributor_reg_t = 31808
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER905    Hv_gic_distributor_reg_t = 31816
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER906    Hv_gic_distributor_reg_t = 31824
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER907    Hv_gic_distributor_reg_t = 31832
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER908    Hv_gic_distributor_reg_t = 31840
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER909    Hv_gic_distributor_reg_t = 31848
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER910    Hv_gic_distributor_reg_t = 31856
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER911    Hv_gic_distributor_reg_t = 31864
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER912    Hv_gic_distributor_reg_t = 31872
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER913    Hv_gic_distributor_reg_t = 31880
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER914    Hv_gic_distributor_reg_t = 31888
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER915    Hv_gic_distributor_reg_t = 31896
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER916    Hv_gic_distributor_reg_t = 31904
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER917    Hv_gic_distributor_reg_t = 31912
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER918    Hv_gic_distributor_reg_t = 31920
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER919    Hv_gic_distributor_reg_t = 31928
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER920    Hv_gic_distributor_reg_t = 31936
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER921    Hv_gic_distributor_reg_t = 31944
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER922    Hv_gic_distributor_reg_t = 31952
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER923    Hv_gic_distributor_reg_t = 31960
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER924    Hv_gic_distributor_reg_t = 31968
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER925    Hv_gic_distributor_reg_t = 31976
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER926    Hv_gic_distributor_reg_t = 31984
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER927    Hv_gic_distributor_reg_t = 31992
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER928    Hv_gic_distributor_reg_t = 32000
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER929    Hv_gic_distributor_reg_t = 32008
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER930    Hv_gic_distributor_reg_t = 32016
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER931    Hv_gic_distributor_reg_t = 32024
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER932    Hv_gic_distributor_reg_t = 32032
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER933    Hv_gic_distributor_reg_t = 32040
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER934    Hv_gic_distributor_reg_t = 32048
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER935    Hv_gic_distributor_reg_t = 32056
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER936    Hv_gic_distributor_reg_t = 32064
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER937    Hv_gic_distributor_reg_t = 32072
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER938    Hv_gic_distributor_reg_t = 32080
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER939    Hv_gic_distributor_reg_t = 32088
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER940    Hv_gic_distributor_reg_t = 32096
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER941    Hv_gic_distributor_reg_t = 32104
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER942    Hv_gic_distributor_reg_t = 32112
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER943    Hv_gic_distributor_reg_t = 32120
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER944    Hv_gic_distributor_reg_t = 32128
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER945    Hv_gic_distributor_reg_t = 32136
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER946    Hv_gic_distributor_reg_t = 32144
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER947    Hv_gic_distributor_reg_t = 32152
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER948    Hv_gic_distributor_reg_t = 32160
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER949    Hv_gic_distributor_reg_t = 32168
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER950    Hv_gic_distributor_reg_t = 32176
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER951    Hv_gic_distributor_reg_t = 32184
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER952    Hv_gic_distributor_reg_t = 32192
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER953    Hv_gic_distributor_reg_t = 32200
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER954    Hv_gic_distributor_reg_t = 32208
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER955    Hv_gic_distributor_reg_t = 32216
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER956    Hv_gic_distributor_reg_t = 32224
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER957    Hv_gic_distributor_reg_t = 32232
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER958    Hv_gic_distributor_reg_t = 32240
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER959    Hv_gic_distributor_reg_t = 32248
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER960    Hv_gic_distributor_reg_t = 32256
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER961    Hv_gic_distributor_reg_t = 32264
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER962    Hv_gic_distributor_reg_t = 32272
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER963    Hv_gic_distributor_reg_t = 32280
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER964    Hv_gic_distributor_reg_t = 32288
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER965    Hv_gic_distributor_reg_t = 32296
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER966    Hv_gic_distributor_reg_t = 32304
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER967    Hv_gic_distributor_reg_t = 32312
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER968    Hv_gic_distributor_reg_t = 32320
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER969    Hv_gic_distributor_reg_t = 32328
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER970    Hv_gic_distributor_reg_t = 32336
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER971    Hv_gic_distributor_reg_t = 32344
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER972    Hv_gic_distributor_reg_t = 32352
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER973    Hv_gic_distributor_reg_t = 32360
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER974    Hv_gic_distributor_reg_t = 32368
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER975    Hv_gic_distributor_reg_t = 32376
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER976    Hv_gic_distributor_reg_t = 32384
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER977    Hv_gic_distributor_reg_t = 32392
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER978    Hv_gic_distributor_reg_t = 32400
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER979    Hv_gic_distributor_reg_t = 32408
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER980    Hv_gic_distributor_reg_t = 32416
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER981    Hv_gic_distributor_reg_t = 32424
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER982    Hv_gic_distributor_reg_t = 32432
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER983    Hv_gic_distributor_reg_t = 32440
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER984    Hv_gic_distributor_reg_t = 32448
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER985    Hv_gic_distributor_reg_t = 32456
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER986    Hv_gic_distributor_reg_t = 32464
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER987    Hv_gic_distributor_reg_t = 32472
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER988    Hv_gic_distributor_reg_t = 32480
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER989    Hv_gic_distributor_reg_t = 32488
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER990    Hv_gic_distributor_reg_t = 32496
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER991    Hv_gic_distributor_reg_t = 32504
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER992    Hv_gic_distributor_reg_t = 32512
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER993    Hv_gic_distributor_reg_t = 32520
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER994    Hv_gic_distributor_reg_t = 32528
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER995    Hv_gic_distributor_reg_t = 32536
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER996    Hv_gic_distributor_reg_t = 32544
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER997    Hv_gic_distributor_reg_t = 32552
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER998    Hv_gic_distributor_reg_t = 32560
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER999    Hv_gic_distributor_reg_t = 32568
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1000   Hv_gic_distributor_reg_t = 32576
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1001   Hv_gic_distributor_reg_t = 32584
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1002   Hv_gic_distributor_reg_t = 32592
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1003   Hv_gic_distributor_reg_t = 32600
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1004   Hv_gic_distributor_reg_t = 32608
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1005   Hv_gic_distributor_reg_t = 32616
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1006   Hv_gic_distributor_reg_t = 32624
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1007   Hv_gic_distributor_reg_t = 32632
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1008   Hv_gic_distributor_reg_t = 32640
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1009   Hv_gic_distributor_reg_t = 32648
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1010   Hv_gic_distributor_reg_t = 32656
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1011   Hv_gic_distributor_reg_t = 32664
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1012   Hv_gic_distributor_reg_t = 32672
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1013   Hv_gic_distributor_reg_t = 32680
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1014   Hv_gic_distributor_reg_t = 32688
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1015   Hv_gic_distributor_reg_t = 32696
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1016   Hv_gic_distributor_reg_t = 32704
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1017   Hv_gic_distributor_reg_t = 32712
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1018   Hv_gic_distributor_reg_t = 32720
	HV_GIC_DISTRIBUTOR_REG_GICD_IROUTER1019   Hv_gic_distributor_reg_t = 32728
	HV_GIC_DISTRIBUTOR_REG_GICD_PIDR2         Hv_gic_distributor_reg_t = 65512
)

func (Hv_gic_distributor_reg_t) String

func (e Hv_gic_distributor_reg_t) String() string

type Hv_gic_icc_reg_t

type Hv_gic_icc_reg_t int64
const (
	HV_GIC_ICC_REG_PMR_EL1     Hv_gic_icc_reg_t = 49712
	HV_GIC_ICC_REG_BPR0_EL1    Hv_gic_icc_reg_t = 50755
	HV_GIC_ICC_REG_AP0R0_EL1   Hv_gic_icc_reg_t = 50756
	HV_GIC_ICC_REG_AP1R0_EL1   Hv_gic_icc_reg_t = 50760
	HV_GIC_ICC_REG_RPR_EL1     Hv_gic_icc_reg_t = 50779
	HV_GIC_ICC_REG_BPR1_EL1    Hv_gic_icc_reg_t = 50787
	HV_GIC_ICC_REG_CTLR_EL1    Hv_gic_icc_reg_t = 50788
	HV_GIC_ICC_REG_SRE_EL1     Hv_gic_icc_reg_t = 50789
	HV_GIC_ICC_REG_IGRPEN0_EL1 Hv_gic_icc_reg_t = 50790
	HV_GIC_ICC_REG_IGRPEN1_EL1 Hv_gic_icc_reg_t = 50791
	HV_GIC_ICC_REG_SRE_EL2     Hv_gic_icc_reg_t = 58957
)

func (Hv_gic_icc_reg_t) String

func (e Hv_gic_icc_reg_t) String() string

type Hv_gic_ich_reg_t

type Hv_gic_ich_reg_t int64
const (
	HV_GIC_ICH_REG_AP0R0_EL2 Hv_gic_ich_reg_t = 58944
	HV_GIC_ICH_REG_AP1R0_EL2 Hv_gic_ich_reg_t = 58952
	HV_GIC_ICH_REG_HCR_EL2   Hv_gic_ich_reg_t = 58968
	HV_GIC_ICH_REG_VTR_EL2   Hv_gic_ich_reg_t = 58969
	HV_GIC_ICH_REG_MISR_EL2  Hv_gic_ich_reg_t = 58970
	HV_GIC_ICH_REG_EISR_EL2  Hv_gic_ich_reg_t = 58971
	HV_GIC_ICH_REG_ELRSR_EL2 Hv_gic_ich_reg_t = 58973
	HV_GIC_ICH_REG_VMCR_EL2  Hv_gic_ich_reg_t = 58975
	HV_GIC_ICH_REG_LR0_EL2   Hv_gic_ich_reg_t = 58976
	HV_GIC_ICH_REG_LR1_EL2   Hv_gic_ich_reg_t = 58977
	HV_GIC_ICH_REG_LR2_EL2   Hv_gic_ich_reg_t = 58978
	HV_GIC_ICH_REG_LR3_EL2   Hv_gic_ich_reg_t = 58979
	HV_GIC_ICH_REG_LR4_EL2   Hv_gic_ich_reg_t = 58980
	HV_GIC_ICH_REG_LR5_EL2   Hv_gic_ich_reg_t = 58981
	HV_GIC_ICH_REG_LR6_EL2   Hv_gic_ich_reg_t = 58982
	HV_GIC_ICH_REG_LR7_EL2   Hv_gic_ich_reg_t = 58983
	HV_GIC_ICH_REG_LR8_EL2   Hv_gic_ich_reg_t = 58984
	HV_GIC_ICH_REG_LR9_EL2   Hv_gic_ich_reg_t = 58985
	HV_GIC_ICH_REG_LR10_EL2  Hv_gic_ich_reg_t = 58986
	HV_GIC_ICH_REG_LR11_EL2  Hv_gic_ich_reg_t = 58987
	HV_GIC_ICH_REG_LR12_EL2  Hv_gic_ich_reg_t = 58988
	HV_GIC_ICH_REG_LR13_EL2  Hv_gic_ich_reg_t = 58989
	HV_GIC_ICH_REG_LR14_EL2  Hv_gic_ich_reg_t = 58990
	HV_GIC_ICH_REG_LR15_EL2  Hv_gic_ich_reg_t = 58991
)

func (Hv_gic_ich_reg_t) String

func (e Hv_gic_ich_reg_t) String() string

type Hv_gic_icv_reg_t

type Hv_gic_icv_reg_t int64
const (
	HV_GIC_ICV_REG_PMR_EL1     Hv_gic_icv_reg_t = 49712
	HV_GIC_ICV_REG_BPR0_EL1    Hv_gic_icv_reg_t = 50755
	HV_GIC_ICV_REG_AP0R0_EL1   Hv_gic_icv_reg_t = 50756
	HV_GIC_ICV_REG_AP1R0_EL1   Hv_gic_icv_reg_t = 50760
	HV_GIC_ICV_REG_RPR_EL1     Hv_gic_icv_reg_t = 50779
	HV_GIC_ICV_REG_BPR1_EL1    Hv_gic_icv_reg_t = 50787
	HV_GIC_ICV_REG_CTLR_EL1    Hv_gic_icv_reg_t = 50788
	HV_GIC_ICV_REG_SRE_EL1     Hv_gic_icv_reg_t = 50789
	HV_GIC_ICV_REG_IGRPEN0_EL1 Hv_gic_icv_reg_t = 50790
	HV_GIC_ICV_REG_IGRPEN1_EL1 Hv_gic_icv_reg_t = 50791
)

func (Hv_gic_icv_reg_t) String

func (e Hv_gic_icv_reg_t) String() string

type Hv_gic_intid_t

type Hv_gic_intid_t int64
const (
	HV_GIC_INT_PERFORMANCE_MONITOR Hv_gic_intid_t = 23
	HV_GIC_INT_MAINTENANCE         Hv_gic_intid_t = 25
	HV_GIC_INT_EL2_PHYSICAL_TIMER  Hv_gic_intid_t = 26
	HV_GIC_INT_EL1_VIRTUAL_TIMER   Hv_gic_intid_t = 27
	HV_GIC_INT_EL1_PHYSICAL_TIMER  Hv_gic_intid_t = 30
)

func (Hv_gic_intid_t) String

func (e Hv_gic_intid_t) String() string

type Hv_gic_msi_reg_t

type Hv_gic_msi_reg_t int64
const (
	HV_GIC_REG_GICM_TYPER       Hv_gic_msi_reg_t = 8
	HV_GIC_REG_GICM_SET_SPI_NSR Hv_gic_msi_reg_t = 64
)

func (Hv_gic_msi_reg_t) String

func (e Hv_gic_msi_reg_t) String() string

type Hv_gic_redistributor_reg_t

type Hv_gic_redistributor_reg_t int64
const (
	HV_GIC_REDISTRIBUTOR_REG_GICR_TYPER       Hv_gic_redistributor_reg_t = 8
	HV_GIC_REDISTRIBUTOR_REG_GICR_PIDR2       Hv_gic_redistributor_reg_t = 65512
	HV_GIC_REDISTRIBUTOR_REG_GICR_IGROUPR0    Hv_gic_redistributor_reg_t = 65664
	HV_GIC_REDISTRIBUTOR_REG_GICR_ISENABLER0  Hv_gic_redistributor_reg_t = 65792
	HV_GIC_REDISTRIBUTOR_REG_GICR_ICENABLER0  Hv_gic_redistributor_reg_t = 65920
	HV_GIC_REDISTRIBUTOR_REG_GICR_ISPENDR0    Hv_gic_redistributor_reg_t = 66048
	HV_GIC_REDISTRIBUTOR_REG_GICR_ICPENDR0    Hv_gic_redistributor_reg_t = 66176
	HV_GIC_REDISTRIBUTOR_REG_GICR_ISACTIVER0  Hv_gic_redistributor_reg_t = 66304
	HV_GIC_REDISTRIBUTOR_REG_GICR_ICACTIVER0  Hv_gic_redistributor_reg_t = 66432
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR0 Hv_gic_redistributor_reg_t = 66560
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR1 Hv_gic_redistributor_reg_t = 66564
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR2 Hv_gic_redistributor_reg_t = 66568
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR3 Hv_gic_redistributor_reg_t = 66572
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR4 Hv_gic_redistributor_reg_t = 66576
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR5 Hv_gic_redistributor_reg_t = 66580
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR6 Hv_gic_redistributor_reg_t = 66584
	HV_GIC_REDISTRIBUTOR_REG_GICR_IPRIORITYR7 Hv_gic_redistributor_reg_t = 66588
	HV_GIC_REDISTRIBUTOR_REG_GICR_ICFGR0      Hv_gic_redistributor_reg_t = 68608
	HV_GIC_REDISTRIBUTOR_REG_GICR_ICFGR1      Hv_gic_redistributor_reg_t = 68612
)

func (Hv_gic_redistributor_reg_t) String

type Hv_interrupt_type_t

type Hv_interrupt_type_t int64

The type that defines the vCPU’s interrupts.

const (
	// Corresponds to an ARM IRQ .
	HV_INTERRUPT_TYPE_IRQ Hv_interrupt_type_t = 0
	// Corresponds to an ARM FIQ.
	HV_INTERRUPT_TYPE_FIQ Hv_interrupt_type_t = 1
)

func (Hv_interrupt_type_t) String

func (e Hv_interrupt_type_t) String() string

type Hv_ipa_granule_t

type Hv_ipa_granule_t int64
const (
	HV_IPA_GRANULE_4KB  Hv_ipa_granule_t = 0
	HV_IPA_GRANULE_16KB Hv_ipa_granule_t = 1
)

func (Hv_ipa_granule_t) String

func (e Hv_ipa_granule_t) String() string

type Hv_reg_t

type Hv_reg_t int64

The type that defines general registers.

const (
	HV_REG_X0   Hv_reg_t = 0
	HV_REG_X1   Hv_reg_t = 1
	HV_REG_X2   Hv_reg_t = 2
	HV_REG_X3   Hv_reg_t = 3
	HV_REG_X4   Hv_reg_t = 4
	HV_REG_X5   Hv_reg_t = 5
	HV_REG_X6   Hv_reg_t = 6
	HV_REG_X7   Hv_reg_t = 7
	HV_REG_X8   Hv_reg_t = 8
	HV_REG_X9   Hv_reg_t = 9
	HV_REG_X10  Hv_reg_t = 10
	HV_REG_X11  Hv_reg_t = 11
	HV_REG_X12  Hv_reg_t = 12
	HV_REG_X13  Hv_reg_t = 13
	HV_REG_X14  Hv_reg_t = 14
	HV_REG_X15  Hv_reg_t = 15
	HV_REG_X16  Hv_reg_t = 16
	HV_REG_X17  Hv_reg_t = 17
	HV_REG_X18  Hv_reg_t = 18
	HV_REG_X19  Hv_reg_t = 19
	HV_REG_X20  Hv_reg_t = 20
	HV_REG_X21  Hv_reg_t = 21
	HV_REG_X22  Hv_reg_t = 22
	HV_REG_X23  Hv_reg_t = 23
	HV_REG_X24  Hv_reg_t = 24
	HV_REG_X25  Hv_reg_t = 25
	HV_REG_X26  Hv_reg_t = 26
	HV_REG_X27  Hv_reg_t = 27
	HV_REG_X28  Hv_reg_t = 28
	HV_REG_X29  Hv_reg_t = 29
	HV_REG_FP   Hv_reg_t = 29
	HV_REG_X30  Hv_reg_t = 30
	HV_REG_LR   Hv_reg_t = 30
	HV_REG_PC   Hv_reg_t = 31
	HV_REG_FPCR Hv_reg_t = 32
	HV_REG_FPSR Hv_reg_t = 33
	HV_REG_CPSR Hv_reg_t = 34
)

func (Hv_reg_t) String

func (e Hv_reg_t) String() string

type Hv_simd_fp_reg_t

type Hv_simd_fp_reg_t int64

The type that defines SIMD and floating-point registers.

const (
	HV_SIMD_FP_REG_Q0  Hv_simd_fp_reg_t = 0
	HV_SIMD_FP_REG_Q1  Hv_simd_fp_reg_t = 1
	HV_SIMD_FP_REG_Q2  Hv_simd_fp_reg_t = 2
	HV_SIMD_FP_REG_Q3  Hv_simd_fp_reg_t = 3
	HV_SIMD_FP_REG_Q4  Hv_simd_fp_reg_t = 4
	HV_SIMD_FP_REG_Q5  Hv_simd_fp_reg_t = 5
	HV_SIMD_FP_REG_Q6  Hv_simd_fp_reg_t = 6
	HV_SIMD_FP_REG_Q7  Hv_simd_fp_reg_t = 7
	HV_SIMD_FP_REG_Q8  Hv_simd_fp_reg_t = 8
	HV_SIMD_FP_REG_Q9  Hv_simd_fp_reg_t = 9
	HV_SIMD_FP_REG_Q10 Hv_simd_fp_reg_t = 10
	HV_SIMD_FP_REG_Q11 Hv_simd_fp_reg_t = 11
	HV_SIMD_FP_REG_Q12 Hv_simd_fp_reg_t = 12
	HV_SIMD_FP_REG_Q13 Hv_simd_fp_reg_t = 13
	HV_SIMD_FP_REG_Q14 Hv_simd_fp_reg_t = 14
	HV_SIMD_FP_REG_Q15 Hv_simd_fp_reg_t = 15
	HV_SIMD_FP_REG_Q16 Hv_simd_fp_reg_t = 16
	HV_SIMD_FP_REG_Q17 Hv_simd_fp_reg_t = 17
	HV_SIMD_FP_REG_Q18 Hv_simd_fp_reg_t = 18
	HV_SIMD_FP_REG_Q19 Hv_simd_fp_reg_t = 19
	HV_SIMD_FP_REG_Q20 Hv_simd_fp_reg_t = 20
	HV_SIMD_FP_REG_Q21 Hv_simd_fp_reg_t = 21
	HV_SIMD_FP_REG_Q22 Hv_simd_fp_reg_t = 22
	HV_SIMD_FP_REG_Q23 Hv_simd_fp_reg_t = 23
	HV_SIMD_FP_REG_Q24 Hv_simd_fp_reg_t = 24
	HV_SIMD_FP_REG_Q25 Hv_simd_fp_reg_t = 25
	HV_SIMD_FP_REG_Q26 Hv_simd_fp_reg_t = 26
	HV_SIMD_FP_REG_Q27 Hv_simd_fp_reg_t = 27
	HV_SIMD_FP_REG_Q28 Hv_simd_fp_reg_t = 28
	HV_SIMD_FP_REG_Q29 Hv_simd_fp_reg_t = 29
	HV_SIMD_FP_REG_Q30 Hv_simd_fp_reg_t = 30
	HV_SIMD_FP_REG_Q31 Hv_simd_fp_reg_t = 31
)

func (Hv_simd_fp_reg_t) String

func (e Hv_simd_fp_reg_t) String() string

type Hv_sme_p_reg_t

type Hv_sme_p_reg_t int64
const (
	HV_SME_P_REG_0  Hv_sme_p_reg_t = 0
	HV_SME_P_REG_1  Hv_sme_p_reg_t = 1
	HV_SME_P_REG_2  Hv_sme_p_reg_t = 2
	HV_SME_P_REG_3  Hv_sme_p_reg_t = 3
	HV_SME_P_REG_4  Hv_sme_p_reg_t = 4
	HV_SME_P_REG_5  Hv_sme_p_reg_t = 5
	HV_SME_P_REG_6  Hv_sme_p_reg_t = 6
	HV_SME_P_REG_7  Hv_sme_p_reg_t = 7
	HV_SME_P_REG_8  Hv_sme_p_reg_t = 8
	HV_SME_P_REG_9  Hv_sme_p_reg_t = 9
	HV_SME_P_REG_10 Hv_sme_p_reg_t = 10
	HV_SME_P_REG_11 Hv_sme_p_reg_t = 11
	HV_SME_P_REG_12 Hv_sme_p_reg_t = 12
	HV_SME_P_REG_13 Hv_sme_p_reg_t = 13
	HV_SME_P_REG_14 Hv_sme_p_reg_t = 14
	HV_SME_P_REG_15 Hv_sme_p_reg_t = 15
)

func (Hv_sme_p_reg_t) String

func (e Hv_sme_p_reg_t) String() string

type Hv_sme_z_reg_t

type Hv_sme_z_reg_t int64
const (
	HV_SME_Z_REG_0  Hv_sme_z_reg_t = 0
	HV_SME_Z_REG_1  Hv_sme_z_reg_t = 1
	HV_SME_Z_REG_2  Hv_sme_z_reg_t = 2
	HV_SME_Z_REG_3  Hv_sme_z_reg_t = 3
	HV_SME_Z_REG_4  Hv_sme_z_reg_t = 4
	HV_SME_Z_REG_5  Hv_sme_z_reg_t = 5
	HV_SME_Z_REG_6  Hv_sme_z_reg_t = 6
	HV_SME_Z_REG_7  Hv_sme_z_reg_t = 7
	HV_SME_Z_REG_8  Hv_sme_z_reg_t = 8
	HV_SME_Z_REG_9  Hv_sme_z_reg_t = 9
	HV_SME_Z_REG_10 Hv_sme_z_reg_t = 10
	HV_SME_Z_REG_11 Hv_sme_z_reg_t = 11
	HV_SME_Z_REG_12 Hv_sme_z_reg_t = 12
	HV_SME_Z_REG_13 Hv_sme_z_reg_t = 13
	HV_SME_Z_REG_14 Hv_sme_z_reg_t = 14
	HV_SME_Z_REG_15 Hv_sme_z_reg_t = 15
	HV_SME_Z_REG_16 Hv_sme_z_reg_t = 16
	HV_SME_Z_REG_17 Hv_sme_z_reg_t = 17
	HV_SME_Z_REG_18 Hv_sme_z_reg_t = 18
	HV_SME_Z_REG_19 Hv_sme_z_reg_t = 19
	HV_SME_Z_REG_20 Hv_sme_z_reg_t = 20
	HV_SME_Z_REG_21 Hv_sme_z_reg_t = 21
	HV_SME_Z_REG_22 Hv_sme_z_reg_t = 22
	HV_SME_Z_REG_23 Hv_sme_z_reg_t = 23
	HV_SME_Z_REG_24 Hv_sme_z_reg_t = 24
	HV_SME_Z_REG_25 Hv_sme_z_reg_t = 25
	HV_SME_Z_REG_26 Hv_sme_z_reg_t = 26
	HV_SME_Z_REG_27 Hv_sme_z_reg_t = 27
	HV_SME_Z_REG_28 Hv_sme_z_reg_t = 28
	HV_SME_Z_REG_29 Hv_sme_z_reg_t = 29
	HV_SME_Z_REG_30 Hv_sme_z_reg_t = 30
	HV_SME_Z_REG_31 Hv_sme_z_reg_t = 31
)

func (Hv_sme_z_reg_t) String

func (e Hv_sme_z_reg_t) String() string

type Hv_sys_reg_t

type Hv_sys_reg_t int64

The type of system registers.

const (
	HV_SYS_REG_DBGBVR0_EL1      Hv_sys_reg_t = 32772
	HV_SYS_REG_DBGBCR0_EL1      Hv_sys_reg_t = 32773
	HV_SYS_REG_DBGWVR0_EL1      Hv_sys_reg_t = 32774
	HV_SYS_REG_DBGWCR0_EL1      Hv_sys_reg_t = 32775
	HV_SYS_REG_DBGBVR1_EL1      Hv_sys_reg_t = 32780
	HV_SYS_REG_DBGBCR1_EL1      Hv_sys_reg_t = 32781
	HV_SYS_REG_DBGWVR1_EL1      Hv_sys_reg_t = 32782
	HV_SYS_REG_DBGWCR1_EL1      Hv_sys_reg_t = 32783
	HV_SYS_REG_MDCCINT_EL1      Hv_sys_reg_t = 32784
	HV_SYS_REG_MDSCR_EL1        Hv_sys_reg_t = 32786
	HV_SYS_REG_DBGBVR2_EL1      Hv_sys_reg_t = 32788
	HV_SYS_REG_DBGBCR2_EL1      Hv_sys_reg_t = 32789
	HV_SYS_REG_DBGWVR2_EL1      Hv_sys_reg_t = 32790
	HV_SYS_REG_DBGWCR2_EL1      Hv_sys_reg_t = 32791
	HV_SYS_REG_DBGBVR3_EL1      Hv_sys_reg_t = 32796
	HV_SYS_REG_DBGBCR3_EL1      Hv_sys_reg_t = 32797
	HV_SYS_REG_DBGWVR3_EL1      Hv_sys_reg_t = 32798
	HV_SYS_REG_DBGWCR3_EL1      Hv_sys_reg_t = 32799
	HV_SYS_REG_DBGBVR4_EL1      Hv_sys_reg_t = 32804
	HV_SYS_REG_DBGBCR4_EL1      Hv_sys_reg_t = 32805
	HV_SYS_REG_DBGWVR4_EL1      Hv_sys_reg_t = 32806
	HV_SYS_REG_DBGWCR4_EL1      Hv_sys_reg_t = 32807
	HV_SYS_REG_DBGBVR5_EL1      Hv_sys_reg_t = 32812
	HV_SYS_REG_DBGBCR5_EL1      Hv_sys_reg_t = 32813
	HV_SYS_REG_DBGWVR5_EL1      Hv_sys_reg_t = 32814
	HV_SYS_REG_DBGWCR5_EL1      Hv_sys_reg_t = 32815
	HV_SYS_REG_DBGBVR6_EL1      Hv_sys_reg_t = 32820
	HV_SYS_REG_DBGBCR6_EL1      Hv_sys_reg_t = 32821
	HV_SYS_REG_DBGWVR6_EL1      Hv_sys_reg_t = 32822
	HV_SYS_REG_DBGWCR6_EL1      Hv_sys_reg_t = 32823
	HV_SYS_REG_DBGBVR7_EL1      Hv_sys_reg_t = 32828
	HV_SYS_REG_DBGBCR7_EL1      Hv_sys_reg_t = 32829
	HV_SYS_REG_DBGWVR7_EL1      Hv_sys_reg_t = 32830
	HV_SYS_REG_DBGWCR7_EL1      Hv_sys_reg_t = 32831
	HV_SYS_REG_DBGBVR8_EL1      Hv_sys_reg_t = 32836
	HV_SYS_REG_DBGBCR8_EL1      Hv_sys_reg_t = 32837
	HV_SYS_REG_DBGWVR8_EL1      Hv_sys_reg_t = 32838
	HV_SYS_REG_DBGWCR8_EL1      Hv_sys_reg_t = 32839
	HV_SYS_REG_DBGBVR9_EL1      Hv_sys_reg_t = 32844
	HV_SYS_REG_DBGBCR9_EL1      Hv_sys_reg_t = 32845
	HV_SYS_REG_DBGWVR9_EL1      Hv_sys_reg_t = 32846
	HV_SYS_REG_DBGWCR9_EL1      Hv_sys_reg_t = 32847
	HV_SYS_REG_DBGBVR10_EL1     Hv_sys_reg_t = 32852
	HV_SYS_REG_DBGBCR10_EL1     Hv_sys_reg_t = 32853
	HV_SYS_REG_DBGWVR10_EL1     Hv_sys_reg_t = 32854
	HV_SYS_REG_DBGWCR10_EL1     Hv_sys_reg_t = 32855
	HV_SYS_REG_DBGBVR11_EL1     Hv_sys_reg_t = 32860
	HV_SYS_REG_DBGBCR11_EL1     Hv_sys_reg_t = 32861
	HV_SYS_REG_DBGWVR11_EL1     Hv_sys_reg_t = 32862
	HV_SYS_REG_DBGWCR11_EL1     Hv_sys_reg_t = 32863
	HV_SYS_REG_DBGBVR12_EL1     Hv_sys_reg_t = 32868
	HV_SYS_REG_DBGBCR12_EL1     Hv_sys_reg_t = 32869
	HV_SYS_REG_DBGWVR12_EL1     Hv_sys_reg_t = 32870
	HV_SYS_REG_DBGWCR12_EL1     Hv_sys_reg_t = 32871
	HV_SYS_REG_DBGBVR13_EL1     Hv_sys_reg_t = 32876
	HV_SYS_REG_DBGBCR13_EL1     Hv_sys_reg_t = 32877
	HV_SYS_REG_DBGWVR13_EL1     Hv_sys_reg_t = 32878
	HV_SYS_REG_DBGWCR13_EL1     Hv_sys_reg_t = 32879
	HV_SYS_REG_DBGBVR14_EL1     Hv_sys_reg_t = 32884
	HV_SYS_REG_DBGBCR14_EL1     Hv_sys_reg_t = 32885
	HV_SYS_REG_DBGWVR14_EL1     Hv_sys_reg_t = 32886
	HV_SYS_REG_DBGWCR14_EL1     Hv_sys_reg_t = 32887
	HV_SYS_REG_DBGBVR15_EL1     Hv_sys_reg_t = 32892
	HV_SYS_REG_DBGBCR15_EL1     Hv_sys_reg_t = 32893
	HV_SYS_REG_DBGWVR15_EL1     Hv_sys_reg_t = 32894
	HV_SYS_REG_DBGWCR15_EL1     Hv_sys_reg_t = 32895
	HV_SYS_REG_MIDR_EL1         Hv_sys_reg_t = 49152
	HV_SYS_REG_MPIDR_EL1        Hv_sys_reg_t = 49157
	HV_SYS_REG_ID_AA64PFR0_EL1  Hv_sys_reg_t = 49184
	HV_SYS_REG_ID_AA64PFR1_EL1  Hv_sys_reg_t = 49185
	HV_SYS_REG_ID_AA64ZFR0_EL1  Hv_sys_reg_t = 49188
	HV_SYS_REG_ID_AA64SMFR0_EL1 Hv_sys_reg_t = 49189
	HV_SYS_REG_ID_AA64DFR0_EL1  Hv_sys_reg_t = 49192
	HV_SYS_REG_ID_AA64DFR1_EL1  Hv_sys_reg_t = 49193
	HV_SYS_REG_ID_AA64ISAR0_EL1 Hv_sys_reg_t = 49200
	HV_SYS_REG_ID_AA64ISAR1_EL1 Hv_sys_reg_t = 49201
	HV_SYS_REG_ID_AA64MMFR0_EL1 Hv_sys_reg_t = 49208
	HV_SYS_REG_ID_AA64MMFR1_EL1 Hv_sys_reg_t = 49209
	HV_SYS_REG_ID_AA64MMFR2_EL1 Hv_sys_reg_t = 49210
	HV_SYS_REG_SCTLR_EL1        Hv_sys_reg_t = 49280
	// @abstract The ACTLR_EL1 register @discussion This only allows getting / setting of the ACTLR_EL1.EnTSO bit (index 1). Setting this bit to 1 will cause the vcpu to use a TSO memory model, whereas clearing it will cause the vcpu to use the default ARM64 memory model (weakly ordered loads / stores).
	HV_SYS_REG_ACTLR_EL1      Hv_sys_reg_t = 49281
	HV_SYS_REG_CPACR_EL1      Hv_sys_reg_t = 49282
	HV_SYS_REG_SMPRI_EL1      Hv_sys_reg_t = 49300
	HV_SYS_REG_SMCR_EL1       Hv_sys_reg_t = 49302
	HV_SYS_REG_TTBR0_EL1      Hv_sys_reg_t = 49408
	HV_SYS_REG_TTBR1_EL1      Hv_sys_reg_t = 49409
	HV_SYS_REG_TCR_EL1        Hv_sys_reg_t = 49410
	HV_SYS_REG_APIAKEYLO_EL1  Hv_sys_reg_t = 49416
	HV_SYS_REG_APIAKEYHI_EL1  Hv_sys_reg_t = 49417
	HV_SYS_REG_APIBKEYLO_EL1  Hv_sys_reg_t = 49418
	HV_SYS_REG_APIBKEYHI_EL1  Hv_sys_reg_t = 49419
	HV_SYS_REG_APDAKEYLO_EL1  Hv_sys_reg_t = 49424
	HV_SYS_REG_APDAKEYHI_EL1  Hv_sys_reg_t = 49425
	HV_SYS_REG_APDBKEYLO_EL1  Hv_sys_reg_t = 49426
	HV_SYS_REG_APDBKEYHI_EL1  Hv_sys_reg_t = 49427
	HV_SYS_REG_APGAKEYLO_EL1  Hv_sys_reg_t = 49432
	HV_SYS_REG_APGAKEYHI_EL1  Hv_sys_reg_t = 49433
	HV_SYS_REG_SPSR_EL1       Hv_sys_reg_t = 49664
	HV_SYS_REG_ELR_EL1        Hv_sys_reg_t = 49665
	HV_SYS_REG_SP_EL0         Hv_sys_reg_t = 49672
	HV_SYS_REG_AFSR0_EL1      Hv_sys_reg_t = 49800
	HV_SYS_REG_AFSR1_EL1      Hv_sys_reg_t = 49801
	HV_SYS_REG_ESR_EL1        Hv_sys_reg_t = 49808
	HV_SYS_REG_FAR_EL1        Hv_sys_reg_t = 49920
	HV_SYS_REG_PAR_EL1        Hv_sys_reg_t = 50080
	HV_SYS_REG_MAIR_EL1       Hv_sys_reg_t = 50448
	HV_SYS_REG_AMAIR_EL1      Hv_sys_reg_t = 50456
	HV_SYS_REG_VBAR_EL1       Hv_sys_reg_t = 50688
	HV_SYS_REG_CONTEXTIDR_EL1 Hv_sys_reg_t = 50817
	HV_SYS_REG_TPIDR_EL1      Hv_sys_reg_t = 50820
	HV_SYS_REG_SCXTNUM_EL1    Hv_sys_reg_t = 50823
	HV_SYS_REG_CNTKCTL_EL1    Hv_sys_reg_t = 50952
	HV_SYS_REG_CSSELR_EL1     Hv_sys_reg_t = 53248
	HV_SYS_REG_TPIDR_EL0      Hv_sys_reg_t = 56962
	HV_SYS_REG_TPIDRRO_EL0    Hv_sys_reg_t = 56963
	HV_SYS_REG_TPIDR2_EL0     Hv_sys_reg_t = 56965
	HV_SYS_REG_SCXTNUM_EL0    Hv_sys_reg_t = 56967
	HV_SYS_REG_CNTV_CTL_EL0   Hv_sys_reg_t = 57113
	HV_SYS_REG_CNTV_CVAL_EL0  Hv_sys_reg_t = 57114
	HV_SYS_REG_SP_EL1         Hv_sys_reg_t = 57864
	HV_SYS_REG_CNTP_CTL_EL0   Hv_sys_reg_t = 57105
	HV_SYS_REG_CNTP_CVAL_EL0  Hv_sys_reg_t = 57106
	HV_SYS_REG_CNTP_TVAL_EL0  Hv_sys_reg_t = 57104
	HV_SYS_REG_CNTHCTL_EL2    Hv_sys_reg_t = 59144
	HV_SYS_REG_CNTHP_CTL_EL2  Hv_sys_reg_t = 59153
	HV_SYS_REG_CNTHP_CVAL_EL2 Hv_sys_reg_t = 59154
	HV_SYS_REG_CNTHP_TVAL_EL2 Hv_sys_reg_t = 59152
	HV_SYS_REG_CNTVOFF_EL2    Hv_sys_reg_t = 59139
	HV_SYS_REG_CPTR_EL2       Hv_sys_reg_t = 57482
	HV_SYS_REG_ELR_EL2        Hv_sys_reg_t = 57857
	HV_SYS_REG_ESR_EL2        Hv_sys_reg_t = 58000
	HV_SYS_REG_FAR_EL2        Hv_sys_reg_t = 58112
	HV_SYS_REG_HCR_EL2        Hv_sys_reg_t = 57480
	HV_SYS_REG_HPFAR_EL2      Hv_sys_reg_t = 58116
	HV_SYS_REG_MAIR_EL2       Hv_sys_reg_t = 58640
	HV_SYS_REG_MDCR_EL2       Hv_sys_reg_t = 57481
	HV_SYS_REG_SCTLR_EL2      Hv_sys_reg_t = 57472
	HV_SYS_REG_SPSR_EL2       Hv_sys_reg_t = 57856
	HV_SYS_REG_SP_EL2         Hv_sys_reg_t = 61960
	HV_SYS_REG_TCR_EL2        Hv_sys_reg_t = 57602
	HV_SYS_REG_TPIDR_EL2      Hv_sys_reg_t = 59010
	HV_SYS_REG_TTBR0_EL2      Hv_sys_reg_t = 57600
	HV_SYS_REG_TTBR1_EL2      Hv_sys_reg_t = 57601
	HV_SYS_REG_VBAR_EL2       Hv_sys_reg_t = 58880
	HV_SYS_REG_VMPIDR_EL2     Hv_sys_reg_t = 57349
	HV_SYS_REG_VPIDR_EL2      Hv_sys_reg_t = 57344
	HV_SYS_REG_VTCR_EL2       Hv_sys_reg_t = 57610
	HV_SYS_REG_VTTBR_EL2      Hv_sys_reg_t = 57608
)

func (Hv_sys_reg_t) String

func (e Hv_sys_reg_t) String() string

type Idtype_t

type Idtype_t int64
const (
	P_ALL  Idtype_t = 0
	P_PID  Idtype_t = 1
	P_PGID Idtype_t = 2
)

func (Idtype_t) String

func (e Idtype_t) String() string

type Mpo_flags_t

type Mpo_flags_t int64
const (
	MPO_PORT                            Mpo_flags_t = 0
	MPO_SERVICE_PORT                    Mpo_flags_t = 1024
	MPO_CONNECTION_PORT                 Mpo_flags_t = 2048
	MPO_REPLY_PORT                      Mpo_flags_t = 4096
	MPO_WEAK_REPLY_PORT                 Mpo_flags_t = 16384
	MPO_NOTIFICATION_PORT               Mpo_flags_t = 17408
	MPO_EXCEPTION_PORT                  Mpo_flags_t = 32768
	MPO_CONNECTION_PORT_WITH_PORT_ARRAY Mpo_flags_t = 65536
)

func (Mpo_flags_t) String

func (e Mpo_flags_t) String() string

type OS_hv_gic_config

type OS_hv_gic_config interface {
}

OS_hv_gic_config wraps the ObjC protocol OS_hv_gic_config.

type OS_hv_gic_state

type OS_hv_gic_state interface {
}

OS_hv_gic_state wraps the ObjC protocol OS_hv_gic_state.

type OS_hv_vcpu_config

type OS_hv_vcpu_config interface {
}

OS_hv_vcpu_config wraps the ObjC protocol OS_hv_vcpu_config.

type OS_hv_vm_config

type OS_hv_vm_config interface {
}

OS_hv_vm_config wraps the ObjC protocol OS_hv_vm_config.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL