| 136 | } |
| 137 | |
| 138 | static bool |
| 139 | dev_is_bound_vfio_platform(const char *dev_name) |
| 140 | { |
| 141 | char *kdrv; |
| 142 | int ret; |
| 143 | |
| 144 | kdrv = dev_kernel_driver_name(dev_name); |
| 145 | if (!kdrv) |
| 146 | return false; |
| 147 | |
| 148 | ret = strcmp(kdrv, "vfio-platform"); |
| 149 | free(kdrv); |
| 150 | |
| 151 | return ret == 0; |
| 152 | } |
| 153 | |
| 154 | static int |
| 155 | platform_bus_scan(void) |
no test coverage detected