sal_base_clock_frequency 111 boot/arch/ia64/include/arch/sal.h extern uint64_t sal_base_clock_frequency(void); sal_base_clock_frequency 154 boot/arch/ia64/src/main.c bootinfo.sys_freq = sal_base_clock_frequency();