invalidate_guid_record
invalidate_guid_record(dev, port, index);
invalidate_guid_record(dev, port, i);
invalidate_guid_record(dev, i + 1, j);