Lines Matching refs:mir_timer
366 * and cleared when the timer fires (mir_timer). If
1021 static void mir_timer(void *);
1055 * mir_timer_call also tells mir_timer() (refer to the comments
1056 * in mir_timer()) that it does not need to do anything.
1090 mir->mir_timer_id = timeout(mir_timer, q,
1541 * is used in mir_timer().
1632 * do any harm as MIR_SVC_QUIESCED() is false and mir_timer()
2150 mir_timer(void *arg)
2161 * is progressing. And mir_timer() can only be run while they
2204 printf("mir_timer[%d < %d + %d]: reset client timer "
2215 printf("mir_timer[%d]: doing client timeout\n", now / hz);
2267 RPCLOG(16, "mir_timer: telling stream head listener "
2273 RPCLOG(1, "mir_timer: unexpected mir_type %d\n",
2429 * Start the idle timer. See mir_timer() for more
2457 * Start the idle timer. See mir_timer() for more