Linux Driver Verification

Envgen generates probe function call after read/write driver operations for driver: ldv-tests/regr-tests/test-sets/general/drivers/kbdrivers/0032-2.6.31.6/test-0032-2.6.31.6-verdict-unsafe-drivers--usb--class--usblp.c/usblp.c.

Right sequence:
1. usblp_probe
2. file operations from next structure:
static const struct file_operations usblp_fops = {
.owner = THIS_MODULE,
.read = usblp_read,
.write = usblp_write,
.poll = usblp_poll,
.unlocked_ioctl = usblp_ioctl,
.compat_ioctl = usblp_ioctl,
.open = usblp_open,
.release = usblp_release,
};
3. usblp_suspend
4. usblp_resume
5. usblp_disconnect