Symbol: la57_trampoline
sys/amd64/amd64/pmap.c
1733
extern const char la57_trampoline[];
sys/amd64/amd64/pmap.c
1757
la57_tramp = (void (*)(uint64_t))((uintptr_t)la57_trampoline -