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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dlpc.h29 typedef bool (*lpc_virtual_irq_pending) (void *user_data, uint8_t *irq, typedef
250 lpc_virtual_irq_pending virq_pending;
288 lpc_virtual_irq_pending virq_pending, void *user_data,
H A Dlpc.c747 lpc_virtual_irq_pending virq_pending, void *user_data,
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dlpc.h29 typedef bool (*lpc_virtual_irq_pending) (void *user_data, uint8_t *irq, typedef
257 lpc_virtual_irq_pending virq_pending;
298 lpc_virtual_irq_pending virq_pending,
H A Dlpc.c754 lpc_virtual_irq_pending virq_pending,

Completed in 44 milliseconds