Searched refs:its_socket (Results 1 – 2 of 2) sorted by relevance
236 uint32_t its_socket; /* Socket number ITS is attached to */ member
194 sc->its_socket = 0; in gic_v3_its_attach()577 if (sc->its_socket != CPU_CURRENT_SOCKET) in its_init_cpu()