/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_console_emul.c | 162 goto error; 169 goto error; 173 error:
|
H A D | pci_helper.c | 396 int UNUSED error; local 399 error = existing.ioread(existing.cookie, PCI_HEADER_TYPE, 1, &value); 400 assert(!error); 403 error = existing.ioread(existing.cookie, PCI_STATUS, 1, &value); 404 assert(!error); 415 error = existing.ioread(existing.cookie, PCI_CAPABILITY_LIST, 1, &value); 416 assert(!error); 423 error = existing.ioread(existing.cookie, value, 1, &cap_type); 424 assert(!error); 439 error [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | __main__.py | 34 log.error(line) 36 log.error(message)
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | inode.c | 478 int error; local 494 error = fat_calc_dir_size(inode); 495 if (error < 0) 496 return error; 556 // is this an error 1305 int error; local 1317 error = fat_calc_dir_size(inode); 1318 if (error < 0) 1319 return error; 1378 int error local 1454 int error = -EINVAL; local 1527 long error; local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | versioning.hpp | 24 #error
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
H A D | two_level.h | 73 seL4_CPtr _cspace_two_level_boot_alloc(struct allocman *alloc, void *_cspace, int *error);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | split.h | 53 seL4_Word _utspace_split_alloc(struct allocman *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error);
|
H A D | twinkle.h | 39 seL4_Word _utspace_twinkle_alloc(struct allocman *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error);
|
H A D | utspace.h | 62 seL4_Word (*alloc)(struct allocman *alloc, void *utspace, size_t size_bits, seL4_Word object_type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | elf.h | 27 #error "Word size unsupported" 53 * will leak from this function), even in the case of an error. 69 * @return The entry point of the new process, NULL on error 85 * @return The entry point of the new process, NULL on error 100 * @return The entry point of the elf, NULL on error
|
/seL4-camkes-master/projects/util_libs/liblwip/include/lwip/arch/ |
H A D | cc.h | 34 # error Unable to detemine system endianess
|
/seL4-camkes-master/projects/musllibc/src/thread/powerpc64/ |
H A D | clone.s | 31 # if error, negate return (errno)
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | clock.c | 93 #error mul64_32 not supported for target architecture
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
H A D | xenbus.c | 33 minios_printk("free_consfront: error changing state to %d: %s\n", 43 minios_printk("free_consfront: error changing state to %d: %s\n", 151 goto error; 159 goto error; 177 goto error; 186 error:
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | mm.h | 33 #error "Unsupported architecture"
|
/seL4-camkes-master/tools/rumprun/tests/ |
H A D | runtests.sh | 176 END{printf "Success: %d, Fail: %d, Timeout: %d, Internal error: %d\n",
|
/seL4-camkes-master/kernel/include/drivers/timer/ |
H A D | arm_global.h | 14 #error "This driver should only be selected for MCS kernel"
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4Notification-to.template.c | 13 /*- import 'helpers/error.c' as error with context -*/ 32 #include <camkes/error.h> 44 /* Interface-specific error handling. */ 46 /*? error.make_error_handler(me.interface.name, error_handler) ?*/
|
H A D | component.template.h | 16 #include <camkes/error.h>
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | bpmp.c | 116 ZF_LOGE("BPMP responded with error %d\n", err); 117 /* err isn't a U-Boot error code, so don't that */ 277 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*bpmp), (void **)&bpmp); local 278 if (error) { 282 error = tx2_bpmp_init(io_ops, bpmp); 283 if (error) {
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | irq.c | 136 int error = seL4_IRQHandler_Ack((*irq_entry)->irq_handler); local 137 if (error) { 164 int error = seL4_IRQHandler_Ack((*irq_entry)->irq_handler); local 165 if (error) {
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 33 goto error; 38 goto error; 44 goto error; 51 error: 175 LWIP_DEBUGF(NETIF_DEBUG, ("ethernetif_input: IP input error\n")); 330 LWIP_DEBUGF(NETIF_DEBUG, ("ethernetif_input: IP input error\n")); 458 goto error; 465 goto error; 470 error:
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | gpio.c | 210 * must return an error to the user. 221 * set, then we can't fulfill the user's request: return error 413 int error; local 420 error = gpio_set_pad_mode(gpio_sys, id, GPIO_MODE, dir); 421 if (error != 0) { 422 return error; 427 error = gpio_set_direction(gpio_sys, id, dir); 428 if (error != 0) { 429 return error; 517 * request at all. If we can't, we return early with an error [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | guest_memory_util.c | 73 int error; local 91 error = vka_cspace_alloc_path(vm->vka, &path); 92 if (error) { 96 error = simple_get_frame_cap(vm->simple, (void *)alloc_addr, page_size, &path); 97 if (error) { 100 error = vka_utspace_alloc_at(vm->vka, &path, kobject_get_type(KOBJECT_FRAME, page_size), page_size, alloc_addr, 103 if (error) {
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | acpi.c | 70 int error; local 85 error = vka_cspace_alloc_path(vm->vka, &return_frame); 86 if (error) { 90 error = vka_cnode_copy(&return_frame, &bios_frames[page_idx], seL4_AllRights); 91 if (error) {
|