Crate arm_gic_driver 

ARM GIC Driver

A driver for the ARM Generic Interrupt Controller (GIC).

Platform Support

This driver is designed for ARM AArch64 systems and provides:

• GICv2 support: Available on both 32-bit and 64-bit ARM platforms
• GICv3 support: Only available on 64-bit ARM (AArch64) platforms
• System Register access: Only available on AArch64 platforms

Platform-Specific Modules

• The v3 module is only available on AArch64 (target_arch = "aarch64")

If you’re working on a non-ARM platform, most of this driver’s functionality will not be available at compile time.

Modules

sys_reg

v2

v3

Structs

IntId

An interrupt identifier (INTID) for the GIC.

VirtAddr

Virtual address wrapper for memory-mapped register access.

Functions

fdt_parse_irq_config

Parse interrupt configuration from device tree interrupt specifier.