K 10
svn:author
V 3
zbb
K 8
svn:date
V 27
2015-05-06T15:17:28.134575Z
K 7
svn:log
V 199
Add new CP15 operations and DB_SHOW_COMMAND to print CP15 registers

Submitted by:   Wojciech Macek <wma@semihalf.com>
Reviewed by:    imp, Michal Meloun <meloun@miracle.cz>
Obtained from:  Semihalf

END