tree 987d4e9038f71deab52cf814fd0f303609835201
parent 760e2eb6f4e40080a49e6372284c5213bf95475a
author Nikos Nikoleris <nikos.nikoleris@arm.com> 1513771988 +0000
committer Nikos Nikoleris <nikos.nikoleris@arm.com> 1518020079 +0000

arch-arm: Fix printing of the data cache maintenance instructions

Change-Id: I2322c7bf65b38cb07a1ea2b5dc25dfc5a0496cf0
Reviewed-by: Jack Travaglini <giacomo.travaglini@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/7825
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>
Reviewed-by: Giacomo Travaglini <giacomo.travaglini@arm.com>