K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2013-01-15T22:11:28.405295Z
K 7
svn:log
V 84
Use armv7_drain_writebuf() and armv7_context_switch, instead of the arm11
variants.

END