resetspinning    1337 src/pkg/runtime/proc.c 			resetspinning();
resetspinning    1346 src/pkg/runtime/proc.c 		resetspinning();