65 struct kvm_clock_softc {  struct
77 static void	kvm_clock_system_time_enable(struct kvm_clock_softc *sc,  argument
85 	struct kvm_clock_softc *sc = arg;  in kvm_clock_get_wallclock()
92 kvm_clock_system_time_enable(struct kvm_clock_softc *sc, const cpuset_t *cpus)  in kvm_clock_system_time_enable()
101 	struct kvm_clock_softc *sc = arg;  in kvm_clock_system_time_enable_pcpu()
115 	struct kvm_clock_softc *sc;  in kvm_clock_init_smp()
160 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_attach()
209 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_detach()
237 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_gettime()
257 	struct kvm_clock_softc *sc = oidp->oid_arg1;  in kvm_clock_tsc_freq_sysctl()
266 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_setup_sysctl()
294 	sizeof(struct kvm_clock_softc),