KEXEC_TRAMPOLINE
va_trampoline = KEXEC_TRAMPOLINE;
pa = KEXEC_TRAMPOLINE;
return (void *)KEXEC_TRAMPOLINE;
if (avail_start < KEXEC_TRAMPOLINE + PAGE_SIZE)
avail_start = KEXEC_TRAMPOLINE + PAGE_SIZE;