Searched refs:timeWait (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Dtimer_dspace.c53 uint64_t timeWait = *( (uint64_t*) (rpc_buf.data) ); local
54 dvprintf("timer_write_handler client waiting for %llu nanoseconds.\n", timeWait);
56 int error = device_timer_save_caller_as_waiter(&timeServ.devTimer, c, timeWait);
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Dtimer_dspace.c53 uint64_t timeWait = *( (uint64_t*) (rpc_buf.data) ); local
54 dvprintf("timer_write_handler client waiting for %llu nanoseconds.\n", timeWait);
56 int error = device_timer_save_caller_as_waiter(&timeServ.devTimer, c, timeWait);

Completed in 24 milliseconds