Linux Driver Verification

This bug was found in drivers/net/e1000e/netdev.c in kernel linux-2.6.36.2.

It's connected with rule 0139.
There was attempt to check correction of napi_enable()/napi_disable() calls but it's impossible.
It happens because the driver has the next structure:

static int __devinit e1000_probe(struct pci_dev *pdev,
                 const struct pci_device_id *ent)
{
    ...
    INIT_WORK(&adapter->reset_task, e1000_reset_task);
    ...
}

The function e1000_reset_task() is entered into the work queue and isn't called.

Because of it model 139_1a can't check this driver.