Searched refs:xen_evtchn_set_port (Results 1 – 3 of 3) sorted by relevance
24 int xen_evtchn_set_port(uint16_t port);
1525 int xen_evtchn_set_port(uint16_t port) in xen_evtchn_set_port() function
1008 xen_evtchn_set_port(port); in xen_vcpu_singleshot_timer_event()1024 xen_evtchn_set_port(port); in xen_vcpu_periodic_timer_event()