Constant XTOS_KEEPON_DEBUG_SHIFT 

pub const XTOS_KEEPON_DEBUG_SHIFT: u32 = 12;