tree 7e14b0e9d5386a835cd46d0c9751765acec82399
parent d524eaa2a8c08efcdf905acf07cfa770e481ca6b
author Vladimir Murzin <vladimir.murzin@arm.com> 1478087645 +0000
committer Marc Zyngier <marc.zyngier@arm.com> 1480410888 +0000

irqchip/gic-v3-its: Specialise flush_dcache operation

It'd be better to switch to CMA... but before that done redirect
flush_dcache operation, so 32-bit implementation could be wired
latter.

Signed-off-by: Vladimir Murzin <vladimir.murzin@arm.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>