clext_reg_read
((clext_reg_read(pcic, i,
static int clext_reg_read(pcicdev_t *, int, uchar_t);
value = clext_reg_read(pcic, socket, cxregs[i].off);
if ((clext_reg_read(pcic, 0, PCIC_CLEXT_MISC_CTL_3) &
value1 = clext_reg_read(pcic, 0, PCIC_CLEXT_DMASK_0);
value1 = clext_reg_read(pcic, 0, PCIC_CLEXT_SCRATCH);