I think I’ll take a break from Calgary today as it’s such a beautiful day outside. I verify that all DMA allocations (dma_alloc_coherent, dma_map_single, dma_map_sg) actually have valid TCE entries, and still either the SAS controller or the USB OHCI controller kill the machine on boot. Either I have a bug in both the allocation and verification or these devices are DMA’ing without the drivers having gone through the DMA API first. We’ll see.