/* Report the maximum number of pinned breakpoints a task have in this cpu  */
static unsigned int max_task_bp_pinned(int cpu)
/* Report the maximum number of pinned breakpoints a task have in this cpu  */
static unsigned int max_task_bp_pinned(int cpu)
{
	int i;
	unsigned int *tsk_pinned = per_cpu(nr_task_bp_pinned, cpu);
	for (i = HBP_NUM -1; i >= 0; i--) {
		if (tsk_pinned[i] > 0)
			return i + 1;
	}
	return 0;
}