Searched defs:dequeue_timer_int (Results 1 – 2 of 2) sorted by relevance
740 void (*dequeue_timer_int)(struct kvm_vcpu *vcpu); member
829 void (*dequeue_timer_int)(struct kvm_vcpu *vcpu); member