summaryrefslogtreecommitdiff
path: root/src/arch/arm/tlbi_op.cc
AgeCommit message (Expand)Author
2018-03-23arch-arm: Distinguish IS TLBI from non-ISGiacomo Travaglini