Searched refs:shared_endpoint (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | regressions.c | 33 static seL4_CPtr shared_endpoint; variable
49 seL4_SendWithMRs(shared_endpoint, info, &empty);
51 seL4_SendWithMRs(shared_endpoint, info, &empty, &empty);
54 seL4_SendWithMRs(shared_endpoint, info, &empty, &empty, &empty, &empty);
58 seL4_Wait(shared_endpoint, &badge);
86 shared_endpoint = thread.local_endpoint.cptr;
203 info = api_recv(shared_endpoint, &badge, get_helper_reply(&thread));
233 seL4_Signal(shared_endpoint);
260 seL4_Signal(shared_endpoint);
293 shared_endpoint
[all...] |
Completed in 37 milliseconds