tree 754dca3a2dcd7011d7c672d15482e9c50920219f
parent 95e906ce834612eea2205956b2298939ffd76c2e
author Alex Legg <alexlegg@google.com> 1588655727 +1000
committer Alex Legg <alexlegg@google.com> 1588655971 +1000

Use arch specific PCI device filenames

On arm64 the virtio block devices show up under
/dev/disk/by-path/platform-808100000.pci-pci-0000.

Change-Id: Ib3331dfb0b8bccba001da4990da38b3405df4727