IADR4
(void)CSR_READ_2(sc, IADR4);
val |= CSR_READ_2(sc, IADR4); /* 15:0 */
ee->pev[p][32].ev_count += CSR_READ_2(sc, IADR4); /* ev32 */
ee->pev[p][33].ev_count += CSR_READ_2(sc, IADR4); /* ev33 */
(void)CSR_READ_2(sc, IADR4);
(void)CSR_READ_2(sc, IADR4);
(void)CSR_READ_2(sc, IADR4);