trampoline         21 kernel/proc.c  extern char trampoline[]; // trampoline.S
trampoline        191 kernel/proc.c                (uint64)trampoline, PTE_R | PTE_X) < 0){
trampoline        533 kernel/proc.c    uint64 trampoline_userret = TRAMPOLINE + (userret - trampoline);
trampoline         12 kernel/trap.c  extern char trampoline[], uservec[];
trampoline        110 kernel/trap.c    uint64 trampoline_uservec = TRAMPOLINE + (uservec - trampoline);
trampoline         18 kernel/vm.c    extern char trampoline[]; // trampoline.S
trampoline         46 kernel/vm.c      kvmmap(kpgtbl, TRAMPOLINE, (uint64)trampoline, PGSIZE, PTE_R | PTE_X);