/* This function may only be called from the entry point function of the driver, on the error path. */
VOID SmbaseReleasePostSmmPen(IN UINT32 PenAddress, IN CONST EFI_BOOT_SERVICES *BootServices)
/* This function may only be called from the entry point function of the driver, on the error path. */
VOID SmbaseReleasePostSmmPen(IN UINT32 PenAddress, IN CONST EFI_BOOT_SERVICES *BootServices)
{
  BootServices->FreePages (PenAddress, 1);
}