- wrmsrl(MSR_CSTAR, (unsigned long)entry_SYSCALL_compat);Sigh. Above you write it raises #VE, but now it's #GP !?!
+ /*
+ * CSTAR is not needed on Intel because it doesn't support
+ * 32bit SYSCALL, but only SYSENTER. On a TDX guest
+ * it leads to a #GP.
Intel CPUs do not support 32-bit SYSCALL. Writing to MSR_CSTAR
is normaly ignored by the CPU, but raises a #VE trap in a TDX
guest.
Hmm?