Searched refs:CE_SYSCALL_FAILED (Results 1 - 7 of 7) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | error.c | 40 case CE_SYSCALL_FAILED:
|
| H A D | dma.c | 470 .type = CE_SYSCALL_FAILED,
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4IOAPICHardwareInterrupt.template.c | 120 .type = CE_SYSCALL_FAILED,
|
| H A D | component.common.c | 691 .type = CE_SYSCALL_FAILED,
708 .type = CE_SYSCALL_FAILED,
744 .type = CE_SYSCALL_FAILED,
759 .type = CE_SYSCALL_FAILED,
|
| H A D | component.simple.c | 421 .type = CE_SYSCALL_FAILED,
432 .type = CE_SYSCALL_FAILED,
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | error.h | 53 CE_SYSCALL_FAILED, enumerator in enum:__anon117
134 struct { /* CE_SYSCALL_FAILED */
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
| H A D | io.c | 42 .type = CE_SYSCALL_FAILED,
|
Completed in 98 milliseconds