Symbol: acpi_agdi_init
drivers/acpi/arm64/init.c
8
acpi_agdi_init();
drivers/acpi/arm64/init.h
4
void __init acpi_agdi_init(void);