#include <Protocol/DebugSupport.h>\r
#include <Register/Amd/Ghcb.h>\r
\r
-\r
/**\r
Perform VMGEXIT.\r
\r
UINT64\r
EFIAPI\r
VmgExit (\r
- IN OUT GHCB *Ghcb,\r
- IN UINT64 ExitCode,\r
- IN UINT64 ExitInfo1,\r
- IN UINT64 ExitInfo2\r
+ IN OUT GHCB *Ghcb,\r
+ IN UINT64 ExitCode,\r
+ IN UINT64 ExitInfo1,\r
+ IN UINT64 ExitInfo2\r
);\r
\r
/**\r
VOID\r
EFIAPI\r
VmgInit (\r
- IN OUT GHCB *Ghcb,\r
- IN OUT BOOLEAN *InterruptState\r
+ IN OUT GHCB *Ghcb,\r
+ IN OUT BOOLEAN *InterruptState\r
);\r
\r
/**\r
VOID\r
EFIAPI\r
VmgDone (\r
- IN OUT GHCB *Ghcb,\r
- IN BOOLEAN InterruptState\r
+ IN OUT GHCB *Ghcb,\r
+ IN BOOLEAN InterruptState\r
);\r
\r
/**\r
VOID\r
EFIAPI\r
VmgSetOffsetValid (\r
- IN OUT GHCB *Ghcb,\r
- IN GHCB_REGISTER Offset\r
+ IN OUT GHCB *Ghcb,\r
+ IN GHCB_REGISTER Offset\r
);\r
\r
/**\r
BOOLEAN\r
EFIAPI\r
VmgIsOffsetValid (\r
- IN GHCB *Ghcb,\r
- IN GHCB_REGISTER Offset\r
+ IN GHCB *Ghcb,\r
+ IN GHCB_REGISTER Offset\r
);\r
\r
/**\r