EFI_STATUS\r
EbcExecute (\r
IN VM_CONTEXT *VmPtr\r
- )\r
-;\r
+ );\r
\r
\r
\r
UINT64\r
GetVmVersion (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/**\r
Writes UINTN data to memory address.\r
IN VM_CONTEXT *VmPtr,\r
IN UINTN Addr,\r
IN UINTN Data\r
- )\r
-;\r
+ );\r
\r
/**\r
Writes 64-bit data to memory address.\r
**/\r
EFI_STATUS\r
VmWriteMem64 (\r
- IN VM_CONTEXT *VmPtr,\r
- UINTN Addr,\r
- IN UINT64 Data\r
- )\r
-;\r
+ IN VM_CONTEXT *VmPtr,\r
+ IN UINTN Addr,\r
+ IN UINT64 Data\r
+ );\r
\r
//\r
// Define a protocol for an EBC VM test interface.\r
IN EFI_EBC_VM_TEST_PROTOCOL *This,\r
IN VM_CONTEXT *VmPtr,\r
IN OUT UINTN *InstructionCount\r
- )\r
-;\r
+ );\r
\r
#endif // ifndef _EBC_EXECUTE_H_\r