VLPCI_INT_CTL_REG
val = regread_1(sc, VLPCI_INT_CTL_REG(int_ctl[i]));
regwrite_1(sc, VLPCI_INT_CTL_REG(int_ctl[i]), val);