block/GICV:
  description: GICV.
  items:
  - name: CTLR
    description: GICV virtual machine control register.
    byte_offset: 0
    fieldset: CTLR
  - name: PMR
    description: GICV VM priority mask register.
    byte_offset: 4
    fieldset: PMR
  - name: BPR
    description: GICV VM binary point register.
    byte_offset: 8
    fieldset: BPR
  - name: IAR
    description: GICV VM interrupt acknowledge register.
    byte_offset: 12
    access: Read
    fieldset: IAR
  - name: EOIR
    description: GICV VM end of interrupt register.
    byte_offset: 16
    access: Write
    fieldset: EOIR
  - name: RPR
    description: GICV VM running priority register.
    byte_offset: 20
    access: Read
    fieldset: RPR
  - name: HPPIR
    description: GICV VM highest priority pending interrupt register.
    byte_offset: 24
    access: Read
    fieldset: HPPIR
  - name: ABPR
    description: GICV VM aliased binary point register.
    byte_offset: 28
    fieldset: ABPR
  - name: AIAR
    description: GICV VM aliased interrupt register.
    byte_offset: 32
    access: Read
    fieldset: AIAR
  - name: AEOIR
    description: GICV VM aliased end of interrupt register.
    byte_offset: 36
    access: Write
    fieldset: AEOIR
  - name: AHPPIR
    description: GICV VM aliased highest priority pending interrupt register.
    byte_offset: 40
    access: Read
    fieldset: AHPPIR
  - name: APR0
    description: The GICV_APR0 is an alias of GICH_APR.
    byte_offset: 208
    fieldset: APR0
  - name: IIDR
    description: The GICV_IIDR is an alias of GICC_IIDR.
    byte_offset: 252
    access: Read
    fieldset: IIDR
  - name: DIR
    description: GICV VM deactivate interrupt register.
    byte_offset: 4096
    access: Write
    fieldset: DIR
fieldset/ABPR:
  description: GICV VM aliased binary point register.
  fields:
  - name: BINARY_POINT
    description: BINARY_POINT.
    bit_offset: 0
    bit_size: 3
fieldset/AEOIR:
  description: GICV VM aliased end of interrupt register.
  fields:
  - name: EOIINTID
    description: EOIINTID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/AHPPIR:
  description: GICV VM aliased highest priority pending interrupt register.
  fields:
  - name: PENDINTID
    description: PENDINTID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/AIAR:
  description: GICV VM aliased interrupt register.
  fields:
  - name: INTERRUPT_ID
    description: INTERRUPT_ID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/APR0:
  description: The GICV_APR0 is an alias of GICH_APR.
  fields:
  - name: APR0
    description: APR0.
    bit_offset: 0
    bit_size: 32
fieldset/BPR:
  description: GICV VM binary point register.
  fields:
  - name: BINARY_POINT
    description: BINARY_POINT.
    bit_offset: 0
    bit_size: 3
fieldset/CTLR:
  description: GICV virtual machine control register.
  fields:
  - name: ENABLEGRP0
    description: ENABLEGRP0.
    bit_offset: 0
    bit_size: 1
  - name: ENABLEGRP1
    description: ENABLEGRP1.
    bit_offset: 1
    bit_size: 1
  - name: ACKCTL
    description: ACKCTL.
    bit_offset: 2
    bit_size: 1
  - name: FIQEN
    description: FIQEN.
    bit_offset: 3
    bit_size: 1
  - name: CBPR
    description: CBPR.
    bit_offset: 4
    bit_size: 1
  - name: EOIMODE
    description: EOIMODE.
    bit_offset: 9
    bit_size: 1
fieldset/DIR:
  description: GICV VM deactivate interrupt register.
  fields:
  - name: INTERRUPT_ID
    description: INTERRUPT_ID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/EOIR:
  description: GICV VM end of interrupt register.
  fields:
  - name: EOIINTID
    description: EOIINTID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/HPPIR:
  description: GICV VM highest priority pending interrupt register.
  fields:
  - name: PENDINTID
    description: PENDINTID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/IAR:
  description: GICV VM interrupt acknowledge register.
  fields:
  - name: INTERRUPT_ID
    description: INTERRUPT_ID.
    bit_offset: 0
    bit_size: 10
  - name: CPUID
    description: CPUID.
    bit_offset: 10
    bit_size: 1
fieldset/IIDR:
  description: The GICV_IIDR is an alias of GICC_IIDR.
  fields:
  - name: IIDR
    description: IIDR.
    bit_offset: 0
    bit_size: 32
fieldset/PMR:
  description: GICV VM priority mask register.
  fields:
  - name: PRIORITY
    description: PRIORITY.
    bit_offset: 3
    bit_size: 5
fieldset/RPR:
  description: GICV VM running priority register.
  fields:
  - name: PRIORITY
    description: PRIORITY.
    bit_offset: 3
    bit_size: 5