Searched refs:error (Results 251 - 275 of 448) sorted by relevance

<<1112131415161718

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_console_emul.c162 goto error;
169 goto error;
173 error:
H A Dpci_helper.c396 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__.py34 log.error(line)
36 log.error(message)
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dinode.c478 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 Dversioning.hpp24 #error
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dtwo_level.h73 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 Dsplit.h53 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 Dtwinkle.h39 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 Dutspace.h62 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 Delf.h27 #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 Dcc.h34 # error Unable to detemine system endianess
/seL4-camkes-master/projects/musllibc/src/thread/powerpc64/
H A Dclone.s31 # if error, negate return (errno)
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Dclock.c93 #error mul64_32 not supported for target architecture
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/
H A Dxenbus.c33 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 Dmm.h33 #error "Unsupported architecture"
/seL4-camkes-master/tools/rumprun/tests/
H A Druntests.sh176 END{printf "Success: %d, Fail: %d, Timeout: %d, Internal error: %d\n",
/seL4-camkes-master/kernel/include/drivers/timer/
H A Darm_global.h14 #error "This driver should only be selected for MCS kernel"
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4Notification-to.template.c13 /*- 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 Dcomponent.template.h16 #include <camkes/error.h>
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/
H A Dbpmp.c116 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 Dirq.c136 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 Dlwip.c33 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 Dgpio.c210 * 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 Dguest_memory_util.c73 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 Dacpi.c70 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) {

Completed in 120 milliseconds

<<1112131415161718