| /seL4-camkes-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | cache.h | 18 return seL4_NoError;
23 return seL4_NoError;
28 return seL4_NoError;
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | cache.h | 18 return seL4_NoError;
23 return seL4_NoError;
28 return seL4_NoError;
|
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | errors.h | 10 seL4_NoError = 0, enumerator in enum:__anon38
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | sel4_zf_logif.h | 30 if ((err) != seL4_NoError) \
34 if ((err) != seL4_NoError) \
38 if ((err) != seL4_NoError) \
42 if ((err) != seL4_NoError) \
46 if ((err) != seL4_NoError) \
|
| H A D | strerror.h | 14 #define sel4_error(e, str) ((e == seL4_NoError) ? (void)0 : __sel4_error(e, __FILE__, __func__, __LINE__, str))
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
| H A D | debug.h | 135 .type = seL4_NoError
186 .type = seL4_NoError
228 .type = seL4_NoError
233 ret.type = seL4_NoError;
242 .type = seL4_NoError
247 ret.type = seL4_NoError;
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | cspaceops.h | 28 return vka_cnode_move(result, &src) != seL4_NoError;
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 124 ret.type = seL4_NoError;
135 .type = seL4_NoError
157 .type = seL4_NoError
172 .type = seL4_NoError
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 44 if (error != seL4_NoError) {
50 if (error != seL4_NoError) {
55 return seL4_NoError;
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | strerror.c | 27 [seL4_NoError] = "seL4_NoError",
|
| H A D | mapping.c | 73 if (error != seL4_NoError) {
122 if (error != seL4_NoError) {
127 if (error != seL4_NoError) {
|
| H A D | slab.c | 86 if (vka_cnode_move(dest, &src) != seL4_NoError) {
142 if (error != seL4_NoError) {
173 if (alloc_object(delegate, untyped, size_bits, type, &slab->objects[i]) != seL4_NoError) {
|
| H A D | elf.c | 43 int error = seL4_NoError;
65 while (pos < segment_size && error == seL4_NoError) {
97 if (error != seL4_NoError) {
108 if (error != seL4_NoError) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | object_capops.h | 31 if (error != seL4_NoError) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 40 if (error != seL4_NoError) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
| H A D | kernel_logging.h | 101 return seL4_NoError;
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | boot.c | 121 if (err != seL4_NoError) {
127 assert(err == seL4_NoError);
137 assert(err == seL4_NoError);
145 assert(err == seL4_NoError);
|
| H A D | guest_x86_context.c | 155 if (result.error != seL4_NoError) {
172 if (result.error != seL4_NoError) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | virtual_pool.c | 62 if (error != seL4_NoError) {
68 if (error != seL4_NoError) {
|
| H A D | vspace_pool.c | 33 if (error != seL4_NoError) {
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 131 assert(error == seL4_NoError);
182 assert(error == seL4_NoError);
199 assert(error == seL4_NoError);
250 assert(error == seL4_NoError);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
| H A D | default.c | 61 return seL4_NoError;
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 142 assert(error == seL4_NoError);
167 return seL4_NoError;
201 return seL4_NoError;
225 return seL4_NoError;
292 int error = seL4_NoError;
294 for (int i = 0; i < num_pages && error == seL4_NoError; i++) {
297 if (error == seL4_NoError) {
311 int error = seL4_NoError;
325 if (error == seL4_NoError) {
462 if (error != seL4_NoError) {
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.simple.c | 360 return seL4_NoError;
420 ERR_IF(error != seL4_NoError, camkes_error, ((camkes_error_t){
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
| H A D | server.c | 71 if (err != seL4_NoError) {
136 if (err != seL4_NoError) {
|