gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 01964d8e23c22dbd1061e2e8a101c6da87d9a015 / drivers / virtio / virtio_pci.h