150 	int cpuclock = 0, tclock = 0, vtclock = 0, cpuid;  in vrbcu_dump_regs()  local
178 	cpuclock = vrbcu_vrip_getcpuclock();  in vrbcu_dump_regs()
186 			vtclock = tclock = cpuclock;  in vrbcu_dump_regs()
189 			vtclock = tclock = cpuclock/2;  in vrbcu_dump_regs()
192 			vtclock = tclock = cpuclock/3;  in vrbcu_dump_regs()
195 			vtclock = tclock = cpuclock/4;  in vrbcu_dump_regs()
204 		vtclock = tclock = cpuclock/2;  in vrbcu_dump_regs()
209 			vtclock = tclock = cpuclock/2;  in vrbcu_dump_regs()
211 			vtclock = tclock = cpuclock/3;  in vrbcu_dump_regs()
213 			vtclock = tclock = cpuclock/4;  in vrbcu_dump_regs()
222 		tclock = cpuclock / ((spdreg & BCUCLKSPEED_DIVTMASK) >>  in vrbcu_dump_regs()
229 			vtclock = cpuclock / vt;  in vrbcu_dump_regs()
231 			vtclock = cpuclock / ((vt - 8)*2+1) * 2;  in vrbcu_dump_regs()
246 			vtclock = cpuclock / vtdiv;  in vrbcu_dump_regs()
259 		    cpuclock/1000000, (cpuclock%1000000)/1000,  in vrbcu_dump_regs()
265 		    cpuclock/1000000, (cpuclock%1000000)/1000);  in vrbcu_dump_regs()
414 	int cpuid, cpuclock;  in vrbcu_vrip_getcpuclock()  local
429 		cpuclock = CLKX / clksp * 64;  in vrbcu_vrip_getcpuclock()
431 		cpuspeed = (cpuclock / 2 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
435 		cpuclock = 33000000;  in vrbcu_vrip_getcpuclock()
437 		cpuspeed = (cpuclock / 2 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
440 		cpuclock = CLKX / clksp * 32;  in vrbcu_vrip_getcpuclock()
442 		cpuspeed = (cpuclock / 2 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
445 		cpuclock = CLKX / clksp * 64;  in vrbcu_vrip_getcpuclock()
447 		cpuspeed = (cpuclock / 2 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
450 		cpuclock = CLKX / clksp * 64;  in vrbcu_vrip_getcpuclock()
452 		cpuspeed = (cpuclock / 3 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
455 		cpuclock = CLKX / clksp * 98;  in vrbcu_vrip_getcpuclock()
457 		cpuspeed = (cpuclock / 3 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
460 		cpuclock = CLKX / clksp * 98;  in vrbcu_vrip_getcpuclock()
462 		cpuspeed = (cpuclock / 3 + MHZ / 2) / MHZ;  in vrbcu_vrip_getcpuclock()
469 	return (cpuclock);  in vrbcu_vrip_getcpuclock()