Searched refs:dist_id (Results 1 – 1 of 1) sorted by relevance
28 int dist_id; member37 if (iter->dist_id == 0) { in iter_next()38 iter->dist_id++; in iter_next()96 return iter->dist_id > 0 && in end_of_vgic()242 if (iter->dist_id == 0) { in vgic_debug_show()