libcamkescakeml/src/ipc.c

48     seL4_Word badge;
49     seL4_MessageInfo_t info = seL4_Recv(ep, &badge);
54     memcpy(a + offset, &badge, sizeof(badge));
55 	offset += sizeof(badge);
68     seL4_Word badge;
73         &badge);
78     memcpy(a + offset, &badge, sizeof(badge));
79     offset += sizeof(badge);
103     seL4_Word badge;
104     seL4_Wait(src, &badge);
105     memcpy(a + 1, &badge, sizeof(badge));