vrbcu_vrip_getcpuclock
cpuclock = vrbcu_vrip_getcpuclock();
int vrbcu_vrip_getcpuclock(void);
vrbcu_vrip_getcpuclock() / 1000000,
(vrbcu_vrip_getcpuclock() % 1000000) / 1000);