Domain/OS calls: time

Domain/OS calls: time_$

Time handling

time_$add_clock time_$adjust_time_of_day time_$clock time_$get_adjust time_$get_ec time_$get_itimer time_$get_time_of_day time_$set_cpu_limit time_$set_itimer time_$set_time_of_day time_$wait time_$wait_svc