Constant LINUX_REBOOT_CMD_RESTART 

pub const LINUX_REBOOT_CMD_RESTART: u32 = 19088743;