trampoline         21 kernel/proc.c  extern char trampoline[]; // trampoline.S
trampoline        189 kernel/proc.c    if (mappages(pagetable, TRAMPOLINE, PGSIZE, (uint64)trampoline,
trampoline        541 kernel/proc.c    uint64 trampoline_userret = TRAMPOLINE + (userret - trampoline);
trampoline         12 kernel/trap.c  extern char trampoline[], uservec[];
trampoline        111 kernel/trap.c    uint64 trampoline_uservec = TRAMPOLINE + (uservec - trampoline);
trampoline         18 kernel/vm.c    extern char trampoline[]; // trampoline.S
trampoline         47 kernel/vm.c      kvmmap(kpgtbl, TRAMPOLINE, (uint64)trampoline, PGSIZE, PTE_R | PTE_X);