bce_vhci_reset_task
static void bce_vhci_reset_task(void *arg, int pending);
TASK_INIT(&vhci->sc_reset_task, 0, bce_vhci_reset_task, vhci);