BIG_CPI
onyx_images[BIG_CPI][15] &= 0xffffff00;
onyx_images[BIG_CPI][15] |= (0x000000ff&((dtlb_addr) >> 24));
onyx_images[BIG_CPI][16] = (dtlb_addr << 8)&0xffffff00;
onyx_images[BIG_CPI][17] = itlb_addr;
cuda_images[BIG_CPI][16] =
(cuda_images[BIG_CPI][16]&0xffff0000) |
cuda_images[BIG_CPI][17] =
cuda_images[BIG_CPI][18] = (itlb_addr << 16)&0xffff0000;