Searched refs:proc_del_endpoint (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/libs/librefos/src/refos-rpc/
H A Dname_client_helper.c53 proc_del_endpoint(m->serverAnon);
97 proc_del_endpoint(nameServer);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/
H A Dname_client_helper.c53 proc_del_endpoint(m->serverAnon);
97 proc_del_endpoint(nameServer);
/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Dproc_client_helper.h55 proc_del_endpoint(seL4_CPtr ep) { function
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dproc_client_helper.h55 proc_del_endpoint(seL4_CPtr ep) { function
/seL4-refos-master/projects/refos/impl/apps/test_user/src/
H A Dtest_user.c242 proc_del_endpoint(testThreadEP);
/seL4-refos-master/apps/test_user/src/
H A Dtest_user.c242 proc_del_endpoint(testThreadEP);
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c158 proc_del_endpoint(ep);
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c158 proc_del_endpoint(ep);

Completed in 38 milliseconds