Searched refs:dist_id (Results 1 – 1 of 1) sorted by relevance
29 int dist_id; member39 if (iter->dist_id == 0) { in iter_next()40 iter->dist_id++; in iter_next()113 return iter->dist_id > 0 && in end_of_vgic()275 if (iter->dist_id == 0) { in vgic_debug_show()