Searched refs:sc_dev_table_idx (Results 1 – 1 of 1) sorted by relevance
261 int sc_dev_table_idx; member565 if (sc->sc_dev_table_idx != -1) in gicv3_its_table_init()569 sc->sc_dev_table_idx = i; in gicv3_its_table_init()1010 sc->sc_dev_table_idx = -1; in gicv3_its_attach()1347 if (sc->sc_dev_table_idx < 0) { in its_device_alloc()1360 ptable = &sc->sc_its_ptab[sc->sc_dev_table_idx]; in its_device_alloc()