Home
last modified time | relevance | path

Searched refs:bind_ipi (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/dev/xen/bus/
H A Dxen_intr.c517 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id }; in xen_rebind_ipi() local
520 &bind_ipi); in xen_rebind_ipi()
524 isrc->xi_port = bind_ipi.port; in xen_rebind_ipi()
923 struct evtchn_bind_ipi bind_ipi = { .vcpu = vcpu_id }; in xen_intr_alloc_and_bind_ipi() local
929 error = HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi, &bind_ipi); in xen_intr_alloc_and_bind_ipi()
940 error = xen_intr_bind_isrc(&isrc, bind_ipi.port, EVTCHN_TYPE_IPI, in xen_intr_alloc_and_bind_ipi()
943 evtchn_close_t close = { .port = bind_ipi.port }; in xen_intr_alloc_and_bind_ipi()
/freebsd/sys/contrib/xen/
H A Devent_channel.h331 evtchn_bind_ipi_t bind_ipi; member