Home
last modified time | relevance | path

Searched refs:send_guest_vcpu_virq (Results 1 – 8 of 8) sorted by relevance

/xen-4.10.0-shim-comet/xen/include/xen/
A Devent.h23 void send_guest_vcpu_virq(struct vcpu *v, uint32_t virq);
/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtime.c329 send_guest_vcpu_virq(v, VIRQ_TIMER); in send_timer_event()
/xen-4.10.0-shim-comet/xen/arch/x86/oprofile/
A Dnmi_int.c92 send_guest_vcpu_virq(current, VIRQ_XENOPROF); in nmi_callback()
/xen-4.10.0-shim-comet/xen/common/
A Dkeyhandler.c367 send_guest_vcpu_virq(v, VIRQ_DEBUG); in dump_domains()
A Dxenoprof.c843 send_guest_vcpu_virq(v, VIRQ_XENOPROF); in do_xenoprof_op()
A Devent_channel.c735 void send_guest_vcpu_virq(struct vcpu *v, uint32_t virq) in send_guest_vcpu_virq() function
/xen-4.10.0-shim-comet/xen/arch/x86/cpu/
A Dvpmu.c322 send_guest_vcpu_virq(sampling, VIRQ_XENPMU); in vpmu_do_interrupt()
/xen-4.10.0-shim-comet/xen/arch/x86/
A Dtime.c1887 send_guest_vcpu_virq(v, VIRQ_TIMER); in send_timer_event()

Completed in 16 milliseconds