Searched refs:dist_id (Results 1 – 1 of 1) sorted by relevance
18 * zero for each field and move upwards. So, if dist_id is 0 we print the19 * distributor info. When dist_id is 1, we have already printed it and move29 int dist_id; member 39 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()