old_rid            73 drivers/misc/vmw_vmci/vmci_resource.c 	u32 old_rid = resource_id;
old_rid            93 drivers/misc/vmw_vmci/vmci_resource.c 	} while (resource_id != old_rid);