Searched refs:num_objects (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | mapping.c | 26 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 D | debug.c | 27 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 D | capops.h | 129 * 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 D | mapping.h | 34 * @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