|
@@ -128,7 +128,7 @@ ident_complete:
|
|
|
/* Fixup phys_base */
|
|
/* Fixup phys_base */
|
|
|
addq %rbp, phys_base(%rip)
|
|
addq %rbp, phys_base(%rip)
|
|
|
|
|
|
|
|
-#ifdef CONFIG_SMP
|
|
|
|
|
|
|
+#ifdef CONFIG_X86_TRAMPOLINE
|
|
|
addq %rbp, trampoline_level4_pgt + 0(%rip)
|
|
addq %rbp, trampoline_level4_pgt + 0(%rip)
|
|
|
addq %rbp, trampoline_level4_pgt + (511*8)(%rip)
|
|
addq %rbp, trampoline_level4_pgt + (511*8)(%rip)
|
|
|
#endif
|
|
#endif
|