Searched refs:xen_vcpu_singleshot_timer_event (Results 1 – 1 of 1) sorted by relevance
45 static void xen_vcpu_singleshot_timer_event(void *opaque);222 xen_vcpu_singleshot_timer_event, in kvm_xen_init_vcpu()996 static void xen_vcpu_singleshot_timer_event(void *opaque) in xen_vcpu_singleshot_timer_event() function