| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | deprecated.h | 27 #define EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
|
| H A D | constants.h | 36 seL4_UnknownSyscall_Length, enumerator in enum:__anon7
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | deprecated.h | 27 #define EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
|
| H A D | constants.h | 36 seL4_UnknownSyscall_Length, enumerator in enum:__anon17
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | deprecated.h | 27 #define EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
|
| H A D | constants.h | 36 seL4_UnknownSyscall_Length, enumerator in enum:__anon30
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | deprecated.h | 27 #define EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
|
| H A D | constants.h | 36 seL4_UnknownSyscall_Length, enumerator in enum:__anon40
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | deprecated.h | 12 #define EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
36 #define SEL4_EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
|
| H A D | constants.h | 96 seL4_UnknownSyscall_Length, enumerator in enum:__anon37
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | deprecated.h | 12 #define EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
36 #define SEL4_EXCEPT_IPC_LENGTH SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Length)
|
| H A D | constants.h | 96 seL4_UnknownSyscall_Length, enumerator in enum:__anon92
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | deprecated.h | 108 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;
114 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | deprecated.h | 108 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;
114 return seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length;
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| H A D | constants.h | 73 seL4_UnknownSyscall_Length, enumerator in enum:__anon7
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| H A D | constants.h | 67 seL4_UnknownSyscall_Length, enumerator in enum:__anon2
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| H A D | constants.h | 73 seL4_UnknownSyscall_Length, enumerator in enum:__anon17
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| H A D | constants.h | 67 seL4_UnknownSyscall_Length, enumerator in enum:__anon12
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 103 seL4_UnknownSyscall_Length, enumerator in enum:__anon52
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 103 seL4_UnknownSyscall_Length, enumerator in enum:__anon107
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 30 seL4_UnknownSyscall_Length, enumerator in enum:__anon1
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 30 seL4_UnknownSyscall_Length, enumerator in enum:__anon10
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | thread.c | 250 assert(seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 250 assert(seL4_MessageInfo_get_length(tag) == seL4_UnknownSyscall_Length);
|