> http://netbsd.org/~kamil/kubsan/0007-boot-real-hardware.txt
for xhci, all of these seem to be the same issue and it appears to be a "high level allocator doesn't know what it is allocating and does not align properly". the problem is likely: #define XHCI_TRB_ALIGN 16 struct xhci_trb { ... } __packed __aligned(XHCI_TRB_ALIGN); which is included in: struct xhci_softc { ... struct xhci_trb sc_result_trb; ... how do we convey the structure alignment needed for softc, or do we fix it by moving it into its own separate aligned allocation? .mrg.