diff options
Diffstat (limited to 'UefiCpuPkg/Include/Library/VmgExitLib.h')
| -rw-r--r-- | UefiCpuPkg/Include/Library/VmgExitLib.h | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/UefiCpuPkg/Include/Library/VmgExitLib.h b/UefiCpuPkg/Include/Library/VmgExitLib.h index 061948cf84..ebda1c3d90 100644 --- a/UefiCpuPkg/Include/Library/VmgExitLib.h +++ b/UefiCpuPkg/Include/Library/VmgExitLib.h @@ -15,7 +15,6 @@ #include <Protocol/DebugSupport.h>
#include <Register/Amd/Ghcb.h>
-
/**
Perform VMGEXIT.
@@ -38,10 +37,10 @@ UINT64
EFIAPI
VmgExit (
- IN OUT GHCB *Ghcb,
- IN UINT64 ExitCode,
- IN UINT64 ExitInfo1,
- IN UINT64 ExitInfo2
+ IN OUT GHCB *Ghcb,
+ IN UINT64 ExitCode,
+ IN UINT64 ExitInfo1,
+ IN UINT64 ExitInfo2
);
/**
@@ -58,8 +57,8 @@ VmgExit ( VOID
EFIAPI
VmgInit (
- IN OUT GHCB *Ghcb,
- IN OUT BOOLEAN *InterruptState
+ IN OUT GHCB *Ghcb,
+ IN OUT BOOLEAN *InterruptState
);
/**
@@ -76,8 +75,8 @@ VmgInit ( VOID
EFIAPI
VmgDone (
- IN OUT GHCB *Ghcb,
- IN BOOLEAN InterruptState
+ IN OUT GHCB *Ghcb,
+ IN BOOLEAN InterruptState
);
/**
@@ -93,8 +92,8 @@ VmgDone ( VOID
EFIAPI
VmgSetOffsetValid (
- IN OUT GHCB *Ghcb,
- IN GHCB_REGISTER Offset
+ IN OUT GHCB *Ghcb,
+ IN GHCB_REGISTER Offset
);
/**
@@ -113,8 +112,8 @@ VmgSetOffsetValid ( BOOLEAN
EFIAPI
VmgIsOffsetValid (
- IN GHCB *Ghcb,
- IN GHCB_REGISTER Offset
+ IN GHCB *Ghcb,
+ IN GHCB_REGISTER Offset
);
/**
|