adding kernel locks. sched_yield seems OK.
curenv是不是NULL真是巨坑。还好我cprintf找出毛病了。
Why when defined(DEBUG_SPINLOCK) cprintf will page fault?