/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | err.h | 9 * scheme where we can return either an error code or a dentry 13 * error and pointer decisions. 21 static inline void *ERR_PTR(long error) argument 23 return (void *) error; 37 * ERR_CAST - Explicitly cast an error-valued pointer to another pointer type 40 * Explicitly cast an error-valued pointer to another pointer type in such a
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | err.h | 11 * scheme where we can return either an error code or a dentry 15 * error and pointer decisions. 23 static inline void *ERR_PTR(long error) argument 25 return (void *) error; 39 * ERR_CAST - Explicitly cast an error-valued pointer to another pointer type 42 * Explicitly cast an error-valued pointer to another pointer type in such a
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv6/armv/ |
H A D | smp.h | 14 #error SMP is not supported on ARMv6
|
/seL4-camkes-master/projects/camkes/apps/testcamkes438/ |
H A D | foo.c | 13 #error "this test application needs assertions enabled" 17 #error "this test required lazy save of reply caps to be disabled"
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 33 int error; local 34 error = vka_cspace_alloc_path(io_cookie->vka, &path); 35 if (error) { 37 return error; 39 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth); 40 if (error) { 49 error = x.error; 55 error = x.error; 81 int error; local [all...] |
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | syscall_mman.c | 58 int error; local 68 error = rump_syscall(SYS_mmap, &callarg, sizeof(callarg), retval); 69 errno = error; 70 if (error == 0) { 83 int error; local 89 error = rump_syscall(SYS_munmap, &callarg, sizeof(callarg), retval); 90 errno = error; 91 if (error == 0) { 103 int error; local 109 error 124 int error; local 144 int error; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 56 int error; local 67 error = set_pit_mode(&pit->ops, 0, mode); 68 if (error) { 74 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks & 0xFF)); 75 if (error) { 80 error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(0), 1, (uint8_t) (ticks >> 8) & 0xFF); 81 if (error) { 101 int error = ps_io_port_out(&pit->ops, PIT_IOPORT_CHANNEL(3), 1, 0); local 102 if (error) { 109 error [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | guest_vspace.c | 38 int error; local 40 error = guest_vspace_map_page_arch(vspace, cap, vaddr, rights, cacheable, size_bits); 41 if (error) { 42 return error; 59 error = vka_cspace_alloc_path(guest_vspace->vspace_data.vka, &new_path); 60 if (error) { 62 return error; 64 error = vka_cnode_copy(&new_path, &orig_path, seL4_AllRights); 68 assert(error == seL4_NoError); 69 error 94 int error; local 153 int error = sel4utils_get_empty_vspace(loader, &guest_iospace->iospace_vspace, &guest_iospace->iospace_vspace_data, local 166 int error; local [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | load.c | 78 /*** error reporting ***/ 80 static void error_set(json_error_t *error, const lex_t *lex, argument 91 if(!error) 131 jsonp_error_set(error, line, col, pos, "%s", result); 151 static int stream_get(stream_t *stream, json_error_t *error) argument 210 error_set(error, stream_to_lex(stream), "unable to decode byte 0x%x", c); 233 static int lex_get(lex_t *lex, json_error_t *error) argument 235 return stream_get(&lex->stream, error); 243 static int lex_get_save(lex_t *lex, json_error_t *error) argument 245 int c = stream_get(&lex->stream, error); 316 lex_scan_string(lex_t *lex, json_error_t *error) argument 482 lex_scan_number(lex_t *lex, int c, json_error_t *error) argument 577 lex_scan(lex_t *lex, json_error_t *error) argument 679 parse_object(lex_t *lex, size_t flags, json_error_t *error) argument 758 parse_array(lex_t *lex, size_t flags, json_error_t *error) argument 798 parse_value(lex_t *lex, size_t flags, json_error_t *error) argument 876 parse_json(lex_t *lex, size_t flags, json_error_t *error) argument 929 json_loads(const char *string, size_t flags, json_error_t *error) argument 973 json_loadb(const char *buffer, size_t buflen, size_t flags, json_error_t *error) argument 999 json_loadf(FILE *input, size_t flags, json_error_t *error) argument 1026 json_load_file(const char *path, size_t flags, json_error_t *error) argument 1080 json_load_callback(json_load_callback_t callback, void *arg, size_t flags, json_error_t *error) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 34 int error; local 40 error = allocman_cspace_alloc((allocman_t *) data, &path); 41 if (!error) { 45 return error; 93 int error; local 103 *res = allocman_utspace_alloc((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, can_use_dev, &error); 105 return error; 136 int error; local 146 *res = allocman_utspace_alloc_at((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, paddr, true, &error); 148 return error; 206 int error; local [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_load_callback.c | 39 json_error_t error; local 45 json = json_load_callback(greedy_reader, &s, 0, &error); 55 json = json_load_callback(greedy_reader, &s, 0, &error); 60 if (strcmp(error.source, "<callback>") != 0) { 61 fail("json_load_callback returned an invalid error source"); 63 if (strcmp(error.text, "']' expected near end of file") != 0) { 64 fail("json_load_callback returned an invalid error message for an unclosed top-level array"); 67 json = json_load_callback(NULL, NULL, 0, &error); 72 if (strcmp(error.text, "wrong arguments") != 0) { 73 fail("json_load_callback returned an invalid error messag [all...] |
H A D | test_unpack.c | 24 json_error_t error; local 145 if(!json_unpack_ex(j, &error, 0, "z")) 149 if(!json_unpack_ex(NULL, &error, 0, "[i]")) 156 if(!json_unpack_ex(j, &error, 0, "[}")) 162 if(!json_unpack_ex(j, &error, 0, "{]")) 169 if(!json_unpack_ex(j, &error, 0, "[")) 176 if(!json_unpack_ex(j, &error, 0, "{")) 183 if(!json_unpack_ex(j, &error, 0, "[i]a", &i1)) 189 if(!json_unpack_ex(j, &error, 0, "ia", &i1)) 196 if(!json_unpack_ex(j, &error, [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 102 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(imx_ltimer_t), <imer->data); local 103 if (error) { 104 return error; 113 int error = create_ltimer(ltimer, ops); local 114 if (error) { 115 return error; 122 error = imx_init_timestamp(&imx_ltimer->timers, ops, callback, callback_token); 123 if (error) { 126 return error; 133 error [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 33 int error = callback(irq, 0, FSL_AVIC_INT_CELL_COUNT, token); local 34 if (error) { 35 return error;
|
/seL4-camkes-master/projects/global-components/components/ResetServer/src/ |
H A D | reset.c | 45 int error; local 47 error = reset_sys_init(io_ops, NULL, &reset_sys); 48 ZF_LOGF_IF(error, "Failed to initialise the reset subsystem with the BPMP");
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
H A D | vspace.h | 24 #error "Unsupported PT level"
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
H A D | vspace.h | 29 #error Unspecified PA size bits
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | mapping.h | 23 #error "Only 2-level PTs are supported for RV32"
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 95 int error; local 111 error = ps_calloc(&ops.malloc_ops, 1, sizeof(omap_ltimer_t), <imer->data); 112 if (error) { 113 return error; 119 error = gpt_create(&omap_ltimer->abs_gpt, ops, GPT1_DEVICE_PATH, callback, callback_token); 120 if (error) { 122 return error; 125 error = gpt_create(&omap_ltimer->rel_gpt, ops, GPT2_DEVICE_PATH, callback, callback_token); 126 if (error) { 128 return error; [all...] |
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/ia32/sel4runtime/ |
H A D | thread_arch.h | 34 #error "Set TLS for ia32 not implemented"
|
/seL4-camkes-master/projects/camkes/apps/keyboard/components/Driver/src/ |
H A D | driver.c | 30 int error = ps_io_port_in(&io_port_ops, port, IOSIZE_8, &result); local 31 if (error) { 66 int error = camkes_io_port_ops(&io_port_ops); local 67 assert(!error);
|
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
H A D | reset.c | 87 int error = 0; local 89 error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(tx2_reset_t), (void **) &reset_sys->data); 90 if (error) { 92 error = -ENOMEM; 103 error = ps_interface_find(&io_ops->interface_registration_ops, TX2_BPMP_INTERFACE, 105 if (error) { 106 error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(struct tx2_bpmp), (void **) &reset->bpmp); 107 if (error) { 112 error = tx2_bpmp_init(io_ops, reset->bpmp); 113 if (error) { [all...] |
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/invalid-unicode/ |
H A D | run | 15 cmp -s $test_path/error $test_log/stderr 22 nl -bn $test_path/error
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | malloc.c | 18 void *_mspace_malloc_alloc(allocman_t *alloc, void *unused, size_t bytes, int *error) argument 21 SET_ERROR(error, result == NULL ? 1 : 0);
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/invalid/ |
H A D | run | 27 ref=error 28 [ -f $test_path/error$s ] && ref=error$s 49 ref=error 50 [ -f $test_path/error$s ] && ref=error$s
|