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::__anon0e0c2f8b040a
  /src/sys/arch/xen/xen/
evtchn.c 541 op.u.bind_ipi.vcpu = (uint32_t) vcpu;
544 evtchn = op.u.bind_ipi.port;

Completed in 16 milliseconds