HomeSort by: relevance | last modified time | path
    Searched refs:bind_ipi (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/external/mit/xen-include-public/dist/xen/include/public/
event_channel.h 328 struct evtchn_bind_ipi bind_ipi; member in union:evtchn_op::__anon6590
  /src/sys/arch/xen/xen/
evtchn.c 533 op.u.bind_ipi.vcpu = (uint32_t) vcpu;
536 evtchn = op.u.bind_ipi.port;

Completed in 20 milliseconds