Constant XTOS_KEEPON_DEBUG_SHIFT

pub const XTOS_KEEPON_DEBUG_SHIFT: u32 = 12;