K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2011-11-13T21:36:20.733681Z
K 7
svn:log
V 138
Use isb at the end of the various i-cache syncing routines, just to be sure.

Suggested by:	Mark Tinguely <marktinguely aT gmail dOt com>

END