have_new_id       137 drivers/misc/vmw_vmci/vmci_event.c 	bool have_new_id = false;
have_new_id       173 drivers/misc/vmw_vmci/vmci_event.c 			have_new_id = true;
have_new_id       178 drivers/misc/vmw_vmci/vmci_event.c 	if (have_new_id) {