Symbol: acpi_gtdt_unmap
sys/arch/arm/acpi/acpi_machdep.c
489
acpi_gtdt_unmap();
sys/dev/acpi/acpivar.h
398
void acpi_gtdt_unmap(void);