Searched refs:wdt_timer (Results 1 – 2 of 2) sorted by relevance
620 mod_timer(&vcpu->arch.wdt_timer, jiffies + nr_jiffies); in arm_next_watchdog()622 del_timer(&vcpu->arch.wdt_timer); in arm_next_watchdog()628 struct kvm_vcpu *vcpu = from_timer(vcpu, t, arch.wdt_timer); in kvmppc_watchdog_func()1424 timer_setup(&vcpu->arch.wdt_timer, kvmppc_watchdog_func, 0); in kvmppc_subarch_vcpu_init()1436 del_timer_sync(&vcpu->arch.wdt_timer); in kvmppc_subarch_vcpu_uninit()
694 struct timer_list wdt_timer; member