|
@@ -1184,7 +1184,7 @@ void syscall_init(void)
|
|
|
wrmsrl_safe(MSR_IA32_SYSENTER_EIP, (u64)ia32_sysenter_target);
|
|
|
#else
|
|
|
wrmsrl(MSR_CSTAR, ignore_sysret);
|
|
|
- wrmsrl_safe(MSR_IA32_SYSENTER_CS, 0);
|
|
|
+ wrmsrl_safe(MSR_IA32_SYSENTER_CS, 0ULL);
|
|
|
wrmsrl_safe(MSR_IA32_SYSENTER_ESP, 0ULL);
|
|
|
wrmsrl_safe(MSR_IA32_SYSENTER_EIP, 0ULL);
|
|
|
#endif
|