Searched refs:ec_wait_on_evtchn (Results 1 – 3 of 3) sorted by relevance
151 extern void ec_wait_on_evtchn(int, int (*)(void *), void *);
984 ec_wait_on_evtchn(int evtchn, int (*check_func)(void *), void *arg) in ec_wait_on_evtchn() function1016 ec_wait_on_evtchn(ipip->mi_evtchns[CPU->cpu_id], check_func, arg); in ec_wait_on_ipi()
1363 ec_wait_on_evtchn(xcp->evtchn, (int (*)(void *))xenconsischar, arg); in xenconsgetchar()