| ;------------------------------------------------------------------------------ | |
| ; | |
| ; Copyright (C) 2024, Advanced Micro Devices, Inc. All rights reserved.<BR> | |
| ; SPDX-License-Identifier: BSD-2-Clause-Patent | |
| ; | |
| ; Module Name: | |
| ; | |
| ; VmgExitSvsm.Asm | |
| ; | |
| ; Abstract: | |
| ; | |
| ; AsmVmgExitSvsm function | |
| ; | |
| ; Notes: | |
| ; | |
| ;------------------------------------------------------------------------------ | |
| DEFAULT REL | |
| SECTION .text | |
| ;------------------------------------------------------------------------------ | |
| ; UINT32 | |
| ; EFIAPI | |
| ; AsmVmgExitSvsm ( | |
| ; SVSM_CALL_DATA *SvsmCallData | |
| ; ); | |
| ;------------------------------------------------------------------------------ | |
| global ASM_PFX(AsmVmgExitSvsm) | |
| ASM_PFX(AsmVmgExitSvsm): | |
| ; | |
| ; NASM doesn't support the vmmcall instruction in 32-bit mode and NASM versions | |
| ; before 2.12 cannot translate the 64-bit "rep vmmcall" instruction into elf32 | |
| ; format. Given that VMGEXIT does not make sense on IA32, provide a stub | |
| ; implementation that is identical to CpuBreakpoint(). In practice, | |
| ; AsmVmgExitSvsm() should never be called on IA32. | |
| ; | |
| int 3 | |
| ret | |