R3_FNC
} while ((tmp & R3_FNC) == 0);
sc->int_stat2 &= ~R3_FNC;
} while ((sc->int_stat2 & R3_FNC) == 0);
sc->int_stat2 &= ~R3_FNC;
if ((tmp & R3_FNC) == 0) {
sc->int_stat2 &= ~R3_FNC;
} while ((sc->int_stat2 & R3_FNC) == 0);
sc->int_stat2 &= ~R3_FNC;
if ((sc->int_stat2 & R3_FNC) == 0)
sc->int_stat2 &= ~R3_FNC;
while ((sc->int_stat2 & R3_FNC) == 0) {
sc->int_stat2 &= ~R3_FNC;
sc->int_stat2 &= ~R3_FNC;
sc->int_stat2 &= ~R3_FNC; /* XXXXXXXX */