vmci_interrupt_bm
static void vmci_interrupt_bm(void *);
NULL, vmci_interrupt_bm, NULL, &intr->vmci_handler);