2 X64 #VC Exception Handler functon header file.
4 Copyright (C) 2020, Advanced Micro Devices, Inc. All rights reserved.<BR>
5 SPDX-License-Identifier: BSD-2-Clause-Patent
9 #ifndef __VMG_EXIT_VC_HANDLER_H__
10 #define __VMG_EXIT_VC_HANDLER_H__
14 #include <Library/VmgExitLib.h>
17 Handle a #VC exception.
19 Performs the necessary processing to handle a #VC exception.
21 @param[in, out] Ghcb Pointer to the GHCB
22 @param[in, out] ExceptionType Pointer to an EFI_EXCEPTION_TYPE to be set
23 as value to use on error.
24 @param[in, out] SystemContext Pointer to EFI_SYSTEM_CONTEXT
26 @retval EFI_SUCCESS Exception handled
27 @retval EFI_UNSUPPORTED #VC not supported, (new) exception value to
29 @retval EFI_PROTOCOL_ERROR #VC handling failed, (new) exception value to
35 InternalVmgExitHandleVc (
37 IN OUT EFI_EXCEPTION_TYPE
*ExceptionType
,
38 IN OUT EFI_SYSTEM_CONTEXT SystemContext
42 Routine to allow ASSERT from within #VC.
44 @param[in, out] SevEsData Pointer to the per-CPU data
50 IN OUT SEV_ES_PER_CPU_DATA
*SevEsData