sys/dev/pci/drm/include/linux/reboot.h
sys/sys/reboot.h