c-parser/testfiles/jiraver443.c

269 static inline seL4_MessageInfo_t seL4_Wait(seL4_CPtr src, seL4_Word *sender) {
704   _camkes_info_36 = seL4_Wait(6, ((void *)0));
992   _camkes_info_80 = seL4_Wait(6, ((void *)0));
1176   _camkes_info_109 = seL4_Wait(6, ((void *)0));
1340   _camkes_info_135 = seL4_Wait(6, ((void *)0));
1468   _camkes_info_160 = seL4_Wait(6, ((void *)0));
1593   _camkes_info_185 = seL4_Wait(6, ((void *)0));
1796   _camkes_info_217 = seL4_Wait(6, ((void *)0));
2001   _camkes_info_249 = seL4_Wait(6, ((void *)0));
2129   _camkes_info_274 = seL4_Wait(6, ((void *)0));
2413   _camkes_info_318 = seL4_Wait(6, ((void *)0));
3731     seL4_MessageInfo_t _camkes_info_466 = seL4_Wait(6, ((void *)0));