Re: [PATCH RESEND] iommu/exynos: Improve page fault debug message

2016-11-04 Thread Javier Martinez Canillas
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(), becau

[PATCH RESEND] iommu/exynos: Improve page fault debug message

2016-11-04 Thread Marek Szyprowski
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/