uservec            12 kernel/trap.c  extern char trampoline[], uservec[];
uservec           110 kernel/trap.c    uint64 trampoline_uservec = TRAMPOLINE + (uservec - trampoline);