OpenCloudOS-Kernel/include/acpi/reboot.h