task_bp_pinned
int max_pinned = task_bp_pinned(-1, bp, type);
nr += task_bp_pinned(cpu, bp, type);
next_tsk_pinned = task_bp_pinned(-1, bp, type);
next_tsk_pinned = task_bp_pinned(cpu, bp, type);