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);