Searched defs:local_endpoint (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.h46 vka_object_t local_endpoint; member in struct:helper_thread
H A Dhelpers.c233 NORETURN static void signal_helper_finished(seL4_CPtr local_endpoint, int val) argument
246 seL4_CPtr local_endpoint = (seL4_CPtr) atol(argv[1]); local
276 seL4_CPtr local_endpoint; local
[all...]

Completed in 27 milliseconds