Searched refs:timer_write_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 | 30 int timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset ,
|
| H A D | timer_dspace.c | 41 timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
54 dvprintf("timer_write_handler client waiting for %llu nanoseconds.\n", timeWait);
|
| H A D | dspace.c | 96 return timer_write_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 | 30 int timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset ,
|
| H A D | timer_dspace.c | 41 timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , function
54 dvprintf("timer_write_handler client waiting for %llu nanoseconds.\n", timeWait);
|
| H A D | dspace.c | 96 return timer_write_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count);
|
Completed in 29 milliseconds