CCIA_TAGADDR_MASK
_reg_write_4(ccia, va & CCIA_TAGADDR_MASK); /* V = 0 */
db_printf("%08x _%c ", r & CCIA_TAGADDR_MASK, ON(r, CCIA_V));