orf              6234 kernel/sched/core.c 	struct rq_flags orf = *rf;
orf              6294 kernel/sched/core.c 			*rf = orf;