Format entry register values as 64-bit hex.
Bug: 223166344
Test: atest vmbase_example.integration_test
Change-Id: Ic0f0f02de570d60eaff877455a1c111f4fd8fb20
diff --git a/vmbase/example/src/main.rs b/vmbase/example/src/main.rs
index 39320fd..3a1de08 100644
--- a/vmbase/example/src/main.rs
+++ b/vmbase/example/src/main.rs
@@ -50,7 +50,7 @@
/// Entry point for VM bootloader.
pub fn main(arg0: u64, arg1: u64, arg2: u64, arg3: u64) {
println!("Hello world");
- println!("x0={:#010x}, x1={:#010x}, x2={:#010x}, x3={:#010x}", arg0, arg1, arg2, arg3);
+ println!("x0={:#018x}, x1={:#018x}, x2={:#018x}, x3={:#018x}", arg0, arg1, arg2, arg3);
print_addresses();
unsafe {
assert_eq!(arg0, &dtb_begin as *const u8 as u64);