| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
| H A D | timer.c | 74 seL4_Word sender_badge; local
75 seL4_Wait(env->timer_notification.cptr, &sender_badge);
76 if (sender_badge) {
77 handle_timer_interrupts(env, sender_badge);
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | endpoints.c | 25 seL4_Word sender_badge; local
26 api_recv(ep, &sender_badge, reply);
28 api_reply_recv(ep, tag, &sender_badge, reply);
109 seL4_Word sender_badge; local
111 tag = api_recv(ep, &sender_badge, reply);
113 assert(seL4_GetMR(0) == sender_badge - 100);
155 seL4_Word sender_badge; local
157 api_recv(sync_ep, &sender_badge, reply);
|
| H A D | cspace.c | 99 seL4_Word sender_badge = 0; local
100 tag = api_wait(ep, &sender_badge);
112 tag = api_wait(ep, &sender_badge);
|
| H A D | ioports.c | 61 seL4_Word sender_badge = 0; local
64 tag = api_recv(fault_ep, &sender_badge, reply);
|
| H A D | ipc.c | 99 seL4_Word sender_badge = 0; local
101 tag = api_recv(endpoint, &sender_badge, reply);
132 seL4_Word sender_badge = 0; local
134 tag = api_recv(endpoint, &sender_badge, reply);
163 seL4_Word sender_badge = 0; local
168 tag = seL4_NBSendRecv(endpoint, tag, endpoint, &sender_badge, reply);
170 tag = seL4_Recv(endpoint, &sender_badge);
174 tag = api_reply_recv(endpoint, tag, &sender_badge, reply);
219 seL4_Word sender_badge = 0; local
228 tag = api_recv(endpoint, &sender_badge, repl
448 seL4_Word sender_badge = 0; local
[all...] |
| H A D | multicore.c | 197 seL4_Word sender_badge = 0; local
200 tag = api_wait(fault_ep, &sender_badge);
|
| H A D | scheduler.c | 304 seL4_Word sender_badge = 0; local
305 seL4_Wait(ep, &sender_badge);
455 seL4_Word sender_badge = 0; local
456 tag = api_recv(data->ep0, &sender_badge, data->reply);
466 seL4_Word sender_badge = 0; local
472 tag = api_recv(data->ep1, &sender_badge, data->reply);
490 tag = api_recv(data->ep1, &sender_badge, data->reply);
1670 seL4_Word sender_badge = 0; local
1680 tag = api_recv(ep, &sender_badge, reply);
|
| H A D | breakpoints.c | 151 seL4_Word sender_badge; local
156 tag = api_wait(fault_ep_cspath.capPtr, &sender_badge);
|
| H A D | faults.c | 503 seL4_Word sender_badge = 0; local
508 tag = api_recv(fault_ep, &sender_badge, reply);
511 test_check(sender_badge == EXPECTED_BADGE);
513 test_check(sender_badge == 0);
|
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | server.c | 74 static inline seL4_MessageInfo_t recv(seL4_Word *sender_badge) argument
76 return api_recv(get_serial_server()->server_ep_obj.cptr, sender_badge, get_serial_server()->server_thread.reply.cptr);
447 seL4_Word sender_badge; local
472 recv(&sender_badge);
491 tag = recv(&sender_badge);
492 ZF_LOGD(SERSERVS "main: Got message from %x", sender_badge);
502 client_data = serial_server_registry_get_entry_by_badge(sender_badge);
506 sender_badge);
514 sender_badge);
516 sender_badge,
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | vm.c | 231 seL4_Word sender_badge; local
235 tag = seL4_Recv(vm->host_endpoint, &sender_badge);
237 if (sender_badge >= MIN_VCPU_BADGE && sender_badge <= MAX_VCPU_BADGE) {
238 seL4_Word vcpu_idx = VCPU_BADGE_IDX(sender_badge);
251 err = vm->run.notification_callback(vm, sender_badge, tag,
|