Searched defs:irq_prio (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.c664 virq_pending (void *ud, uint8_t *irq, uint8_t *irq_prio) argument
685 virq_handler (void *ud, uint8_t irq, uint8_t irq_prio) argument
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.c591 virq_pending (void *ud, uint8_t *irq, uint8_t *irq_prio) argument
640 virq_handler (void *ud, uint8_t irq, uint8_t irq_prio) argument

Completed in 39 milliseconds