for(all affected cache lines) { MCR p15 DCIMVAC cacheLine dsb }
for(all affected cache lines) { MCR p15 DCIMVAC cacheLine } dsb
Iso was me - the account names got changed to match the new user accounts when we imported things across to the Community site, and the ordering became mixed slightly. So the original answer is the post below.
HTH, Pete