Searched refs:evtchn_port_set_pending (Results 1 – 3 of 3) sorted by relevance
| /xen-4.10.0-shim-comet/xen/common/ |
| A D | event_channel.c | 347 evtchn_port_set_pending(ld, lchn->notify_vcpu_id, lchn); in evtchn_bind_interdomain()
712 evtchn_port_set_pending(rd, rchn->notify_vcpu_id, rchn); in evtchn_send()
715 evtchn_port_set_pending(ld, lchn->notify_vcpu_id, lchn); in evtchn_send()
750 evtchn_port_set_pending(d, v->vcpu_id, evtchn_from_port(d, port)); in send_guest_vcpu_virq()
779 evtchn_port_set_pending(d, chn->notify_vcpu_id, chn); in send_guest_global_virq()
803 evtchn_port_set_pending(d, chn->notify_vcpu_id, chn); in send_guest_pirq()
1265 evtchn_port_set_pending(rd, rchn->notify_vcpu_id, rchn); in notify_via_xen_event_channel()
|
| /xen-4.10.0-shim-comet/xen/include/xen/ |
| A D | event.h | 173 static inline void evtchn_port_set_pending(struct domain *d, in evtchn_port_set_pending() function
|
| /xen-4.10.0-shim-comet/xen/arch/x86/pv/ |
| A D | shim.c | 610 evtchn_port_set_pending(guest, chn->notify_vcpu_id, chn); in pv_shim_inject_evtchn()
|
Completed in 7 milliseconds