UAREA_PCB_OFFSET
return (vaddr_t)((char *)laddr - UAREA_PCB_OFFSET);
#define UAREA_TF_OFFSET (UAREA_PCB_OFFSET - sizeof(struct trapframe))
#ifndef UAREA_PCB_OFFSET
return (vaddr_t)l->l_addr - UAREA_PCB_OFFSET;
l->l_addr = (void *)(addr + UAREA_PCB_OFFSET);