d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Allow the GICv3 ACPI driver to attach to a GICv4

Browse Source 
The same driver works on both, allow the driver to attach to a GICv4
controller with the ACPI attachment.

Reported by:	Andrey Fesenko <f0andrey_gmail.com>
Sponsored by:	Innovate UK
This commit is contained in:
Andrew Turner 2020-11-17 10:17:18 +00:00
parent bd4bcd14e3
commit a56b066600
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=367754
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
sys/arm64/arm64/gic_v3_acpi.c
View File

@ -168,9 +168,15 @@ gic_v3_acpi_identify(driver_t *driver, device_t parent)
"No gic interrupt or distributor table\n");
goto out;
}
/* This is for the wrong GIC version */
if (madt_data.dist->Version != ACPI_MADT_GIC_VERSION_V3)
/* Check the GIC version is supported by thiss driver */
switch(madt_data.dist->Version) {
case ACPI_MADT_GIC_VERSION_V3:
case ACPI_MADT_GIC_VERSION_V4:
break;
default:
goto out;
}
dev = BUS_ADD_CHILD(parent, BUS_PASS_INTERRUPT + BUS_PASS_ORDER_MIDDLE,
"gic", -1);
@ -199,6 +205,7 @@ gic_v3_acpi_probe(device_t dev)
switch((uintptr_t)acpi_get_private(dev)) {
case ACPI_MADT_GIC_VERSION_V3:
case ACPI_MADT_GIC_VERSION_V4:
break;
default:
return (ENXIO);