K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-09-07T10:13:14.807728Z
K 7
svn:log
V 174
When dropping to EL1 ensure we have written to all special registers by
moving the instruction barrier to just before we drop exception level.

Sponsored by:	ABT Systems Ltd

END