linux_dsm_epyc7002/drivers/acpi/arm64
..
gtdt.c
iort.c
Kconfig
Makefile