Searched refs:timer_open_handler (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.h | 22 seL4_CPtr timer_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode ,
|
| H A D | timer_dspace.c | 31 timer_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , function
|
| H A D | dspace.c | 36 return timer_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno);
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.h | 22 seL4_CPtr timer_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode ,
|
| H A D | timer_dspace.c | 31 timer_open_handler(void *rpc_userptr , char* rpc_name , int rpc_flags , int rpc_mode , function
|
| H A D | dspace.c | 36 return timer_open_handler(rpc_userptr, rpc_name, rpc_flags, rpc_mode, rpc_size, rpc_errno);
|
Completed in 26 milliseconds