stage2: print SVSM region in hex

The SVSM kernel region displayed in the log information can be read much more easily if it is displayed in hexadecimal instead of decimal. Signed-off-by: Jon Lange <[email protected]>
coconut-svsm · Jan 22, 2025 · 85cc0aa · 85cc0aa
1 parent 286ac39
commit 85cc0aa
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/kernel/src/stage2.rs b/kernel/src/stage2.rs
@@ -363,7 +363,11 @@ pub extern "C" fn stage2_main(launch_info: &Stage2LaunchInfo) {
         .find_kernel_region()
         .expect("Failed to find memory region for SVSM kernel");
 
-    log::info!("SVSM memory region: {kernel_region:?}");
+    log::info!(
+        "SVSM memory region: start={:#018x}, end={:#018x}",
+        u64::from(kernel_region.start()),
+        u64::from(kernel_region.end())
+    );
 
     init_valid_bitmap_alloc(kernel_region).expect("Failed to allocate valid-bitmap");