Searched refs:array_ref_offset (Results 1 – 1 of 1) sorted by relevance
393 let array_ref_offset = 0x3000; in test_volatile_memory() localVariable411 let arr_ref = m.get_array_ref::<u64>(array_ref_offset, 1).unwrap(); in test_volatile_memory()412 assert!(range_is_clean(s1.bitmap(), array_ref_offset, dirty_len)); in test_volatile_memory()414 assert!(range_is_dirty(s1.bitmap(), array_ref_offset, dirty_len)); in test_volatile_memory()