Searched refs:dist_id (Results 1 – 1 of 1) sorted by relevance
40 int dist_id; member49 if (iter->dist_id == 0) { in iter_next()50 iter->dist_id++; in iter_next()88 return iter->dist_id > 0 && in end_of_vgic()237 if (iter->dist_id == 0) { in vgic_debug_show()