Searched refs:vspace_maybe_call_allocated_object (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c164 vspace_maybe_call_allocated_object(vspace, objects[i]);
187 vspace_maybe_call_allocated_object(vspace, pagetable);
192 vspace_maybe_call_allocated_object(vspace, pagedir);
197 vspace_maybe_call_allocated_object(vspace, pdpt);
222 vspace_maybe_call_allocated_object(vspace, pts[i]);
H A Dbootstrap.c128 vspace_maybe_call_allocated_object(vspace, objects[i]);
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dvspace.h855 static inline void vspace_maybe_call_allocated_object(vspace_t *vspace, vka_object_t object) function

Completed in 30 milliseconds