Re: [PATCH 1/3] x86/sev-es: Introduce from_syscall_gap() helper