Files
linux/include/acpi/platform