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

/barrelfish-2018-10-04/usr/vmkitmon/
H A Dlpc.c75 if (l->virq_pending(l->virq_user_data, NULL, NULL)) {
104 if (!pending && !l->virq_accepting(l->virq_user_data)) {
125 l->virq_handler(l->virq_user_data, real_irq, irq);
767 ret->virq_user_data = user_data;
H A Dlpc.h261 void * virq_user_data; member in struct:lpc
/barrelfish-2018-10-04/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);
754 ret->virq_user_data = user_data;
H A Dlpc.h251 void * virq_user_data; member in struct:lpc

Completed in 46 milliseconds