Searched refs:sel4utils_free_reservation_by_vaddr (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c84 vspace->free_reservation_by_vaddr = sel4utils_free_reservation_by_vaddr;
H A Dvspace.c654 void sel4utils_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr) function
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c84 vspace->free_reservation_by_vaddr = sel4utils_free_reservation_by_vaddr;
H A Dvspace.c654 void sel4utils_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr) function
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h454 void sel4utils_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr);
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h454 void sel4utils_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr);

Completed in 38 milliseconds