Searched refs:sel4_error (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | strerror.h | 14 #define sel4_error(e, str) ((e == seL4_NoError) ? (void)0 : __sel4_error(e, __FILE__, __func__, __LINE__, str)) macro
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | strerror.h | 14 #define sel4_error(e, str) ((e == seL4_NoError) ? (void)0 : __sel4_error(e, __FILE__, __func__, __LINE__, str)) macro
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, argument
66 sel4_errlist[sel4_error],
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, argument
66 sel4_errlist[sel4_error],
|
| /seL4-refos-master/libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 134 int sel4_error; local
185 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, seL4_UntypedObject, size_bits, left->ut.root, left->ut.dest,
187 if (sel4_error != seL4_NoError) {
191 ZF_LOGE("Failed to retype untyped, error %d\n", sel4_error);
195 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, seL4_UntypedObject, size_bits, right->ut.root, right->ut.dest,
197 if (sel4_error != seL4_NoError) {
202 ZF_LOGE("Failed to retype untyped, error %d\n", sel4_error);
249 int sel4_error; local
312 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, type, sel4_size_bits, slot->root, slot->dest, slot->destDepth,
314 if (sel4_error !
[all...] |
| H A D | twinkle.c | 69 int sel4_error; local
102 sel4_error = seL4_Untyped_Retype(twinkle->uts[i].path.capPtr, type, sel4_size_bits, slot->root, slot->dest,
104 if (sel4_error != seL4_NoError) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 134 int sel4_error; local
185 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, seL4_UntypedObject, size_bits, left->ut.root, left->ut.dest,
187 if (sel4_error != seL4_NoError) {
191 ZF_LOGE("Failed to retype untyped, error %d\n", sel4_error);
195 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, seL4_UntypedObject, size_bits, right->ut.root, right->ut.dest,
197 if (sel4_error != seL4_NoError) {
202 ZF_LOGE("Failed to retype untyped, error %d\n", sel4_error);
249 int sel4_error; local
312 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, type, sel4_size_bits, slot->root, slot->dest, slot->destDepth,
314 if (sel4_error !
[all...] |
| H A D | twinkle.c | 69 int sel4_error; local
102 sel4_error = seL4_Untyped_Retype(twinkle->uts[i].path.capPtr, type, sel4_size_bits, slot->root, slot->dest,
104 if (sel4_error != seL4_NoError) {
|
Completed in 96 milliseconds