pub const DCSR_HALT: u32 = 8;