CTX_MASK
cid_addr & CTX_MASK), BCE_PRINTF("%s(): Invalid CID "
DBRUNIF((cid_addr > MAX_CID_ADDR || ctx_offset & 0x3 || cid_addr & CTX_MASK),