evtchn.c | 121 int pirq_interrupt(void *); 747 if (event_set_handler(evtch, pirq_interrupt, ih, level, intrname, 762 int error = event_remove_handler(ih->evtch, pirq_interrupt, ih); 771 pirq_interrupt(void *arg) function in typeref:typename:int 779 printf("pirq_interrupt irq %d ret %d\n", ih->pirq, ret);
|