drivers/vfio/platform/vfio_platform_common.c

   1 /*
   2  * Copyright (C) 2013 - Virtual Open Systems
   3  * Author: Antonios Motakis <a.motakis@virtualopensystems.com>
   4  *
   5  * This program is free software; you can redistribute it and/or modify
   6  * it under the terms of the GNU General Public License, version 2, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This program is distributed in the hope that it will be useful,
  10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12  * GNU General Public License for more details.
  13  */
  14
  15 #include <linux/device.h>
  16 #include <linux/acpi.h>
  17 #include <linux/iommu.h>
  18 #include <linux/module.h>
  19 #include <linux/mutex.h>
  20 #include <linux/slab.h>
  21 #include <linux/types.h>
  22 #include <linux/uaccess.h>
  23 #include <linux/vfio.h>
  24
  25 #include "vfio_platform_private.h"
  26
  27 #define DRIVER_VERSION  "0.10"
  28 #define DRIVER_AUTHOR   "Antonios Motakis <a.motakis@virtualopensystems.com>"
  29 #define DRIVER_DESC     "VFIO platform base module"
  30
  31 #define VFIO_PLATFORM_IS_ACPI(vdev) ((vdev)->acpihid != NULL)
  32
  33 static LIST_HEAD(reset_list);
  34 static DEFINE_MUTEX(driver_lock);
  35
  36 static vfio_platform_reset_fn_t vfio_platform_lookup_reset(const char *compat,
  37                                         struct module **module)
  38 {
  39         struct vfio_platform_reset_node *iter;
  40         vfio_platform_reset_fn_t reset_fn = NULL;
  41
  42         mutex_lock(&driver_lock);
  43         list_for_each_entry(iter, &reset_list, link) {
  44                 if (!strcmp(iter->compat, compat) &&
  45                         try_module_get(iter->owner)) {
  46                         *module = iter->owner;
  47                         reset_fn = iter->of_reset;
  48                         break;
  49                 }
  50         }
  51         mutex_unlock(&driver_lock);
  52         return reset_fn;
  53 }
  54
  55 static int vfio_platform_acpi_probe(struct vfio_platform_device *vdev,
  56                                     struct device *dev)
  57 {
  58         struct acpi_device *adev;
  59
  60         if (acpi_disabled)
  61                 return -ENOENT;
  62
  63         adev = ACPI_COMPANION(dev);
  64         if (!adev) {
  65                 pr_err("VFIO: ACPI companion device not found for %s\n",
  66                         vdev->name);
  67                 return -ENODEV;
  68         }
  69
  70 #ifdef CONFIG_ACPI
  71         vdev->acpihid = acpi_device_hid(adev);
  72 #endif
  73         return WARN_ON(!vdev->acpihid) ? -EINVAL : 0;
  74 }
  75
  76 int vfio_platform_acpi_call_reset(struct vfio_platform_device *vdev,
  77                                   const char **extra_dbg)
  78 {
  79 #ifdef CONFIG_ACPI
  80         struct acpi_buffer buffer = { ACPI_ALLOCATE_BUFFER, NULL };
  81         struct device *dev = vdev->device;
  82         acpi_handle handle = ACPI_HANDLE(dev);
  83         acpi_status acpi_ret;
  84
  85         acpi_ret = acpi_evaluate_object(handle, "_RST", NULL, &buffer);
  86         if (ACPI_FAILURE(acpi_ret)) {
  87                 if (extra_dbg)
  88                         *extra_dbg = acpi_format_exception(acpi_ret);
  89                 return -EINVAL;
  90         }
  91
  92         return 0;
  93 #else
  94         return -ENOENT;
  95 #endif
  96 }
  97
  98 bool vfio_platform_acpi_has_reset(struct vfio_platform_device *vdev)
  99 {
 100 #ifdef CONFIG_ACPI
 101         struct device *dev = vdev->device;
 102         acpi_handle handle = ACPI_HANDLE(dev);
 103
 104         return acpi_has_method(handle, "_RST");
 105 #else
 106         return false;
 107 #endif
 108 }
 109
 110 static bool vfio_platform_has_reset(struct vfio_platform_device *vdev)
 111 {
 112         if (VFIO_PLATFORM_IS_ACPI(vdev))
 113                 return vfio_platform_acpi_has_reset(vdev);
 114
 115         return vdev->of_reset ? true : false;
 116 }
 117
 118 static void vfio_platform_get_reset(struct vfio_platform_device *vdev)
 119 {
 120         if (VFIO_PLATFORM_IS_ACPI(vdev))
 121                 return;
 122
 123         vdev->of_reset = vfio_platform_lookup_reset(vdev->compat,
 124                                                     &vdev->reset_module);
 125         if (!vdev->of_reset) {
 126                 request_module("vfio-reset:%s", vdev->compat);
 127                 vdev->of_reset = vfio_platform_lookup_reset(vdev->compat,
 128                                                         &vdev->reset_module);
 129         }
 130 }
 131
 132 static void vfio_platform_put_reset(struct vfio_platform_device *vdev)
 133 {
 134         if (VFIO_PLATFORM_IS_ACPI(vdev))
 135                 return;
 136
 137         if (vdev->of_reset)
 138                 module_put(vdev->reset_module);
 139 }
 140
 141 static int vfio_platform_regions_init(struct vfio_platform_device *vdev)
 142 {
 143         int cnt = 0, i;
 144
 145         while (vdev->get_resource(vdev, cnt))
 146                 cnt++;
 147
 148         vdev->regions = kcalloc(cnt, sizeof(struct vfio_platform_region),
 149                                 GFP_KERNEL);
 150         if (!vdev->regions)
 151                 return -ENOMEM;
 152
 153         for (i = 0; i < cnt;  i++) {
 154                 struct resource *res =
 155                         vdev->get_resource(vdev, i);
 156
 157                 if (!res)
 158                         goto err;
 159
 160                 vdev->regions[i].addr = res->start;
 161                 vdev->regions[i].size = resource_size(res);
 162                 vdev->regions[i].flags = 0;
 163
 164                 switch (resource_type(res)) {
 165                 case IORESOURCE_MEM:
 166                         vdev->regions[i].type = VFIO_PLATFORM_REGION_TYPE_MMIO;
 167                         vdev->regions[i].flags |= VFIO_REGION_INFO_FLAG_READ;
 168                         if (!(res->flags & IORESOURCE_READONLY))
 169                                 vdev->regions[i].flags |=
 170                                         VFIO_REGION_INFO_FLAG_WRITE;
 171
 172                         /*
 173                          * Only regions addressed with PAGE granularity may be
 174                          * MMAPed securely.
 175                          */
 176                         if (!(vdev->regions[i].addr & ~PAGE_MASK) &&
 177                                         !(vdev->regions[i].size & ~PAGE_MASK))
 178                                 vdev->regions[i].flags |=
 179                                         VFIO_REGION_INFO_FLAG_MMAP;
 180
 181                         break;
 182                 case IORESOURCE_IO:
 183                         vdev->regions[i].type = VFIO_PLATFORM_REGION_TYPE_PIO;
 184                         break;
 185                 default:
 186                         goto err;
 187                 }
 188         }
 189
 190         vdev->num_regions = cnt;
 191
 192         return 0;
 193 err:
 194         kfree(vdev->regions);
 195         return -EINVAL;
 196 }
 197
 198 static void vfio_platform_regions_cleanup(struct vfio_platform_device *vdev)
 199 {
 200         int i;
 201
 202         for (i = 0; i < vdev->num_regions; i++)
 203                 iounmap(vdev->regions[i].ioaddr);
 204
 205         vdev->num_regions = 0;
 206         kfree(vdev->regions);
 207 }
 208
 209 static int vfio_platform_call_reset(struct vfio_platform_device *vdev,
 210                                     const char **extra_dbg)
 211 {
 212         if (VFIO_PLATFORM_IS_ACPI(vdev)) {
 213                 dev_info(vdev->device, "reset\n");
 214                 return vfio_platform_acpi_call_reset(vdev, extra_dbg);
 215         } else if (vdev->of_reset) {
 216                 dev_info(vdev->device, "reset\n");
 217                 return vdev->of_reset(vdev);
 218         }
 219
 220         dev_warn(vdev->device, "no reset function found!\n");
 221         return -EINVAL;
 222 }
 223
 224 static void vfio_platform_release(void *device_data)
 225 {
 226         struct vfio_platform_device *vdev = device_data;
 227
 228         mutex_lock(&driver_lock);
 229
 230         if (!(--vdev->refcnt)) {
 231                 vfio_platform_call_reset(vdev, NULL);
 232                 vfio_platform_regions_cleanup(vdev);
 233                 vfio_platform_irq_cleanup(vdev);
 234         }
 235
 236         mutex_unlock(&driver_lock);
 237
 238         module_put(vdev->parent_module);
 239 }
 240
 241 static int vfio_platform_open(void *device_data)
 242 {
 243         struct vfio_platform_device *vdev = device_data;
 244         int ret;
 245
 246         if (!try_module_get(vdev->parent_module))
 247                 return -ENODEV;
 248
 249         mutex_lock(&driver_lock);
 250
 251         if (!vdev->refcnt) {
 252                 ret = vfio_platform_regions_init(vdev);
 253                 if (ret)
 254                         goto err_reg;
 255
 256                 ret = vfio_platform_irq_init(vdev);
 257                 if (ret)
 258                         goto err_irq;
 259
 260                 vfio_platform_call_reset(vdev, NULL);
 261         }
 262
 263         vdev->refcnt++;
 264
 265         mutex_unlock(&driver_lock);
 266         return 0;
 267
 268 err_irq:
 269         vfio_platform_regions_cleanup(vdev);
 270 err_reg:
 271         mutex_unlock(&driver_lock);
 272         module_put(THIS_MODULE);
 273         return ret;
 274 }
 275
 276 static long vfio_platform_ioctl(void *device_data,
 277                                 unsigned int cmd, unsigned long arg)
 278 {
 279         struct vfio_platform_device *vdev = device_data;
 280         unsigned long minsz;
 281
 282         if (cmd == VFIO_DEVICE_GET_INFO) {
 283                 struct vfio_device_info info;
 284
 285                 minsz = offsetofend(struct vfio_device_info, num_irqs);
 286
 287                 if (copy_from_user(&info, (void __user *)arg, minsz))
 288                         return -EFAULT;
 289
 290                 if (info.argsz < minsz)
 291                         return -EINVAL;
 292
 293                 if (vfio_platform_has_reset(vdev))
 294                         vdev->flags |= VFIO_DEVICE_FLAGS_RESET;
 295                 info.flags = vdev->flags;
 296                 info.num_regions = vdev->num_regions;
 297                 info.num_irqs = vdev->num_irqs;
 298
 299                 return copy_to_user((void __user *)arg, &info, minsz) ?
 300                         -EFAULT : 0;
 301
 302         } else if (cmd == VFIO_DEVICE_GET_REGION_INFO) {
 303                 struct vfio_region_info info;
 304
 305                 minsz = offsetofend(struct vfio_region_info, offset);
 306
 307                 if (copy_from_user(&info, (void __user *)arg, minsz))
 308                         return -EFAULT;
 309
 310                 if (info.argsz < minsz)
 311                         return -EINVAL;
 312
 313                 if (info.index >= vdev->num_regions)
 314                         return -EINVAL;
 315
 316                 /* map offset to the physical address  */
 317                 info.offset = VFIO_PLATFORM_INDEX_TO_OFFSET(info.index);
 318                 info.size = vdev->regions[info.index].size;
 319                 info.flags = vdev->regions[info.index].flags;
 320
 321                 return copy_to_user((void __user *)arg, &info, minsz) ?
 322                         -EFAULT : 0;
 323
 324         } else if (cmd == VFIO_DEVICE_GET_IRQ_INFO) {
 325                 struct vfio_irq_info info;
 326
 327                 minsz = offsetofend(struct vfio_irq_info, count);
 328
 329                 if (copy_from_user(&info, (void __user *)arg, minsz))
 330                         return -EFAULT;
 331
 332                 if (info.argsz < minsz)
 333                         return -EINVAL;
 334
 335                 if (info.index >= vdev->num_irqs)
 336                         return -EINVAL;
 337
 338                 info.flags = vdev->irqs[info.index].flags;
 339                 info.count = vdev->irqs[info.index].count;
 340
 341                 return copy_to_user((void __user *)arg, &info, minsz) ?
 342                         -EFAULT : 0;
 343
 344         } else if (cmd == VFIO_DEVICE_SET_IRQS) {
 345                 struct vfio_irq_set hdr;
 346                 u8 *data = NULL;
 347                 int ret = 0;
 348
 349                 minsz = offsetofend(struct vfio_irq_set, count);
 350
 351                 if (copy_from_user(&hdr, (void __user *)arg, minsz))
 352                         return -EFAULT;
 353
 354                 if (hdr.argsz < minsz)
 355                         return -EINVAL;
 356
 357                 if (hdr.index >= vdev->num_irqs)
 358                         return -EINVAL;
 359
 360                 if (hdr.flags & ~(VFIO_IRQ_SET_DATA_TYPE_MASK |
 361                                   VFIO_IRQ_SET_ACTION_TYPE_MASK))
 362                         return -EINVAL;
 363
 364                 if (!(hdr.flags & VFIO_IRQ_SET_DATA_NONE)) {
 365                         size_t size;
 366
 367                         if (hdr.flags & VFIO_IRQ_SET_DATA_BOOL)
 368                                 size = sizeof(uint8_t);
 369                         else if (hdr.flags & VFIO_IRQ_SET_DATA_EVENTFD)
 370                                 size = sizeof(int32_t);
 371                         else
 372                                 return -EINVAL;
 373
 374                         if (hdr.argsz - minsz < size)
 375                                 return -EINVAL;
 376
 377                         data = memdup_user((void __user *)(arg + minsz), size);
 378                         if (IS_ERR(data))
 379                                 return PTR_ERR(data);
 380                 }
 381
 382                 mutex_lock(&vdev->igate);
 383
 384                 ret = vfio_platform_set_irqs_ioctl(vdev, hdr.flags, hdr.index,
 385                                                    hdr.start, hdr.count, data);
 386                 mutex_unlock(&vdev->igate);
 387                 kfree(data);
 388
 389                 return ret;
 390
 391         } else if (cmd == VFIO_DEVICE_RESET) {
 392                 return vfio_platform_call_reset(vdev, NULL);
 393         }
 394
 395         return -ENOTTY;
 396 }
 397
 398 static ssize_t vfio_platform_read_mmio(struct vfio_platform_region *reg,
 399                                        char __user *buf, size_t count,
 400                                        loff_t off)
 401 {
 402         unsigned int done = 0;
 403
 404         if (!reg->ioaddr) {
 405                 reg->ioaddr =
 406                         ioremap_nocache(reg->addr, reg->size);
 407
 408                 if (!reg->ioaddr)
 409                         return -ENOMEM;
 410         }
 411
 412         while (count) {
 413                 size_t filled;
 414
 415                 if (count >= 4 && !(off % 4)) {
 416                         u32 val;
 417
 418                         val = ioread32(reg->ioaddr + off);
 419                         if (copy_to_user(buf, &val, 4))
 420                                 goto err;
 421
 422                         filled = 4;
 423                 } else if (count >= 2 && !(off % 2)) {
 424                         u16 val;
 425
 426                         val = ioread16(reg->ioaddr + off);
 427                         if (copy_to_user(buf, &val, 2))
 428                                 goto err;
 429
 430                         filled = 2;
 431                 } else {
 432                         u8 val;
 433
 434                         val = ioread8(reg->ioaddr + off);
 435                         if (copy_to_user(buf, &val, 1))
 436                                 goto err;
 437
 438                         filled = 1;
 439                 }
 440
 441
 442                 count -= filled;
 443                 done += filled;
 444                 off += filled;
 445                 buf += filled;
 446         }
 447
 448         return done;
 449 err:
 450         return -EFAULT;
 451 }
 452
 453 static ssize_t vfio_platform_read(void *device_data, char __user *buf,
 454                                   size_t count, loff_t *ppos)
 455 {
 456         struct vfio_platform_device *vdev = device_data;
 457         unsigned int index = VFIO_PLATFORM_OFFSET_TO_INDEX(*ppos);
 458         loff_t off = *ppos & VFIO_PLATFORM_OFFSET_MASK;
 459
 460         if (index >= vdev->num_regions)
 461                 return -EINVAL;
 462
 463         if (!(vdev->regions[index].flags & VFIO_REGION_INFO_FLAG_READ))
 464                 return -EINVAL;
 465
 466         if (vdev->regions[index].type & VFIO_PLATFORM_REGION_TYPE_MMIO)
 467                 return vfio_platform_read_mmio(&vdev->regions[index],
 468                                                         buf, count, off);
 469         else if (vdev->regions[index].type & VFIO_PLATFORM_REGION_TYPE_PIO)
 470                 return -EINVAL; /* not implemented */
 471
 472         return -EINVAL;
 473 }
 474
 475 static ssize_t vfio_platform_write_mmio(struct vfio_platform_region *reg,
 476                                         const char __user *buf, size_t count,
 477                                         loff_t off)
 478 {
 479         unsigned int done = 0;
 480
 481         if (!reg->ioaddr) {
 482                 reg->ioaddr =
 483                         ioremap_nocache(reg->addr, reg->size);
 484
 485                 if (!reg->ioaddr)
 486                         return -ENOMEM;
 487         }
 488
 489         while (count) {
 490                 size_t filled;
 491
 492                 if (count >= 4 && !(off % 4)) {
 493                         u32 val;
 494
 495                         if (copy_from_user(&val, buf, 4))
 496                                 goto err;
 497                         iowrite32(val, reg->ioaddr + off);
 498
 499                         filled = 4;
 500                 } else if (count >= 2 && !(off % 2)) {
 501                         u16 val;
 502
 503                         if (copy_from_user(&val, buf, 2))
 504                                 goto err;
 505                         iowrite16(val, reg->ioaddr + off);
 506
 507                         filled = 2;
 508                 } else {
 509                         u8 val;
 510
 511                         if (copy_from_user(&val, buf, 1))
 512                                 goto err;
 513                         iowrite8(val, reg->ioaddr + off);
 514
 515                         filled = 1;
 516                 }
 517
 518                 count -= filled;
 519                 done += filled;
 520                 off += filled;
 521                 buf += filled;
 522         }
 523
 524         return done;
 525 err:
 526         return -EFAULT;
 527 }
 528
 529 static ssize_t vfio_platform_write(void *device_data, const char __user *buf,
 530                                    size_t count, loff_t *ppos)
 531 {
 532         struct vfio_platform_device *vdev = device_data;
 533         unsigned int index = VFIO_PLATFORM_OFFSET_TO_INDEX(*ppos);
 534         loff_t off = *ppos & VFIO_PLATFORM_OFFSET_MASK;
 535
 536         if (index >= vdev->num_regions)
 537                 return -EINVAL;
 538
 539         if (!(vdev->regions[index].flags & VFIO_REGION_INFO_FLAG_WRITE))
 540                 return -EINVAL;
 541
 542         if (vdev->regions[index].type & VFIO_PLATFORM_REGION_TYPE_MMIO)
 543                 return vfio_platform_write_mmio(&vdev->regions[index],
 544                                                         buf, count, off);
 545         else if (vdev->regions[index].type & VFIO_PLATFORM_REGION_TYPE_PIO)
 546                 return -EINVAL; /* not implemented */
 547
 548         return -EINVAL;
 549 }
 550
 551 static int vfio_platform_mmap_mmio(struct vfio_platform_region region,
 552                                    struct vm_area_struct *vma)
 553 {
 554         u64 req_len, pgoff, req_start;
 555
 556         req_len = vma->vm_end - vma->vm_start;
 557         pgoff = vma->vm_pgoff &
 558                 ((1U << (VFIO_PLATFORM_OFFSET_SHIFT - PAGE_SHIFT)) - 1);
 559         req_start = pgoff << PAGE_SHIFT;
 560
 561         if (region.size < PAGE_SIZE || req_start + req_len > region.size)
 562                 return -EINVAL;
 563
 564         vma->vm_page_prot = pgprot_noncached(vma->vm_page_prot);
 565         vma->vm_pgoff = (region.addr >> PAGE_SHIFT) + pgoff;
 566
 567         return remap_pfn_range(vma, vma->vm_start, vma->vm_pgoff,
 568                                req_len, vma->vm_page_prot);
 569 }
 570
 571 static int vfio_platform_mmap(void *device_data, struct vm_area_struct *vma)
 572 {
 573         struct vfio_platform_device *vdev = device_data;
 574         unsigned int index;
 575
 576         index = vma->vm_pgoff >> (VFIO_PLATFORM_OFFSET_SHIFT - PAGE_SHIFT);
 577
 578         if (vma->vm_end < vma->vm_start)
 579                 return -EINVAL;
 580         if (!(vma->vm_flags & VM_SHARED))
 581                 return -EINVAL;
 582         if (index >= vdev->num_regions)
 583                 return -EINVAL;
 584         if (vma->vm_start & ~PAGE_MASK)
 585                 return -EINVAL;
 586         if (vma->vm_end & ~PAGE_MASK)
 587                 return -EINVAL;
 588
 589         if (!(vdev->regions[index].flags & VFIO_REGION_INFO_FLAG_MMAP))
 590                 return -EINVAL;
 591
 592         if (!(vdev->regions[index].flags & VFIO_REGION_INFO_FLAG_READ)
 593                         && (vma->vm_flags & VM_READ))
 594                 return -EINVAL;
 595
 596         if (!(vdev->regions[index].flags & VFIO_REGION_INFO_FLAG_WRITE)
 597                         && (vma->vm_flags & VM_WRITE))
 598                 return -EINVAL;
 599
 600         vma->vm_private_data = vdev;
 601
 602         if (vdev->regions[index].type & VFIO_PLATFORM_REGION_TYPE_MMIO)
 603                 return vfio_platform_mmap_mmio(vdev->regions[index], vma);
 604
 605         else if (vdev->regions[index].type & VFIO_PLATFORM_REGION_TYPE_PIO)
 606                 return -EINVAL; /* not implemented */
 607
 608         return -EINVAL;
 609 }
 610
 611 static const struct vfio_device_ops vfio_platform_ops = {
 612         .name           = "vfio-platform",
 613         .open           = vfio_platform_open,
 614         .release        = vfio_platform_release,
 615         .ioctl          = vfio_platform_ioctl,
 616         .read           = vfio_platform_read,
 617         .write          = vfio_platform_write,
 618         .mmap           = vfio_platform_mmap,
 619 };
 620
 621 int vfio_platform_of_probe(struct vfio_platform_device *vdev,
 622                            struct device *dev)
 623 {
 624         int ret;
 625
 626         ret = device_property_read_string(dev, "compatible",
 627                                           &vdev->compat);
 628         if (ret)
 629                 pr_err("VFIO: cannot retrieve compat for %s\n",
 630                         vdev->name);
 631
 632         return ret;
 633 }
 634
 635 /*
 636  * There can be two kernel build combinations. One build where
 637  * ACPI is not selected in Kconfig and another one with the ACPI Kconfig.
 638  *
 639  * In the first case, vfio_platform_acpi_probe will return since
 640  * acpi_disabled is 1. DT user will not see any kind of messages from
 641  * ACPI.
 642  *
 643  * In the second case, both DT and ACPI is compiled in but the system is
 644  * booting with any of these combinations.
 645  *
 646  * If the firmware is DT type, then acpi_disabled is 1. The ACPI probe routine
 647  * terminates immediately without any messages.
 648  *
 649  * If the firmware is ACPI type, then acpi_disabled is 0. All other checks are
 650  * valid checks. We cannot claim that this system is DT.
 651  */
 652 int vfio_platform_probe_common(struct vfio_platform_device *vdev,
 653                                struct device *dev)
 654 {
 655         struct iommu_group *group;
 656         int ret;
 657
 658         if (!vdev)
 659                 return -EINVAL;
 660
 661         ret = vfio_platform_acpi_probe(vdev, dev);
 662         if (ret)
 663                 ret = vfio_platform_of_probe(vdev, dev);
 664
 665         if (ret)
 666                 return ret;
 667
 668         vdev->device = dev;
 669
 670         group = vfio_iommu_group_get(dev);
 671         if (!group) {
 672                 pr_err("VFIO: No IOMMU group for device %s\n", vdev->name);
 673                 return -EINVAL;
 674         }
 675
 676         ret = vfio_add_group_dev(dev, &vfio_platform_ops, vdev);
 677         if (ret) {
 678                 vfio_iommu_group_put(group, dev);
 679                 return ret;
 680         }
 681
 682         vfio_platform_get_reset(vdev);
 683
 684         mutex_init(&vdev->igate);
 685
 686         return 0;
 687 }
 688 EXPORT_SYMBOL_GPL(vfio_platform_probe_common);
 689
 690 struct vfio_platform_device *vfio_platform_remove_common(struct device *dev)
 691 {
 692         struct vfio_platform_device *vdev;
 693
 694         vdev = vfio_del_group_dev(dev);
 695
 696         if (vdev) {
 697                 vfio_platform_put_reset(vdev);
 698                 vfio_iommu_group_put(dev->iommu_group, dev);
 699         }
 700
 701         return vdev;
 702 }
 703 EXPORT_SYMBOL_GPL(vfio_platform_remove_common);
 704
 705 void __vfio_platform_register_reset(struct vfio_platform_reset_node *node)
 706 {
 707         mutex_lock(&driver_lock);
 708         list_add(&node->link, &reset_list);
 709         mutex_unlock(&driver_lock);
 710 }
 711 EXPORT_SYMBOL_GPL(__vfio_platform_register_reset);
 712
 713 void vfio_platform_unregister_reset(const char *compat,
 714                                     vfio_platform_reset_fn_t fn)
 715 {
 716         struct vfio_platform_reset_node *iter, *temp;
 717
 718         mutex_lock(&driver_lock);
 719         list_for_each_entry_safe(iter, temp, &reset_list, link) {
 720                 if (!strcmp(iter->compat, compat) && (iter->of_reset == fn)) {
 721                         list_del(&iter->link);
 722                         break;
 723                 }
 724         }
 725
 726         mutex_unlock(&driver_lock);
 727
 728 }
 729 EXPORT_SYMBOL_GPL(vfio_platform_unregister_reset);
 730
 731 MODULE_VERSION(DRIVER_VERSION);
 732 MODULE_LICENSE("GPL v2");
 733 MODULE_AUTHOR(DRIVER_AUTHOR);
 734 MODULE_DESCRIPTION(DRIVER_DESC);