seL4MessageQueue-from.template.c revision 5cf20f0b
1