Searched refs:vmi_set_wallclock (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.h51 extern int vmi_set_wallclock(unsigned long now);
/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/i386/kernel/
H A Dvmiclock.c61 /* paravirt_ops.set_wallclock = vmi_set_wallclock */
62 int vmi_set_wallclock(unsigned long now) function
H A Dvmi.c881 paravirt_ops.set_wallclock = vmi_set_wallclock;

Completed in 119 milliseconds