svn commit: r295254 - head/sys/arm/arm

[Michal Meloun]

Author: mmel
Date: Thu Feb  4 13:32:29 2016
New Revision: 295254
URL: https://svnweb.freebsd.org/changeset/base/295254

Log:
  ARM: RPI-B kernel was broken by r294740. Make it functional again.

Modified:
  head/sys/arm/arm/debug_monitor.c

Modified: head/sys/arm/arm/debug_monitor.c
==============================================================================
--- head/sys/arm/arm/debug_monitor.c	Thu Feb  4 12:49:28 2016	(r295253)
+++ head/sys/arm/arm/debug_monitor.c	Thu Feb  4 13:32:29 2016	(r295254)
@@ -845,8 +845,10 @@ dbg_arch_supported(void)
 {
 
 	switch (dbg_model) {
+#ifdef not_yet
 	case ID_DFR0_CP_DEBUG_M_V6:
 	case ID_DFR0_CP_DEBUG_M_V6_1:
+#endif
 	case ID_DFR0_CP_DEBUG_M_V7:
 	case ID_DFR0_CP_DEBUG_M_V7_1:	/* fall through */
 		return (TRUE);