envelope_ok      1065 drivers/hid/usbhid/hid-pidff.c 	int envelope_ok = 0;
envelope_ok      1089 drivers/hid/usbhid/hid-pidff.c 		envelope_ok = 1;
envelope_ok      1094 drivers/hid/usbhid/hid-pidff.c 	if (!envelope_ok) {