TRAPSTACKSIZE
pcb2->sys_stack_top = pcb2->sys_stack + TRAPSTACKSIZE;
lwp0pcb.sys_stack_top = lwp0pcb.sys_stack + TRAPSTACKSIZE;
uint8_t sys_stack[TRAPSTACKSIZE];
if (TRAPSTACKSIZE < 4*PAGE_SIZE) {