probe kernel.mark("kernel_sched_schedule") { 
	printf("kernel_sched_schedule: pid %d\n", $arg1) 
}