i386/junos/MIT/course/src/src.lab/net/timer.c

   1 #include "ns.h"
   2
   3 void
   4 timer(envid_t ns_envid, uint32_t initial_to) {
   5         int r;
   6         uint32_t stop = sys_time_msec() + initial_to;
   7
   8         binaryname = "ns_timer";
   9
  10         while (1) {
  11                 while((r = sys_time_msec()) < stop && r >= 0) {
  12                         sys_yield();
  13                 }
  14                 if (r < 0)
  15                         panic("sys_time_msec: %e", r);
  16
  17                 ipc_send(ns_envid, NSREQ_TIMER, 0, 0);
  18
  19                 while (1) {
  20                         uint32_t to, whom;
  21                         to = ipc_recv((int32_t *) &whom, 0, 0);
  22
  23                         if (whom != ns_envid) {
  24                                 cprintf("NS TIMER: timer thread got IPC message from env %x not NS\n", whom);
  25                                 continue;
  26                         }
  27
  28                         stop = sys_time_msec() + to;
  29                         break;
  30                 }
  31         }
  32 }