linux/drivers/irqchip/+code=ACPI_MADT_GIC_VERSION_NONE
<<
>>
Prefs
Node not found: drivers/irqchip/+code=ACPI_MADT_GIC_VERSION_NONE (v5.15)