wdt_ticks         552 arch/powerpc/kvm/booke.c 	u64 tb, wdt_tb, wdt_ticks = 0;
wdt_ticks         563 arch/powerpc/kvm/booke.c 		wdt_ticks = wdt_tb;
wdt_ticks         565 arch/powerpc/kvm/booke.c 	wdt_ticks += wdt_tb - (tb & (wdt_tb - 1));
wdt_ticks         568 arch/powerpc/kvm/booke.c 	nr_jiffies = wdt_ticks;