Searched refs:ptab_vaddr (Results 1 – 1 of 1) sorted by relevance
223 void *ptab_vaddr; member657 sc->sc_its_ptab[i].ptab_vaddr = table; in gicv3_its_table_init()1496 table = (uint64_t *)ptable->ptab_vaddr; in its_device_alloc()