#include <Library/UefiRuntimeLib.h> // EfiGoneVirtual()\r
#include <OvmfPlatforms.h> // PIIX4_PMBA_VALUE\r
\r
-static UINTN MicrovmGedBase (VOID)\r
+static UINTN\r
+MicrovmGedBase (\r
+ VOID\r
+ )\r
{\r
- VOID *Address = (VOID*)(UINTN) MICROVM_GED_MMIO_BASE_REGS;\r
+ VOID *Address = (VOID *)(UINTN)MICROVM_GED_MMIO_BASE_REGS;\r
\r
if (EfiGoneVirtual ()) {\r
EfiConvertPointer (0, &Address);\r
DEBUG ((DEBUG_INFO, "%a: physical -> 0x%x\n", __FUNCTION__, Address));\r
}\r
\r
- return (UINTN) Address;\r
+ return (UINTN)Address;\r
}\r
\r
-static VOID MicrovmReset (VOID)\r
+static VOID\r
+MicrovmReset (\r
+ VOID\r
+ )\r
{\r
- UINTN Address = MicrovmGedBase();\r
+ UINTN Address = MicrovmGedBase ();\r
\r
DEBUG ((DEBUG_INFO, "%a: microvm reset via ged\n", __FUNCTION__));\r
- MmioWrite8 (Address + MICROVM_ACPI_GED_REG_RESET,\r
- MICROVM_ACPI_GED_RESET_VALUE);\r
+ MmioWrite8 (\r
+ Address + MICROVM_ACPI_GED_REG_RESET,\r
+ MICROVM_ACPI_GED_RESET_VALUE\r
+ );\r
CpuDeadLoop ();\r
}\r
\r
-static VOID MicrovmShutdown (VOID)\r
+static VOID\r
+MicrovmShutdown (\r
+ VOID\r
+ )\r
{\r
- UINTN Address = MicrovmGedBase();\r
+ UINTN Address = MicrovmGedBase ();\r
\r
DEBUG ((DEBUG_INFO, "%a: microvm poweroff via ged\n", __FUNCTION__));\r
- MmioWrite8 (Address + MICROVM_ACPI_GED_REG_SLEEP_CTL,\r
- (1 << 5) /* enable bit */ |\r
- (5 << 2) /* typ == S5 */);\r
+ MmioWrite8 (\r
+ Address + MICROVM_ACPI_GED_REG_SLEEP_CTL,\r
+ (1 << 5) /* enable bit */ |\r
+ (5 << 2) /* typ == S5 */\r
+ );\r
CpuDeadLoop ();\r
}\r
\r
-VOID EFIAPI ResetCold (VOID)\r
+VOID EFIAPI\r
+ResetCold (\r
+ VOID\r
+ )\r
{\r
- MicrovmReset();\r
+ MicrovmReset ();\r
}\r
\r
-VOID EFIAPI ResetWarm (VOID)\r
+VOID EFIAPI\r
+ResetWarm (\r
+ VOID\r
+ )\r
{\r
- MicrovmReset();\r
+ MicrovmReset ();\r
}\r
\r
VOID\r
EFIAPI\r
ResetPlatformSpecific (\r
- IN UINTN DataSize,\r
- IN VOID *ResetData\r
+ IN UINTN DataSize,\r
+ IN VOID *ResetData\r
)\r
{\r
- MicrovmReset();\r
+ MicrovmReset ();\r
}\r
\r
VOID\r
EFIAPI\r
ResetSystem (\r
- IN EFI_RESET_TYPE ResetType,\r
- IN EFI_STATUS ResetStatus,\r
- IN UINTN DataSize,\r
- IN VOID *ResetData OPTIONAL\r
+ IN EFI_RESET_TYPE ResetType,\r
+ IN EFI_STATUS ResetStatus,\r
+ IN UINTN DataSize,\r
+ IN VOID *ResetData OPTIONAL\r
)\r
{\r
- MicrovmReset();\r
+ MicrovmReset ();\r
}\r
\r
-VOID EFIAPI ResetShutdown (VOID)\r
+VOID EFIAPI\r
+ResetShutdown (\r
+ VOID\r
+ )\r
{\r
- MicrovmShutdown();\r
+ MicrovmShutdown ();\r
}\r