On 08/09/2015 08:51, Salva Peiró wrote: > Rigth, I should have started by providing the scenario where the fault occurs. > The problem occurs performing a writeb to the BAR0 of device 1033:194. > That is PCI_DEVICE_ID_NEC_UPD720200 0x0194 at hw/usb/hcd-xhci.c > > I've attached tests/nec-usb-xhci-test.c that reproduces the scenario.
Thanks, this is a good addition. Please submit a fix to hcd-xhci.c and the test case! Paolo