Searched refs:num_objects (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c26 int cacheable, vka_object_t *objects, int *num_objects)
29 if (!num_objects) {
30 num_objects = &n;
40 *num_objects = 0;
51 objects[*num_objects] = object;
65 (*num_objects)++;
80 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects)
83 cacheable, objects, num_objects);
103 int num_objects; local
106 &num_objects);
24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
79 sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument
[all...]
/seL4-camkes-master/projects/util_libs/libutils/src/
H A Ddebug.c27 int num_objects = MD_BYTES_PER_LINE / word_size; local
30 for (object = 0; object < num_objects; object++) {
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dcapops.h129 * Retype num_objects objects from untyped into type starting from destination slot dest.
133 static inline int vka_untyped_retype(vka_object_t *untyped, int type, int size_bits, int num_objects, argument
138 num_objects);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmapping.h34 * @param num_objects Pointer to both the size of the objects array, and the number of
40 seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects);

Completed in 96 milliseconds