MAX_FRAME
" sizeof(struct trapframe) %d byte\n", MAX_STACK, MAX_FRAME,
t8 = (uint8_t *)((vaddr_t)pcb + PAGE_SIZE - MAX_FRAME);
j = MAX_FRAME - j;
(vaddr_t)pcb + PAGE_SIZE, j, j * 100 / MAX_FRAME,