/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.environment.c | 17 int error; local 29 error = pre_init_interface_sync(); 30 if (error) { 31 return error; 38 error = post_init_interface_sync(); 39 if (error) { 40 return error;
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | init.c | 86 #error "BYTE_ORDER is not defined, you have to define it in your cc.h" 89 #error "If you want to use broadcast filter per pcb on recv operations, you have to define IP_SOF_BROADCAST=1 in your lwipopts.h" 92 #error "If you want to use UDP Lite, you have to define LWIP_UDP=1 in your lwipopts.h" 95 #error "If you want to use DHCP, you have to define LWIP_UDP=1 in your lwipopts.h" 98 #error "If you want to use LWIP_MULTICAST_TX_OPTIONS, you have to define LWIP_UDP=1 and/or LWIP_RAW=1 in your lwipopts.h" 101 #error "If you want to use DNS, you have to define LWIP_UDP=1 in your lwipopts.h" 105 #error "If you want to use ARP Queueing, you have to define MEMP_NUM_ARP_QUEUE>=1 in your lwipopts.h" 108 #error "If you want to use RAW, you have to define MEMP_NUM_RAW_PCB>=1 in your lwipopts.h" 111 #error "If you want to use UDP, you have to define MEMP_NUM_UDP_PCB>=1 in your lwipopts.h" 114 #error "I [all...] |
/seL4-camkes-master/projects/camkes/apps/binary-semaphore/src/ |
H A D | server.c | 14 int error = binsem_post(); local 15 assert(!error); 21 int error = ready_reg_callback(callback, &ret); local 22 assert(!error); 23 error = binsem_wait(); 24 assert(!error);
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | error.c | 4 void jsonp_error_init(json_error_t *error, const char *source) argument 6 if(error) 8 error->text[0] = '\0'; 9 error->line = -1; 10 error->column = -1; 11 error->position = 0; 13 jsonp_error_set_source(error, source); 15 error->source[0] = '\0'; 19 void jsonp_error_set_source(json_error_t *error, const char *source) argument 23 if(!error || !sourc 36 jsonp_error_set(json_error_t *error, int line, int column, size_t position, const char *msg, ...) argument 46 jsonp_error_vset(json_error_t *error, int line, int column, size_t position, const char *msg, va_list ap) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | test.c | 36 int error; local 38 error = serial_server_parent_spawn_thread(&env->simple, 42 test_eq(error, 0); 50 int error; local 54 error = serial_server_parent_spawn_thread(&env->simple, 58 test_eq(error, 0); 60 error = serial_server_parent_vka_mint_endpoint(&env->vka, &badged_server_ep_cspath); 61 test_eq(error, 0); 63 error = serial_server_client_connect(badged_server_ep_cspath.capPtr, 65 test_eq(error, 74 int error; local 100 int error; local 127 int error; local 179 int error; local 207 int error; local 231 int error; local 268 int error; local 296 int error; local [all...] |
/seL4-camkes-master/projects/camkes/apps/pit/components/Driver/src/ |
H A D | driver.c | 32 int error; local 34 error = camkes_io_port_ops(&ops); 35 assert(!error); 36 error = pit_init(&timer, ops); 37 assert(!error); 38 error = pit_set_timeout(&timer, NS_IN_S / IRQS_PER_SECOND, true); 39 assert(!error);
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
H A D | test_loadb.c | 15 json_error_t error; local 19 json = json_loadb(str, len, 0, &error); 25 json = json_loadb(str, len - 1, 0, &error); 30 if(error.line != 1) { 33 if(strcmp(error.text, "']' expected near end of file") != 0) { 34 fail("json_loadb returned an invalid error message for an unclosed top-level array");
|
H A D | test_load.c | 15 json_error_t error; local 18 json = json_load_file("/path/to/nonexistent/file.json", 0, &error); 21 if(error.line != -1) 24 /* The error message is locale specific, only check the beginning 25 of the error message. */ 27 pos = strchr(error.text, ':'); 29 fail("json_load_file returne an invalid error message"); 33 if(strcmp(error.text, "unable to open /path/to/nonexistent/file.json") != 0) 34 fail("json_load_file returned an invalid error message"); 39 json_error_t error; local 48 json_error_t error; local 67 json_error_t error; local 93 json_error_t error; local 141 json_error_t error; local 164 json_error_t error; local [all...] |
/seL4-camkes-master/projects/global-components/components/RTC/src/ |
H A D | rtc.c | 21 int error UNUSED; 23 error = camkes_io_port_ops(&ops); 24 assert(!error); 25 error = rtc_get_time_date_reg(&ops, 0, &time_date); 26 assert(!error);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | error.c | 13 #include <camkes/error.h> 18 /* The default error handler that is invoked if no other error handler is 21 static camkes_error_action_t default_error_handler(camkes_error_t *error) argument 23 fprintf(stderr, "-- %s --\n", error->instance); 24 switch (error->type) { 28 "up to %u bytes\n", error->target_length); 33 error->invalid_index); 51 fprintf(stderr, "Occurred at %s:%lu\n", error->filename, error [all...] |
/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/ |
H A D | x86_64_eth_init.c | 30 int error = ethif_e82574_init(eth_driver, *io_ops, eth_config); local 31 if (error) { 33 return error; 43 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); local 44 if (error) { 46 return error; 49 error = ethif_init(eth_driver, io_ops); 50 if (error) { 52 return error;
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/ |
H A D | x86_64_eth_init.c | 30 int error = ethif_e82574_init(eth_driver, *io_ops, eth_config); local 31 if (error) { 33 return error; 42 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); local 43 if (error) { 45 return error; 48 error = ethif_init(eth_driver, io_ops); 49 if (error) { 51 return error;
|
/seL4-camkes-master/projects/global-components/components/ResetServer/templates/ |
H A D | ResetServer-client.template.c | 25 int error = resetserver_interface_init(/*? connection_name?*/_assert_reset, /*? connection_name?*/_deassert_reset, local 27 if (error) { 29 return error; 32 error = ps_interface_register(&io_ops->interface_registration_ops, PS_RESET_INTERFACE, 34 if (error) { 36 return error;
|
/seL4-camkes-master/projects/global-components/components/ClockServer/templates/ |
H A D | ClockServer-client.template.c | 25 int error = clockserver_interface_init(io_ops, /*? connection_name ?*/_init_clock, /*? connection_name ?*/_set_gate_mode, local 28 if (error) { 30 return error; 33 error = ps_interface_register(&io_ops->interface_registration_ops, PS_CLOCK_INTERFACE, 35 if (error) { 37 return error;
|
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/templates/ |
H A D | GPIOServer-client.template.c | 26 int error = gpiomuxserver_gpio_interface_init(/*? connection_name?*/_init_pin, /*? connection_name?*/_set_level, /*? connection_name?*/_read_level, local 28 if (error) { 30 return error; 33 error = ps_interface_register(&io_ops->interface_registration_ops, PS_GPIO_INTERFACE, 35 if (error) { 37 return error;
|
H A D | MUXServer-client.template.c | 26 int error = gpiomuxserver_mux_interface_init(/*? connection_name?*/_feature_enable, /*? connection_name?*/_feature_disable, local 28 if (error) { 30 return error;
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | device.c | 26 int error = vka_cspace_alloc(vka, &cap); local 27 if (error != 0) { 29 return error; 35 error = simple_get_IRQ_handler(simple, irq->irq.number, *dest); 37 error = sel4platsupport_arch_copy_irq_cap(&simple->arch_simple, irq, dest); 40 if (error != seL4_NoError) { 44 return error; 50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame); local 51 if (error) { 55 return error; 60 int error; local [all...] |
/seL4-camkes-master/projects/global-components/components/TimeServer/src/ |
H A D | time_server.c | 54 int error = ltimer_get_time(<imer, &time); local 55 ZF_LOGF_IF(error, "Failed to get time"); 80 int error = time_server_lock(); local 81 ZF_LOGF_IF(error, "Failed to lock time server"); 83 error = tm_update(&time_manager); 84 ZF_LOGF_IF(error, "Failed to update time manager"); 86 error = time_server_unlock(); 87 ZF_LOGF_IF(error, "Failed to unlock time server"); 97 int error = time_server_lock(); local 98 ZF_LOGF_IF(error, "Faile 116 int error = time_server_lock(); local 140 int error = time_server_lock(); local 158 int error = time_server_lock(); local 171 int error = time_server_lock(); local 223 int error = time_server_lock(); local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | ltimer.c | 49 int error = get_time(data, &time); local 50 if (error) { 51 return error; 83 int error; local 90 error = create_ltimer_simple( 94 if (error) { 96 return error; 110 error = sp804_init(&fvp_ltimer->sp804_timeout, ops, sp804_config); 111 if (error) { 114 return error; [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | ltimer.c | 49 int error = get_time(data, &time); local 50 if (error) { 51 return error; 87 int error; local 94 error = create_ltimer_simple( 98 if (error) { 100 return error; 114 error = dmt_init(&hikey_ltimer->dmt_timeout, ops, dmt_config); 115 if (error) { 118 return error; [all...] |
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/ |
H A D | gpio.c | 79 int error = 0; local 82 error = -EINVAL; 88 error = -EINVAL; 95 error = 0; 101 error = -EBUSY; 107 error = -EBUSY; 113 error = gpio_new(&gpio_sys, pin_id, dir, &gpio_entry->gpio); 114 if (error) { 122 return error; 129 int error local 178 int error = gpio_sys_init(io_ops, &gpio_sys); local [all...] |
H A D | mux.c | 38 int error = 0; local 44 error = mux_component_plat_init(io_ops); 46 error = mux_sys_init(io_ops, NULL, &io_ops->mux_sys); 49 if (error) { 53 return error;
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/helpers/ |
H A D | error.c | 15 # error_handler: Name of the error handling function that will be created 22 /* The currently active error handler. This variable is marked UNUSED to squash 35 static camkes_error_action_t UNUSED /*? error_handler ?*/(camkes_error_t *error) { argument 37 /* No registered handler; invoke the generic error handler. */ 38 return camkes_error(error); 40 return /*? error_handler ?*/_fn(error);
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4MessageQueue-from.template.c | 69 int error = 0; local 70 error = camkes_msgqueue_channel_register_sender(/*? queue_id ?*/, 76 if (error) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | gpio_utils.c | 49 int error = ps_calloc(malloc_ops, 1, sizeof(**ret_chain), (void **) ret_chain); local 50 if (error) { 54 error = list_init(&(*ret_chain)->pin_list); 55 if (error) { 57 return error; 72 int error = list_remove_all(&chain->pin_list); local 73 if (error) { 74 return error; 77 error = list_destroy(&chain->pin_list); 78 if (error) { 94 int error = list_append(&chain->pin_list, (void *) gpio); local 159 int error = list_foreach(&chain->pin_list, gpio_chain_io_callback, &cb_token); local 178 int error = list_foreach(&chain->pin_list, gpio_chain_io_callback, &cb_token); local [all...] |