seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm: Proper error for map_vm_memory_res

Open Furao opened this issue 10 months ago • 0 comments

Currently, if the map_iterator function fails to find a frame for a given address, then it breaks from the loop, but it does not return an error and marks the reservation as mapped. Since it skipped some number of reservations, that is not true and an error should be returned instead.

Furao avatar Apr 18 '24 18:04 Furao