regread_1
addr = regread_1(sc, regaddr) << 24;
addr |= regread_1(sc, regaddr + 1) << 16;
attr = regread_1(sc, regaddr + 2);
val = regread_1(sc, VLPCI_INT_CTL_REG(int_ctl[i]));
printf("reg 0x83 %02x\n", regread_1(sc, VLPCI_VL_TIM_REG));