Hello Marek, On 11/04/2016 04:58 AM, Marek Szyprowski wrote: > Add master device name to default IOMMU fault message to make easier to > find which device triggered the fault. While at it, move printing some > information (like page table base and first level entry addresses) to > dev_dbg(), because those are typically not very useful for typical device > driver user/developer not equipped with hardware debugging tools. > > Signed-off-by: Marek Szyprowski <m.szyprowski@xxxxxxxxxxx> > --- Patch looks good to me. Reviewed-by: Javier Martinez Canillas <javier@xxxxxxxxxxxxxxx> Best regards, -- Javier Martinez Canillas Open Source Group Samsung Research America -- To unsubscribe from this list: send the line "unsubscribe linux-samsung-soc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
 |