Symbol: gicv3_acpi_match