Searched refs:VALID_EVTCHN (Results 1 – 1 of 1) sorted by relevance
555 if (VALID_EVTCHN(evtchn)) in notify_remote_via_irq()855 if (!VALID_EVTCHN(evtchn)) in eoi_pirq()881 if (VALID_EVTCHN(evtchn)) in __startup_pirq()934 if (!VALID_EVTCHN(evtchn)) in shutdown_pirq()1794 if (!VALID_EVTCHN(evtchn)) in xen_rebind_evtchn_to_cpu()1869 if (VALID_EVTCHN(evtchn)) in enable_dynirq()1878 if (VALID_EVTCHN(evtchn)) in disable_dynirq()1887 if (VALID_EVTCHN(evtchn)) in ack_dynirq()2036 if (VALID_EVTCHN(evtchn)) in xen_clear_irq_pending()2044 if (VALID_EVTCHN(evtchn)) in xen_set_irq_pending()[all …]
Completed in 7 milliseconds