CCDA_U
(CCDA_U | CCDA_V));
(CCDA_U | CCDA_V));
(CCDA_U | CCDA_V));
(CCDA_U | CCDA_V), 14);
(CCDA_U | CCDA_V), 14);
(CCDA_U | CCDA_V), 14);
db_printf("%08x %c%c ", r & CCDA_TAGADDR_MASK, ON(r, CCDA_U),