account_steal_time  144 arch/x86/xen/time.c 	account_steal_time(NULL, ticks);
account_steal_time  156 arch/x86/xen/time.c 	account_steal_time(idle_task(smp_processor_id()), ticks);
account_steal_time   59 include/linux/kernel_stat.h extern void account_steal_time(struct task_struct *, cputime_t);