Searched refs:handle_timeout_fault (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | faults.c | 919 static int handle_timeout_fault(seL4_CPtr tfep, seL4_Word expected_badge, sel4utils_thread_t *server, function
985 error = handle_timeout_fault(tfep, server_badge, &server.thread, ro, &cp, ep,
1048 error = handle_timeout_fault(tfep, server_badge, &server.thread, server_ro, &server_cp,
1054 error = handle_timeout_fault(tfep, proxy_badge, &proxy.thread, proxy_ro, &proxy_cp,
|
Completed in 76 milliseconds