CCA_TAGADDR_MASK
_reg_write_4(cca, va & CCA_TAGADDR_MASK);
db_printf("%08x %c%c ", r & CCA_TAGADDR_MASK,