diff options
Diffstat (limited to 'OvmfPkg/PlatformPei/Platform.c')
| -rw-r--r-- | OvmfPkg/PlatformPei/Platform.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/OvmfPkg/PlatformPei/Platform.c b/OvmfPkg/PlatformPei/Platform.c index 0763f21fac..6166226481 100644 --- a/OvmfPkg/PlatformPei/Platform.c +++ b/OvmfPkg/PlatformPei/Platform.c @@ -410,7 +410,6 @@ InitializePlatform ( )
{
EFI_PHYSICAL_ADDRESS TopOfMemory;
- UINT32 XenLeaf;
TopOfMemory = 0;
@@ -418,7 +417,7 @@ InitializePlatform ( DebugDumpCmos ();
- XenLeaf = XenDetect ();
+ XenDetect ();
BootModeInitialization ();
@@ -432,7 +431,7 @@ InitializePlatform ( if (mXen) {
DEBUG ((EFI_D_INFO, "Xen was detected\n"));
- InitializeXen (XenLeaf);
+ InitializeXen ();
}
ReserveEmuVariableNvStore ();
|