linux_old1/include/acpi/reboot.h