Searched refs:error (Results 226 - 250 of 448) sorted by relevance

1234567891011>>

/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Dtimer.h65 #error "Timer reload too high"
/seL4-camkes-master/kernel/include/drivers/timer/
H A Dimx31-gpt.h12 #error "This driver should only be selected for MCS kernel"
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/
H A Dthread_arch.h77 #error "Set TLS for x86_64 w/o FSGSBASE_INST not implemented"
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/arm_hyp/sel4runtime/
H A Dthread_arch.h77 #error "No way to set TLS base provided."
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/aarch32/sel4runtime/
H A Dthread_arch.h77 #error "No way to set TLS base provided."
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_memory_arch.c32 if (ret.error) {
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/
H A Dvesadriver.c179 int error = ps_io_port_in(&io_port_ops, port, IOSIZE_16, &result); local
180 if (error) {
189 int error = camkes_io_port_ops(&io_port_ops); local
190 assert(!error);
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dgdt_32.c117 int error; local
128 if ((error = HYPERVISOR_set_gdt(frames, 512) != 0)) {
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/
H A Dsnmp_opts.h79 #error SNMP stack can use only one of the APIs {raw, netconn}
83 #error SNMP stack needs a receive API and UDP {raw, netconn}
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dkeyboard_ps2.c38 int error = ps_io_port_in(&ops->io_port_ops, PS2_IOPORT_CONTROL, 1, &res); local
39 assert(!error);
40 (void) error;
48 int error = ps_io_port_in(&ops->io_port_ops, PS2_IOPORT_DATA, 1, &res); local
49 assert(!error);
50 (void) error;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c279 int error = ps_fdt_read_path(&gpt->io_ops.io_fdt, &gpt->io_ops.malloc_ops, config.device_path, &cookie); local
280 if (error) {
287 error = ps_fdt_walk_registers(&gpt->io_ops.io_fdt, cookie, allocate_register_callback, gpt);
288 if (error) {
295 error = ps_fdt_walk_irqs(&gpt->io_ops.io_fdt, cookie, allocate_irq_callback, gpt);
296 if (error) {
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c236 int error = ps_fdt_read_path(&epit->io_ops.io_fdt, &epit->io_ops.malloc_ops, config.device_path, &cookie); local
237 if (error) {
244 error = ps_fdt_walk_registers(&epit->io_ops.io_fdt, cookie, allocate_register_callback, epit);
245 if (error) {
252 error = ps_fdt_walk_irqs(&epit->io_ops.io_fdt, cookie, allocate_irq_callback, epit);
253 if (error) {
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsysproxy.c190 * error types used for RUMPSP_ERROR
204 errmap(enum rumpsp_err error) argument
207 switch (error) {
235 uint32_t error; member in union:rsp_hdr::__anon892
242 #define rsp_error u.error
390 int error = 0; local
406 error = errno;
416 error = ENOTCONN;
418 error = errno;
419 if (error)
515 int error = 0; local
836 int error; local
1099 send_error_resp(struct spclient *spc, uint64_t reqno, enum rumpsp_err error) argument
1118 send_handshake_resp(struct spclient *spc, uint64_t reqno, int error) argument
1141 send_syscall_resp(struct spclient *spc, uint64_t reqno, int error, register_t *retval) argument
1772 int error; local
2132 int error, s; local
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dio.c56 int error = ps_calloc(malloc_ops, 1, sizeof * node, (void **) &node); local
57 if (error) {
69 int error = ps_calloc(malloc_ops, 1, sizeof * node, (void **) &node); local
70 if (error) {
216 int error = ps_calloc(&io_mapper_malloc_ops, 1, sizeof(*c), (void **) &c); local
217 if (error) {
324 int error = ps_calloc(&ops->malloc_ops, 1, sizeof(*defer_token), (void **) &defer_token); local
325 if (error) {
333 error = ll_append(&ops->malloc_ops, &driver_defer_list, defer_token);
334 if (error) {
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_boot_init.c70 int error; local
79 error = 0;
88 error = map_ut_alloc_reservation(vm, reservation);
90 error = -1;
93 if (error) {
102 error = map_ut_alloc_reservation_with_base_paddr(vm, vbeinfo.vbeModeInfoBlock.vbe20.physBasePtr, reservation);
103 if (error) {
218 * only to raise an error when the decompression code cannot find good
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c520 int error = _ttc_set_freq_for_ns(ttc, ns, &interval); local
521 if (error) {
522 return error;
588 int error = ps_fdt_read_path(&ttc->io_ops.io_fdt, &ttc->io_ops.malloc_ops, device_path, &cookie); local
589 if (error) {
596 error = ps_fdt_walk_registers(&ttc->io_ops.io_fdt, cookie, allocate_register_callback, ttc);
597 if (error) {
604 error = ps_fdt_walk_irqs(&ttc->io_ops.io_fdt, cookie, allocate_irq_callback, ttc);
605 if (error) {
/seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/
H A Dif_virt.c89 int error = 0; local
99 if ((error = VIFHYPER_CREATE(num, sc, enaddr, &viu)) != 0) {
101 return error;
122 if (error) {
126 return error;
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Ddwc_eth_qos.c815 int error = ps_interface_find(&eqos->tx2_io_ops->interface_registration_ops, local
817 if (!error) {
821 error = ps_interface_find(&eqos->tx2_io_ops->interface_registration_ops,
823 if (!error) {
827 error = ps_interface_find(&eqos->tx2_io_ops->interface_registration_ops,
829 if (!error) {
839 error = ps_calloc(&eqos->tx2_io_ops->malloc_ops, 1, sizeof(*(eqos->clock_sys)),
841 if (error) {
843 return error;
845 error
[all...]
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dclient.c206 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*data), (void **)&data); local
212 error = camkes_virtqueue_driver_init_with_recv(&data->tx_virtqueue, camkes_virtqueue_get_id_from_name(tx_virtqueue),
214 if (error) {
219 error = camkes_virtqueue_driver_init_with_recv(&data->rx_virtqueue, camkes_virtqueue_get_id_from_name(rx_virtqueue),
221 if (error) {
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_image.c145 int error = seL4_ARM_Page_CleanInvalidate_Data(cap, 0, PAGE_SIZE_4K); local
146 ZF_LOGF_IFERR(error, "seL4_ARM_Page_CleanInvalidate_Data failed");
155 int error; local
183 error = vm_ram_touch(vm, load_addr + offset, len, guest_write_address, (void *)buf);
184 if (error) {
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dethdriver.c104 goto error;
108 goto error;
114 error:
207 int error = ps_interface_find(&io_ops->interface_registration_ops, local
209 if (error) {
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtime_manager.h79 * @return 0 on success, errno on error.
163 * @return 0 on success, errno on error.
181 * @return 0 on success, errno on error.
201 * @return 0 on success, errno on error.
232 int error = tm_get_time(tm, &time); local
233 if (error) {
234 return error;
H A Dltimer.h68 * @return 0 on success, errno on error.
84 * @return 0 on success, errno on error.
94 * @return 0 on success, errno on error.
104 * @return 0 on success, errno on error.
116 * @return 0 on success, errno on error.
126 * @return 0 on success, errno on error.
294 int error = ltimer_get_time(timer, &start); local
296 for (int i = 0; !error; i++) {
297 error = ltimer_get_time(timer, &end);
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c24 #error GIC_V2_DISTRIBUTOR_PPTR must be defined for virtual memory access to the gic distributer
31 #error GIC_V2_CONTROLLER_PPTR must be defined for virtual memory access to the gic cpu interface
225 #error GIC_V2_VCPUCTRL_PPTR must be defined for virtual memory access to the gic virtual cpu interface control
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dvka.h114 * @return paddr of object, or VKA_NO_PADDR on error
186 int error = vka_cspace_alloc(vka, &slot); local
188 if (error == seL4_NoError) {
192 return error;

Completed in 242 milliseconds

1234567891011>>