commit 06cba036c276bcc9769f90a0dbf82c6f971d5178
author Andrew Walbran <qwandor@google.com> Thu May 05 15:49:53 2022 +0000
committer Andrew Walbran <qwandor@google.com> Wed Jun 29 13:04:48 2022 +0000
tree 8503f84575a343f16fdc71fcb00a8f8be299452c
parent 135645415e9748f2cc662a0e347f84439ffd9845

Check that DTB address is as expected.

Bug: 223166344
Test: atest vmbase_example.integration_test
Change-Id: I6c9f1a0394448d933cc350333b8714ff542e7d04

vmbase/example/src/main.rs

diff --git a/vmbase/example/src/main.rs b/vmbase/example/src/main.rs
index 99aca1d..39320fd 100644
--- a/vmbase/example/src/main.rs
+++ b/vmbase/example/src/main.rs
@@ -52,6 +52,9 @@
     println!("Hello world");
     println!("x0={:#010x}, x1={:#010x}, x2={:#010x}, x3={:#010x}", arg0, arg1, arg2, arg3);
     print_addresses();
+    unsafe {
+        assert_eq!(arg0, &dtb_begin as *const u8 as u64);
+    }
     check_data();
 
     unsafe {