Searched refs:serv_connect_direct_handler (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.c | 30 serv_connect_direct_handler(void *rpc_userptr , seL4_CPtr rpc_liveness , int* rpc_errno) function
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | serv_dispatch.c | 27 serv_connect_direct_handler(void *rpc_userptr , seL4_CPtr rpc_liveness , int* rpc_errno) function
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.c | 30 serv_connect_direct_handler(void *rpc_userptr , seL4_CPtr rpc_liveness , int* rpc_errno) function
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.c | 30 serv_connect_direct_handler(void *rpc_userptr , seL4_CPtr rpc_liveness , int* rpc_errno) function
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | serv_dispatch.c | 27 serv_connect_direct_handler(void *rpc_userptr , seL4_CPtr rpc_liveness , int* rpc_errno) function
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.c | 30 serv_connect_direct_handler(void *rpc_userptr , seL4_CPtr rpc_liveness , int* rpc_errno) function
|
Completed in 35 milliseconds