66 struct kvm_clock_softc {  struct
78 static void	kvm_clock_system_time_enable(struct kvm_clock_softc *sc,  argument
86 	struct kvm_clock_softc *sc = arg;  in kvm_clock_get_wallclock()
93 kvm_clock_system_time_enable(struct kvm_clock_softc *sc, const cpuset_t *cpus)  in kvm_clock_system_time_enable()
102 	struct kvm_clock_softc *sc = arg;  in kvm_clock_system_time_enable_pcpu()
116 	struct kvm_clock_softc *sc;  in kvm_clock_init_smp()
161 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_attach()
210 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_detach()
238 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_gettime()
258 	struct kvm_clock_softc *sc = oidp->oid_arg1;  in kvm_clock_tsc_freq_sysctl()
267 	struct kvm_clock_softc *sc = device_get_softc(dev);  in kvm_clock_setup_sysctl()
295 	sizeof(struct kvm_clock_softc),