On Tue, Sep 24, 2013 at 04:06:54PM +0100, Andreas Herrmann wrote: > Hi, Hi Andreas, > Following patches fix misc issues, that I've seen when using arm-smmu > driver with MMU-400. Thanks for the patches! I'll respond to each one in turn. Will