Searched refs:timer_read_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 | 38 int timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset ,
|
| H A D | timer_dspace.c | 64 timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
|
| H A D | dspace.c | 76 return timer_read_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count);
|
| /seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
| H A D | timer_dspace.h | 38 int timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset ,
|
| H A D | timer_dspace.c | 64 timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
|
| H A D | dspace.c | 76 return timer_read_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count);
|
Completed in 33 milliseconds