Constant libc::LINUX_REBOOT_CMD_RESTART

pub const LINUX_REBOOT_CMD_RESTART: c_int = 0x01234567;