Searched refs:sel4utils_rpc_ltimer_init (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/time_server/ |
| H A D | client.h | 42 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops,
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/time_server/ |
| H A D | client.h | 42 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops,
|
| /seL4-refos-master/libs/libsel4utils/src/time_server/ |
| H A D | client.c | 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) function
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/time_server/ |
| H A D | client.c | 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) function
|
Completed in 1735 milliseconds