rustmax::libc

Constant LINUX_REBOOT_CMD_RESTART

Source 
pub const LINUX_REBOOT_CMD_RESTART: i32 = 0x01234567; // 19_088_743i32