@Konrad

I'm interesting in testing your latest iteration of bus reset support.  Actually I cloned your devel/xen-pciback.slot_and_bus.v2.1 branch and tested that but did not seem to reset the vga card.  I did capture dmesg output which was nice and clean regarding resetting the device but don't have it handy.