K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2012-03-03T01:22:46.483675Z
K 7
svn:log
V 106
Introduce armv7_sev() and armv7_auxctrl.
Use broadcasting TLB functions for SMP, instead of sending IPIs.

END