xen/arch/x86/slaunch.c: Map the TPM event log after TXT regions

Map the TPM event log after the TXT regions are mapped to avoid
an early page fault when booting with slaunch.

Signed-off-by: Michał Żygowski <michal.zygowski@3mdeb.com>

diff --git a/xen/arch/x86/slaunch.c b/xen/arch/x86/slaunch.c
index 3a6e2f19a8a1d6d0ea057cfb0bae39cc33551b3a..e618181a60213e80445c02ffdfa713436a4d2ce9 100644 (file)
--- a/xen/arch/x86/slaunch.c
+++ b/xen/arch/x86/slaunch.c
@@ -72,8 +72,8 @@ void __init map_slaunch_mem_regions(void)
     }
 
     find_evt_log(__va(slaunch_slrt), &evt_log_addr, &evt_log_size);
-    map_l2((unsigned long)evt_log_addr, evt_log_size);
-
+    if ( evt_log_addr != NULL )
+        map_l2((unsigned long)evt_log_addr, evt_log_size);
 }
 
 void __init protect_slaunch_mem_regions(void)