linux-uconsole/include/acpi/reboot.h