linux/Documentation/arm64
..
acpi_object_usage.txt
arm-acpi.txt
booting.txt
legacy_instructions.txt
memory.txt
tagged-pointers.txt