Constant r_efi::system::RT_SUPPORTED_RESET_SYSTEM

pub const RT_SUPPORTED_RESET_SYSTEM: u32 = 0x00000400;