From 85cc0aac06268d071896470afa63f7dbbac6d47c Mon Sep 17 00:00:00 2001 From: Jon Lange Date: Tue, 21 Jan 2025 21:10:36 -0800 Subject: [PATCH] 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 --- kernel/src/stage2.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/kernel/src/stage2.rs b/kernel/src/stage2.rs index 996826398..36cbc7c72 100755 --- 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");