define show_current
set $thread_info = ((int)$sp) &0xffffe000
set $current_task = (((struct thread_info *)($thread_info))->task)
printf "current = %08x\n", (int)$current_task
printf "current pid = %d\n", (int)($current_task->pid)
printf "current mm = %08x\n", (int)($current_task->mm)
end