src/time_server/client.c

15 #include <platsupport/ltimer.h>
27     client_ltimer_t *ltimer = data;
28     seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 1);
30     seL4_Call(ltimer->ep, info);
37     client_ltimer_t *ltimer = data;
38     seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 2 + SEL4UTILS_64_WORDS);
42     info = seL4_Call(ltimer->ep, info);
46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label)
48     ltimer->get_time = client_get_time;
49     ltimer->set_timeout = client_set_timeout;
51     int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), &ltimer->data);
55     assert(ltimer->data != NULL);
56     client_ltimer_t *client_ltimer = ltimer->data;