Symbol: long_trampoline_args
src/system/boot/platform/efi/arch/x86_64/arch_smp_64.cpp
107
long_trampoline_args* args = (long_trampoline_args *)trampolineStack;
src/system/boot/platform/efi/arch/x86_64/arch_smp_64.cpp
74
long_trampoline_args* args = (long_trampoline_args *)trampolineStack;