Searched refs:virq_user_data (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/vmkitmon/
H A Dlpc.c76 if (l->virq_pending(l->virq_user_data, NULL, NULL)) {
105 if (!pending && !l->virq_accepting(l->virq_user_data)) {
126 l->virq_handler(l->virq_user_data, real_irq, irq);
768 ret->virq_user_data = user_data;
H A Dlpc.h261 void * virq_user_data; member in struct:lpc
/barrelfish-master/usr/arrakismon/
H A Dlpc.c75 if (l->virq_pending(l->virq_user_data, NULL, NULL)) {
116 l->virq_handler(l->virq_user_data, real_irq, irq);
760 ret->virq_user_data = user_data;
H A Dlpc.h261 void * virq_user_data; member in struct:lpc

Completed in 92 milliseconds