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