Virtual (GPPT) GICv3 creation

[aarkegz]

No description provided.

[Copilot]

Pull Request Overview

This PR adds support for virtual GICv3 (GPPT) devices by extending the device initialization logic and enabling the necessary feature in the GIC crate.

• Introduce new branches in AxVmDevices::init to handle GPPT Redistributor, Distributor, and ITS based on EmuDeviceType
• Import PhysAddr and add a 'static bound on AxEmuDevices
• Enable the vgicv3 feature for the arm_vgic dependency in Cargo.toml

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 3 comments.

File	Description
src/device.rs	Add match arms for GPPTRedistributor, GPPTDistributor, and GPPTITS, plus static bound and PhysAddr import
Cargo.toml	Add features = ["vgicv3"] to the arm_vgic dependency

Comments suppressed due to low confidence (2)

src/device.rs:143

• [nitpick] Add a brief comment above this block explaining the GPPT Redistributor parameters (cpu_num, stride, pcpu_id) and expected behavior for future maintainers.

                EmuDeviceType::GPPTRedistributor => {

src/device.rs:143

• Introduce unit or integration tests covering the new GPPT Redistributor, Distributor, and ITS initialization paths to verify MMIO device setup and logging.

                EmuDeviceType::GPPTRedistributor => {