window_reset      480 kernel/sched/psi.c 		window_reset(win, now, value, growth);
window_reset      496 kernel/sched/psi.c 		window_reset(&t->win, now,
window_reset     1044 kernel/sched/psi.c 	window_reset(&t->win, 0, 0, 0);