agintc_msi_inv
agintc_msi_inv(li);
void agintc_msi_inv(struct agintc_lpi_info *);
agintc_msi_inv(sc->sc_lpi[irq]);