gonzui

Results 1 - 2 of 2 for funcall:tk_get_otm (0.00 seconds)

154: 
155:         tk_get_otm(&ctm);              /* Current time : monotone increasing       */
156:

270:                 KASSERT(hz == 100);
271:                 tk_get_otm( &t1 );
272:         }