PL310_DEBUG_CTRL
debug_ctrl = pl310_read4(sc, PL310_DEBUG_CTRL);
pl310_write4(sc, PL310_DEBUG_CTRL, val);