Searched refs:seL4_Null (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
| H A D | simple_types.h | 25 /* Define seL4_Null */
27 #define seL4_Null 0L macro
29 #define seL4_Null ((void*)0) macro
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 32 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
33 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0,
34 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0,
35 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0
50 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
51 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0,
52 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0,
53 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0
68 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
69 mr1 != seL4_Null
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 37 (mr0 != seL4_Null) ? *mr0 : 0,
38 (mr1 != seL4_Null) ? *mr1 : 0,
39 (mr2 != seL4_Null) ? *mr2 : 0,
40 (mr3 != seL4_Null) ? *mr3 : 0
55 (mr0 != seL4_Null) ? *mr0 : 0,
56 (mr1 != seL4_Null) ? *mr1 : 0,
57 (mr2 != seL4_Null) ? *mr2 : 0,
58 (mr3 != seL4_Null) ? *mr3 : 0
73 (mr0 != seL4_Null) ? *mr0 : 0,
74 (mr1 != seL4_Null)
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 173 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
174 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0,
175 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0,
176 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0
194 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
195 mr1 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr1 : 0,
196 mr2 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr2 : 0,
197 mr3 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr3 : 0
214 mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0 ? *mr0 : 0,
215 mr1 != seL4_Null
[all...] |
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | functions.h | 72 if (receiveCNode != seL4_Null) {
76 if (receiveIndex != seL4_Null) {
80 if (receiveDepth != seL4_Null) {
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 305 x86_sys_send(seL4_SysSend, dest, msgInfo.words[0], mr0 != seL4_Null ? *mr0 : 0, mr1 != seL4_Null ? *mr1 : 0);
318 x86_sys_send(seL4_SysNBSend, dest, msgInfo.words[0], mr0 != seL4_Null ? *mr0 : 0, mr1 != seL4_Null ? *mr1 : 0);
331 x86_sys_reply(seL4_SysReply, msgInfo.words[0], mr0 != seL4_Null ? *mr0 : 0, mr1 != seL4_Null ? *mr1 : 0);
371 if (mr0 != seL4_Null) {
374 if (mr1 != seL4_Null) {
428 if (mr0 != seL4_Null && seL4_MessageInfo_get_length(msgInfo) > 0) {
431 if (mr1 != seL4_Null
[all...] |
Completed in 44 milliseconds