highest_core_id   414 drivers/staging/kpc2000/kpc2000/cell_probe.c 	unsigned int highest_core_id = 0;
highest_core_id   428 drivers/staging/kpc2000/kpc2000/cell_probe.c 		if (cte.type > highest_core_id)
highest_core_id   429 drivers/staging/kpc2000/kpc2000/cell_probe.c 			highest_core_id = cte.type;
highest_core_id   434 drivers/staging/kpc2000/kpc2000/cell_probe.c 	for (current_type_id = 1 ; current_type_id <= highest_core_id ; current_type_id++) {