usagi/kernel/linux24/drivers/acpi/include/platform
