Home
last modified time | relevance | path

Searched refs:xen_startrtclock (Results 1 – 5 of 5) sorted by relevance

/netbsd/src/sys/arch/amd64/amd64/
Dautoconf.c97 xen_startrtclock(); in cpu_configure()
/netbsd/src/sys/arch/i386/i386/
Dautoconf.c110 xen_startrtclock(); in cpu_configure()
/netbsd/src/sys/arch/xen/x86/
Dautoconf.c119 xen_startrtclock(); in cpu_configure()
/netbsd/src/sys/arch/x86/include/
Dcpu.h577 void xen_startrtclock(void);
/netbsd/src/sys/arch/xen/xen/
Dxen_clock.c1064 xen_startrtclock(void) in xen_startrtclock() function