[REQUIREMENTS][PATCH v2 0/6] reqs: add Arm GIC requirements

[Mykola Kvach <mykola_kvach@xxxxxxxx>]

This series updates the existing interrupt-management and guest GICv3
requirement groups and adds missing requirement documents for host GICv3,
host ITS/LPI, guest vITS, host GICv4 direct delivery and vGIC direct
delivery.

The interrupt-management change keeps Device Tree primary interrupt-controller
discovery in the common interrupt-management layer.

The guest GICv3 changes keep the document focused on the guest-visible vGICv3,
move register-list scope into SSR descriptions, and document Xen's limited
virtual GICv3 pending-state and active-state MMIO observation model.

The new host GICv3 requirements cover Device Tree based physical GICv3
initialization and interrupt handling. The new host ITS/LPI requirements cover
physical ITS discovery, command handling and LPI state. The new vITS
requirements cover the guest-visible virtual ITS command model.

The GICv4 requirements treat direct delivery as a backend-specific mechanism
used by Xen's virtual interrupt delivery model. Host GICv4 requirements cover
vPE, doorbell and direct-vLPI backend state. vGIC direct-delivery requirements
cover guest-visible direct SGI capability, request control and direct-vSGI
state handling.

Mykola Kvach (6):
  reqs: clarify guest GICv3 virtual register model
  reqs: add host GICv3 requirements
  reqs: drop duplicate GIC version AoU
  reqs: add host ITS/LPI requirements
  reqs: add guest vITS requirements
  reqs: add GICv4 direct-delivery requirements

 .../arm64/gicv3.rst                           |  46 +-
 .../arm64/index.rst                           |   2 +
 .../arm64/its.rst                             | 382 ++++++++++++
 .../arm64/vgic_direct_delivery.rst            | 166 ++++++
 .../physical_resources/arm64/gicv3.rst        | 564 ++++++++++++++++++
 .../physical_resources/arm64/gicv4.rst        | 515 ++++++++++++++++
 .../physical_resources/arm64/index.rst        |   3 +
 .../physical_resources/arm64/its.rst          | 519 ++++++++++++++++
 8 files changed, 2175 insertions(+), 22 deletions(-)
 create mode 100644 
software_safety_reqs/domain_creation_and_runtime/domain_partially_emulated_resources/arm64/its.rst
 create mode 100644 
software_safety_reqs/domain_creation_and_runtime/domain_partially_emulated_resources/arm64/vgic_direct_delivery.rst
 create mode 100644 
software_safety_reqs/domain_creation_and_runtime/physical_resources/arm64/gicv3.rst
 create mode 100644 
software_safety_reqs/domain_creation_and_runtime/physical_resources/arm64/gicv4.rst
 create mode 100644 
software_safety_reqs/domain_creation_and_runtime/physical_resources/arm64/its.rst

-- 
2.43.0