diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c index 2592f7b46694..e4536dd1a91d 100644 --- a/arch/x86/kernel/reboot.c +++ b/arch/x86/kernel/reboot.c @@ -119,11 +119,11 @@ void __noreturn machine_real_restart(unsigned int type) /* Jump to the identity-mapped low memory code */ #ifdef CONFIG_X86_32 - asm volatile(ANNOTATE_RETPOLINE_SAFE "jmpl *%0" : : + asm volatile("jmpl *%0" : : "rm" (real_mode_header->machine_real_restart_asm), "a" (type)); #else - asm volatile(ANNOTATE_RETPOLINE_SAFE "ljmpl *%0" : : + asm volatile("ljmpl *%0" : : "m" (real_mode_header->machine_real_restart_asm), "D" (type)); #endif