pal_proc_freq_ratio 41 boot/arch/ia64/include/arch/pal.h extern uint64_t pal_proc_freq_ratio(void); pal_proc_freq_ratio 136 boot/arch/ia64/src/main.c bootinfo.freq_scale = pal_proc_freq_ratio();