Searched refs:_time (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.rumprun.c58 custom_simple.timer_config.interface.time = /*? timer_config_interface ?*/_time;
/seL4-camkes-master/projects/global-components/components/TimeServer/src/
H A Dtime_server.c184 static uint64_t _time(int cid) function
218 return _time(the_timer_get_sender_id() - 1);
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_dhcp_d.tex21 \item \texttt{uint32\_t lease\_time} - the advertised lease time in seconds, defaults to 120 if not provided.

Completed in 81 milliseconds