--- /dev/null
+/** @file\r
+ SMBASE relocation for hot-plugged CPUs.\r
+\r
+ Copyright (c) 2020, Red Hat, Inc.\r
+\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
+**/\r
+\r
+#ifndef SMBASE_H_\r
+#define SMBASE_H_\r
+\r
+#include <Uefi/UefiBaseType.h> // EFI_STATUS\r
+#include <Uefi/UefiSpec.h> // EFI_BOOT_SERVICES\r
+\r
+EFI_STATUS\r
+SmbaseAllocatePostSmmPen (\r
+ OUT UINT32 *PenAddress,\r
+ IN CONST EFI_BOOT_SERVICES *BootServices\r
+ );\r
+\r
+VOID\r
+SmbaseReinstallPostSmmPen (\r
+ IN UINT32 PenAddress\r
+ );\r
+\r
+VOID\r
+SmbaseReleasePostSmmPen (\r
+ IN UINT32 PenAddress,\r
+ IN CONST EFI_BOOT_SERVICES *BootServices\r
+ );\r
+\r
+#endif // SMBASE_H_\r