pub const CP15_PCR_RESERVED_MASK: u32 = 4095u32;