Searched refs:set_pending (Results 1 – 3 of 3) sorted by relevance
152 void (*set_pending)(struct vcpu *v, struct evtchn *evtchn); member177 d->evtchn_port_ops->set_pending(d->vcpu[vcpu_id], evtchn); in evtchn_port_set_pending()
91 .set_pending = evtchn_2l_set_pending,
351 .set_pending = evtchn_fifo_set_pending,
Completed in 4 milliseconds