Searched refs:nbsend_func (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | ipc.c | 44 static int nbsend_func(seL4_Word endpoint, seL4_Word seed, seL4_Word reply, seL4_Word extra) function
399 return test_ipc_pair(env, nbsend_func, nbwait_func, false, 1);
427 return test_ipc_pair(env, nbsend_func, nbwait_func, true, 1);
|
Completed in 22 milliseconds