arch_timer_get_cntfrq
info->reg_cntfrq = arch_timer_get_cntfrq();
rate = arch_timer_get_cntfrq();
arch_timer_rate = arch_timer_get_cntfrq();
param->value = arch_timer_get_cntfrq();
arch_timer_get_cntfrq()));
arg->timestamp_frequency = arch_timer_get_cntfrq();
timer_rate = arch_timer_get_cntfrq();
gwdt->clk = arch_timer_get_cntfrq();