K 10 svn:author V 3 zbb K 8 svn:date V 27 2016-05-29T17:35:38.209570Z K 7 svn:log V 398 Improve ARM debug_monitor for SMP machines - Reset debug architecture and enable monitor for secondary CPUs in init_secondary() rather than when configuring watchpoint, etc. - Disable HW debugging capabilities when one of the CPU cores fails to set up. - Use dbg_capable() in a more atomic manner to avoid any mismatch between CPUs. Differential Revision: https://reviews.freebsd.org/D6009 END