Constant LINUX_REBOOT_CMD_HALT 

pub const LINUX_REBOOT_CMD_HALT: c_int = 0xCDEF0123;