ACRN prior to 2.5 has a devicemodel/hw/pci/xhci.c NULL Pointer Dereference for a trb pointer.
linux acrn