fixup! snapshot: handle the scratch region correctly

syntactically · syntactically · commit 638bcb7b4981 · 2026-01-29T15:13:38.000Z
Fix bug that resulted in the first page of scratch memory being
unconditionally copied into the snapshot.

Signed-off-by: Lucy Menon &lt;168595099+syntactically@users.noreply.github.com&gt;
diff --git a/src/hyperlight_host/src/sandbox/snapshot.rs b/src/hyperlight_host/src/sandbox/snapshot.rs
@@ -273,7 +273,7 @@ fn filtered_mappings<'a>(
     }
     .filter_map(move |(gva, gpa, bm)| {
         // the scratch map doesn't count
-        if gva > scratch_base_gva(scratch_size) {
+        if gva >= scratch_base_gva(scratch_size) {
             return None;
         }
         // neither does the mapping of the snapshot's own page tables

Original file line number	Diff line number	Diff line change
`@@ -273,7 +273,7 @@ fn filtered_mappings<'a>(`
`273`	`273`	`}`
`274`	`274`	`.filter_map(move \|(gva, gpa, bm)\| {`
`275`	`275`	`// the scratch map doesn't count`
`276`		`- if gva > scratch_base_gva(scratch_size) {`
	`276`	`+ if gva >= scratch_base_gva(scratch_size) {`
`277`	`277`	`return None;`
`278`	`278`	`}`
`279`	`279`	`// neither does the mapping of the snapshot's own page tables`