Searched defs:badged_server_ep_cspath (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dclient.h65 cspacepath_t badged_server_ep_cspath; member in struct:_serial_client_context
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dtest.c52 cspacepath_t badged_server_ep_cspath; local
76 cspacepath_t badged_server_ep_cspath; local
102 cspacepath_t badged_server_ep_cspath; local
129 cspacepath_t badged_server_ep_cspath; local
181 cspacepath_t badged_server_ep_cspath; local
233 cspacepath_t badged_server_ep_cspath; local
270 cspacepath_t badged_server_ep_cspath; local
298 cspacepath_t badged_server_ep_cspath; local
[all...]
H A Dparentapi.c187 serial_server_parent_vka_mint_endpoint(vka_t *client_vka, cspacepath_t *badged_server_ep_cspath) argument

Completed in 29 milliseconds