VmTdExitNull.c

Go to the documentation of this file.

 
#include <Base.h>
#include <Uefi.h>
#include <Library/VmgExitLib.h>
 
EFI_STATUS
EFIAPI
VmTdExitHandleVe (
  IN OUT EFI_EXCEPTION_TYPE  *ExceptionType,
  IN OUT EFI_SYSTEM_CONTEXT  SystemContext
  )
{
  *ExceptionType = VE_EXCEPTION;
 
  return EFI_UNSUPPORTED;
}