acpi: Support writing an integer
[platform/kernel/u-boot.git] / include / acpi /
drwxr-xr-x   ..
-rw-r--r-- 9725 acpi_device.h
-rw-r--r-- 2945 acpi_s3.h
-rw-r--r-- 14674 acpi_table.h
-rw-r--r-- 4123 acpigen.h