| /seL4-master/src/arch/x86/32/object/ |
| A D | objecttype.c | 49 fail("Invalid arch cap type"); in Mode_deriveCap()
107 fail("No mapping type for mapped cap"); in Mode_finaliseCap()
114 fail("Invalid arch cap type"); in Mode_finaliseCap()
129 fail("Invalid object type"); in Mode_getObjectSize()
189 fail("Mode_createObject got an API type or invalid object type"); in Mode_createObject()
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.h | 101 fail("Invalid arch cap type"); in cap_get_capMappedASID()
107 fail("Invalid mode cap type"); in cap_get_modeCapSizeBits()
112 fail("Invalid mode cap type"); in cap_get_modeCapIsPhysical()
117 fail("Invalid mode cap type"); in cap_get_modeCapPtr()
|
| /seL4-master/src/arch/x86/64/object/ |
| A D | objecttype.c | 73 fail("Invalid arch cap type"); in Mode_deriveCap()
129 fail("Invalid map type"); in Mode_finaliseCap()
135 fail("Invalid arch cap type"); in Mode_finaliseCap()
175 fail("Invalid object type"); in Mode_getObjectSize()
313 fail("Arch_createObject got an API type or invalid object type"); in Mode_createObject()
|
| /seL4-master/include/ |
| A D | assert.h | 21 #define fail(s) _fail(s, __FILE__, __LINE__, __func__) macro
39 #define fail(s) halt() macro
|
| /seL4-master/src/arch/riscv/api/ |
| A D | faults.c | 27 fail("Invalid fault"); in Arch_handleFaultReply()
44 fail("Invalid fault"); in Arch_setMRs_fault()
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | hardware.h | 67 fail("Invalid page size"); in pageBitsForSize()
89 fail("Invalid page size"); in pageBitsForSize_phys()
|
| /seL4-master/include/arch/arm/arch/object/ |
| A D | vcpu.h | 138 fail("ARM/HYP: Invalid register index or NULL VCPU"); in vcpu_save_reg()
154 fail("ARM/HYP: Invalid register index or NULL VCPU"); in vcpu_restore_reg()
170 fail("ARM/HYP: Invalid register index or NULL VCPU"); in vcpu_read_reg()
179 fail("ARM/HYP: Invalid register index or NULL VCPU"); in vcpu_write_reg()
|
| /seL4-master/src/arch/arm/api/ |
| A D | faults.c | 29 fail("Invalid fault"); in Arch_handleFaultReply()
68 fail("Invalid fault"); in Arch_setMRs_fault()
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 20 fail("Invalid fault"); in Arch_handleFaultReply()
37 fail("Invalid fault"); in Arch_setMRs_fault()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | objecttype.c | 49 fail("Invalid arch cap type"); in Arch_deriveCap()
189 fail("Invalid object type"); in Arch_getObjectSize()
287 fail("Arch_createObject got an API type or invalid object type"); in Arch_createObject()
|
| /seL4-master/src/arch/x86/32/smp/ |
| A D | ipi.c | 28 fail("Invalid remote call"); in Mode_handleRemoteCall()
|
| /seL4-master/src/arch/x86/64/smp/ |
| A D | ipi.c | 25 fail("Invalid remote call"); in Mode_handleRemoteCall()
|
| /seL4-master/include/arch/arm/armv/armv8-a/64/armv/ |
| A D | vcpu.h | 460 fail("ARM/HYP: Invalid register index"); in vcpu_hw_read_reg()
521 fail("ARM/HYP: Invalid register index"); in vcpu_hw_write_reg()
535 fail("Processor does not support a 40 bit PA"); in vcpu_init_vtcr()
538 fail("Processor does not support a 44 bit PA"); in vcpu_init_vtcr()
542 fail("Processor does not support 4KB"); in vcpu_init_vtcr()
|
| /seL4-master/include/arch/arm/arch/64/mode/machine/ |
| A D | hardware.h | 54 fail("Invalid page size"); in pageBitsForSize()
|
| /seL4-master/.github/workflows/ |
| A D | compilation-checks.yml | 20 fail-fast: false
|
| A D | sel4test-hw.yml | 34 fail-fast: false
77 fail-fast: false
|
| A D | pr.yml | 40 fail-fast: false
|
| /seL4-master/src/object/ |
| A D | objecttype.c | 56 fail("Invalid object type"); in getObjectSize()
148 fail("Invalid tcb state"); in finaliseCap()
164 fail("finaliseCap: failed to finalise immediately."); in finaliseCap()
506 fail("Invalid cap type"); /* Sentinel for invalid enums */ in maskCapRights()
585 fail("Invalid object type"); in createObject()
774 fail("Invalid cap type"); in decodeInvocation()
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 72 fail("Invalid remote call"); in handleRemoteCall()
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 111 fail("Invalid arch cap"); in Arch_deriveCap()
374 fail("Invalid object type"); in Arch_getObjectSize()
532 fail("Arch_createObject got an API type or invalid object type"); in Arch_createObject()
|
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | hardware.h | 113 fail("Invalid page size"); in pageBitsForSize()
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | hardware.h | 128 fail("Invalid page size"); in pageBitsForSize()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | hardware.c | 70 fail("TSC frequency too high"); in measure_tsc_khz()
|
| /seL4-master/src/arch/arm/64/object/ |
| A D | objecttype.c | 115 fail("Invalid arch cap"); in Arch_deriveCap()
381 fail("Invalid object type"); in Arch_getObjectSize()
470 fail("Arch_createObject got an API type or invalid object type"); in Arch_createObject()
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 49 fail("Invalid remote call"); in handleRemoteCall()
|