process_bitmap
TASK_INIT(&sc->vmci_interrupt_bm_task, 0, process_bitmap, sc);
static void process_bitmap(void *, int);