wdt_tb            552 arch/powerpc/kvm/booke.c 	u64 tb, wdt_tb, wdt_ticks = 0;
wdt_tb            556 arch/powerpc/kvm/booke.c 	wdt_tb = 1ULL << (63 - period);
wdt_tb            562 arch/powerpc/kvm/booke.c 	if (tb & wdt_tb)
wdt_tb            563 arch/powerpc/kvm/booke.c 		wdt_ticks = wdt_tb;
wdt_tb            565 arch/powerpc/kvm/booke.c 	wdt_ticks += wdt_tb - (tb & (wdt_tb - 1));