/seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
H A D | timer.h | 65 #error "Timer reload too high"
|
/seL4-camkes-master/kernel/include/drivers/timer/ |
H A D | imx31-gpt.h | 12 #error "This driver should only be selected for MCS kernel"
|
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/ |
H A D | thread_arch.h | 77 #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 D | thread_arch.h | 77 #error "No way to set TLS base provided."
|
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/aarch32/sel4runtime/ |
H A D | thread_arch.h | 77 #error "No way to set TLS base provided."
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_memory_arch.c | 32 if (ret.error) {
|
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/ |
H A D | vesadriver.c | 179 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 D | gdt_32.c | 117 int error; local 128 if ((error = HYPERVISOR_set_gdt(frames, 512) != 0)) {
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | snmp_opts.h | 79 #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 D | keyboard_ps2.c | 38 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 D | gpt.c | 279 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 D | epit.c | 236 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 D | sysproxy.c | 190 * 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 D | io.c | 56 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 D | guest_boot_init.c | 70 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 D | timer.c | 520 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 D | if_virt.c | 89 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 D | dwc_eth_qos.c | 815 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 D | client.c | 206 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 D | guest_image.c | 145 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 D | ethdriver.c | 104 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 D | time_manager.h | 79 * @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 D | ltimer.h | 68 * @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 D | gic_v2.c | 24 #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 D | vka.h | 114 * @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;
|