CLOCK_BASE_RATE
u64 ret = CLOCK_BASE_RATE * 16; /* Assume 800Mhz as default */
ret = CLOCK_BASE_RATE * ((readq(base + RST_BOOT_REG) >> 33) & 0x3F);
u64 ret = CLOCK_BASE_RATE * 16;
ret = CLOCK_BASE_RATE * ((readq(base + RST_BOOT) >> 33) & 0x3f);