Constant DEVICE_RESET_KEEP_STACK 

pub const DEVICE_RESET_KEEP_STACK: u32 = 4u32;