K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-09-13T15:45:22.994735Z
K 7
svn:log
V 202
Fix the arm64 kernel build when DDB is disabled, debug_monitor.c depends on
DDB, and is unused when it's disabled.

Obtained from:	ABT Systems Ltd
MFC after:	3 days
Sponsored by:	The FreeBSD Foundation

END