Searched refs:dist_id (Results 1 – 1 of 1) sorted by relevance
29 int dist_id; member38 if (iter->dist_id == 0) { in iter_next()39 iter->dist_id++; in iter_next()77 return iter->dist_id > 0 && in end_of_vgic()238 if (iter->dist_id == 0) { in vgic_debug_show()