root/drivers/acpi/arm64/

1. gtdt.c
2. iort.c