[PATCH v9 11/12] arm64: Add pgprot_device() interface for device mappings.

[Catalin Marinas]

On Tue, Aug 12, 2014 at 05:25:24PM +0100, Liviu Dudau wrote:
> Add pgprot_device(). It will be aliased to pgprot_noncached for
> architectures that do not support special attributes for device
> mapping. Used by arm64 to define new attributes for devices.
> 
> Cc: Arnd Bergmann <arnd at arndb.de>
> Cc: Catalin Marinas <catalin.marinas at arm.com>
> Signed-off-by: Liviu Dudau <Liviu.Dudau at arm.com>

Acked-by: Catalin Marinas <catalin.marinas at arm.com>