#! stap -p4

probe scheduler.ctxswitch
{
	printf("%s\n", name)
        printf("prev: pid %d, priority %d, state %d, task_name %s, tid %d\n",
		prev_pid, prev_priority, prevtsk_state,
		prev_task_name, prev_tid)
        printf("next: pid %d, priority %d, state %d, task_name %s, tid %d\n",
		next_pid, next_priority, nexttsk_state,
		next_task_name, next_tid)
}
