tb_delta          196 arch/powerpc/kernel/time.c 	u64 tb_delta;
tb_delta          207 arch/powerpc/kernel/time.c 		tb_delta = be32_to_cpu(dtl->enqueue_to_dispatch_time) +
tb_delta          220 arch/powerpc/kernel/time.c 		stolen += tb_delta;