double_rq_lock   3504 kernel/sched.c 		double_rq_lock(this_rq, busiest);
double_rq_lock   6014 kernel/sched.c 	double_rq_lock(rq_src, rq_dest);
double_rq_lock   6176 kernel/sched.c 	double_rq_lock(rq_src, rq_dest);