Files
thead-uboot/include/acpi_s3.h