dev/sdhci/sdhci.c

57 static int sdhci_debug;
58 TUNABLE_INT("hw.sdhci.debug", &sdhci_debug);
59 SYSCTL_INT(_hw_sdhci, OID_AUTO, debug, CTLFLAG_RWTUN, &sdhci_debug, 0, "Debug level");
276 	if (bootverbose || sdhci_debug)
607 	if (bootverbose || sdhci_debug) {
1054 	if (sdhci_debug > 1)
1075 	if (sdhci_debug > 1) {
1284 	if (sdhci_debug > 2)
1293 			if (bootverbose || sdhci_debug)
1300 			if (bootverbose || sdhci_debug)