Searched refs:reserve_deferred_rights_range_at (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h489 vspace_reserve_deferred_rights_range_at_fn reserve_deferred_rights_range_at; member in struct:vspace
771 if (vspace->reserve_deferred_rights_range_at == NULL) {
780 return vspace->reserve_deferred_rights_range_at(vspace, vaddr, bytes, cacheable);
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c82 vspace->reserve_deferred_rights_range_at = sel4utils_reserve_deferred_rights_range_at;

Completed in 26 milliseconds