tick_delta         55 drivers/char/hw_random/n2rng.h 					   unsigned long *tick_delta);
tick_delta         59 drivers/char/hw_random/n2rng.h 					   unsigned long *tick_delta,
tick_delta         65 drivers/char/hw_random/n2rng.h 					    unsigned long *tick_delta);
tick_delta         72 drivers/char/hw_random/n2rng.h 						 unsigned long *tick_delta);
tick_delta         76 drivers/char/hw_random/n2rng.h 						 unsigned long *tick_delta);
tick_delta         78 drivers/char/hw_random/n2rng.h 					 unsigned long *tick_delta);
tick_delta         42 kernel/sched/cputime.c 	irqtime->tick_delta += delta;
tick_delta         81 kernel/sched/cputime.c 	delta = min(irqtime->tick_delta, maxtime);
tick_delta         82 kernel/sched/cputime.c 	irqtime->tick_delta -= delta;
tick_delta       2252 kernel/sched/sched.h 	u64			tick_delta;