Fix - Gapped memory `vm_addr_end` #472

Lichtso · 2023-06-16T09:24:23Z

No description provided.

alessandrod

This looks good. When we pull it in the monorepo we need to check if we're manually doing region.vm_addr + region.len anywhere

Lichtso force-pushed the fix/gapped_memory_vm_addr_end branch from 746609f to 0732394 Compare June 16, 2023 12:29

Lichtso requested a review from alessandrod June 16, 2023 12:30

alessandrod approved these changes Jun 16, 2023

View reviewed changes

Lichtso force-pushed the fix/gapped_memory_vm_addr_end branch from 4daefbd to e265305 Compare June 20, 2023 11:40

Lichtso added 3 commits June 20, 2023 12:41

Adds test_gapped_map.

51a7f26

Fixes vm_addr_end to be double the length if region is gapped.

4ef0c2a

Adds missing break statement in slow path while loop.

a88f274

Lichtso force-pushed the fix/gapped_memory_vm_addr_end branch from e265305 to a88f274 Compare June 20, 2023 11:42

Lichtso merged commit 8569f7e into main Jun 20, 2023

Lichtso deleted the fix/gapped_memory_vm_addr_end branch June 20, 2023 14:39

Provide feedback