extract_dc
res = extract_dc(cerr_dpa & SB1_CACHE_INDEX_MASK,
res = extract_dc(cerr_d & SB1_CACHE_INDEX_MASK,
static uint32_t extract_dc(unsigned short addr, int data);