Symbol: evtchn_bind_ipi
usr/src/uts/common/xen/public/event_channel.h
127
typedef struct evtchn_bind_ipi evtchn_bind_ipi_t;
usr/src/uts/common/xen/public/event_channel.h
243
struct evtchn_bind_ipi bind_ipi;