Lines Matching refs:error
30 int error;
31 error = allocman_cspace_alloc(alloc, &frame_path);
32 if (error) {
34 return error;
36 frame_cookie = allocman_utspace_alloc(alloc, seL4_PageBits, seL4_ARCH_4KPage, &frame_path, true, &error);
37 if (error) {
40 return error;
42 while ((error = seL4_ARCH_Page_Map(frame_path.capPtr, pd, (seL4_Word) vaddr, seL4_AllRights,
45 error = allocman_cspace_alloc(alloc, &path);
46 if (error) {
52 error = vspace_get_map_obj(failed_bits, &obj);
53 assert(error == 0);
55 seL4_Word cookie = allocman_utspace_alloc(alloc, obj.size_bits, obj.type, &path, false, &error);
56 if (error) {
61 error = vspace_map_obj(&obj, path.capPtr, pd, (seL4_Word) vaddr, seL4_ARCH_Default_VMAttributes);
62 if (error != seL4_NoError) {
68 if (error != seL4_NoError) {
71 return error;
90 int error;
91 error = _add_page(virtual_pool->morecore_alloc, virtual_pool->pd, virtual_pool->pool_top);
92 if (error) {
113 void *_mspace_virtual_pool_alloc(struct allocman *alloc, void *_virtual_pool, size_t bytes, int *error)
120 SET_ERROR(error, (ret == NULL) ? 1 : 0);