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

/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/x86/include/asm/
H A Dvmi_time.h50 extern unsigned long vmi_get_wallclock(void);
/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/x86/kernel/
H A Dvmiclock_32.c49 /* paravirt_ops.get_wallclock = vmi_get_wallclock */
50 unsigned long vmi_get_wallclock(void) function
H A Dvmi_32.c799 x86_platform.get_wallclock = vmi_get_wallclock;

Completed in 33 milliseconds