86             return Err(anyhow!("VFIO-platform not supported"))  in bindDevicesToVfioDriver()
179         return Err(anyhow!("no such device {path:?}"))  in check_platform_device()
184         return Err(anyhow!("{path:?} is not a platform device"))  in check_platform_device()
212         return Err(anyhow!("can't get device name from {path:?}"))  in try_bind_driver()
216         return Err(anyhow!("invalid filename {device:?}"))  in try_bind_driver()
226         return Err(anyhow!("could not unbind {device_str}")).or_service_specific_exception(-1);  in try_bind_driver()
241         return Err(anyhow!("{path:?} still not bound to '{driver}' driver"))  in try_bind_driver()
258         Err(anyhow!("can't get iommu group for {path:?}")).or_service_specific_exception(-1)  in bind_device()
274         Err(anyhow!("{path:?} still bound to vfio driver")).or_service_specific_exception(-1)  in unbind_device()
308         return Err(anyhow!("DtTableHeader is invalid")).or_service_specific_exception(-1);  in get_dt_table_header()
319         return Err(anyhow!("Invalid dtbo index {index}")).or_service_specific_exception(-1);  in get_dt_table_entry()
322         return Err(anyhow!("Unexpected arithmetic result"))  in get_dt_table_entry()
328         return Err(anyhow!("Unexpected arithmetic result"))  in get_dt_table_entry()