On 2015.09.18 at 16:42 +0000, Chris Snook wrote:
> I think atl1e is the victim here, not the cause. It's probably the last
> device being brought up that wants to use the swiotlb, so you haven't seen
> other devices failing for the same reason. Can you post your dmesg or boot
> log from both a boot where it works and one where it doesn't, as well as
> lspci -vvv? You may be able to work around it by passing swiotlb=32768 on
> the kernel command line, which doubles the size of that buffer from the
> default.
> 
> The size of that attempted allocation is strange though. It's slightly
> larger than 512K, and it's odd, which suggests we may have a bug in
> calculating the size of that allocation, though we may be faithfully
> working with what we get from the hardware.

The requested files are attached.

-- 
Markus