Lines Matching defs:data
114 static int cspace_alloc(void *data, seL4_CPtr *res)
116 assert(data != NULL);
118 state_t *s = (state_t *)data;
120 int result = v->cspace_alloc(v->data, res);
142 static void cspace_free(void *data, seL4_CPtr slot)
144 assert(data != NULL);
146 state_t *s = (state_t *)data;
156 v->cspace_free(v->data, slot);
162 static void cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res)
164 assert(data != NULL);
166 state_t *s = (state_t *)data;
168 v->cspace_make_path(v->data, slot, res);
207 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type,
210 assert(data != NULL);
212 state_t *s = (state_t *)data;
221 int result = v->utspace_alloc(v->data, dest, type, size_bits, res);
228 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type,
231 assert(data != NULL);
233 state_t *s = (state_t *)data;
236 int result = v->utspace_alloc_maybe_device(v->data, dest, type, size_bits, can_use_dev, res);
243 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type,
246 assert(data != NULL);
248 state_t *s = (state_t *)data;
257 int result = v->utspace_alloc_at(v->data, dest, type, size_bits, paddr, cookie);
288 static void utspace_free(void *data, seL4_Word type, seL4_Word size_bits,
291 assert(data != NULL);
293 state_t *s = (state_t *)data;
299 v->utspace_free(v->data, type, size_bits, target);
330 vka->data = (void *)s;