secc
/
seL4_projects_libs
mirror of https://github.com/seL4/seL4_projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix broken internal links 

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
This commit is contained in:
June Andronick 2025-07-09 16:34:50 +02:00 committed by Gerwin Klein
parent 9cdaf8b3e1
commit 366cc9088f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libsel4vm/docs/libsel4vm_guest_memory.md
View File

@ -20,13 +20,13 @@ The user can then further back the reservation with seL4 frames by performing `v
> [`vm_reserve_memory_at(vm, addr, size, fault_callback, cookie)`](#function-vm_reserve_memory_atvm-addr-size-fault_callback-cookie)
> [`vm_reserve_anon_memory(vm, size, fault_callback, cookie, addr)`](#function-vm_reserve_anon_memoryvm-size-fault_callback-cookie-addr)
> [`vm_reserve_anon_memory(vm, size, fault_callback, cookie, addr)`](#function-vm_reserve_anon_memoryvm-size-align-fault_callback-cookie-addr)
> [`vm_free_reserved_memory(vm, reservation)`](#function-vm_free_reserved_memoryvm-reservation)
> [`vm_map_reservation(vm, reservation, map_iterator, cookie)`](#function-vm_map_reservationvm-reservation-map_iterator-cookie)
> [`vm_map_reservation_frames(vm, reservation, frames, num_frames, frame_size_bits)`](#function-vm_map_reservationvm-reservation-frames-num_frames-frame_size_bits)
> [`vm_map_reservation_frames(vm, reservation, frames, num_frames, frame_size_bits)`](#function-vm_map_reservation_framesvm-reservation-frames-num_frames-frame_size_bits)
> [`vm_get_reservation_memory_region(reservation, addr, size)`](#function-vm_get_reservation_memory_regionreservation-addr-size)