DEBUG_SESSION_REBOOT

Constant DEBUG_SESSION_REBOOT 

pub const DEBUG_SESSION_REBOOT: u32 = 5u32;