Searched refs:vmi_cpu_khz (Results 1 - 3 of 3) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/include/asm-i386/
H A Dvmi_time.h53 extern unsigned long vmi_cpu_khz(void);
/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/i386/kernel/
H A Dvmiclock.c73 /* paravirt_ops.get_cpu_khz = vmi_cpu_khz */
74 unsigned long vmi_cpu_khz(void) function
H A Dvmi.c887 paravirt_ops.get_cpu_khz = vmi_cpu_khz;

Completed in 103 milliseconds