static void bhp_irq_handler(bhp_t *bhp)
Call the IRQ handler associated to a Bottom Half Processor descriptor.
static void bhp_set_cb(bhp_t *bhp, bhp_cb_t cb, void *ctx)
Set the callback for a Bottom Half Processor.
void(* bhp_cb_t)(void *arg)
A Bottom Half Processor callback.
Bottom Half Processor descriptor.
void * ctx
Context of the IRQ handler.
bhp_cb_t irq_handler
Bottom Half Processor IRQ handler.