diff --git a/sys/dev/sfxge/common/ef10_mcdi.c b/sys/dev/sfxge/common/ef10_mcdi.c
index 202da54ee743..6df9cf7d2045 100644
--- a/sys/dev/sfxge/common/ef10_mcdi.c
+++ b/sys/dev/sfxge/common/ef10_mcdi.c
@@ -213,6 +213,7 @@ ef10_mcdi_poll_reboot(
 		 * this can be handled by common code drivers (and reworked to
 		 * support Siena too).
 		 */
+		_NOTE(CONSTANTCONDITION)
 		if (B_FALSE) {
 			rc = EIO;
 			goto fail1;
diff --git a/sys/dev/sfxge/common/ef10_nic.c b/sys/dev/sfxge/common/ef10_nic.c
index 1482d7c5d152..f825391c1eb4 100644
--- a/sys/dev/sfxge/common/ef10_nic.c
+++ b/sys/dev/sfxge/common/ef10_nic.c
@@ -1677,6 +1677,7 @@ ef10_nic_register_test(
 
 	/* FIXME */
 	_NOTE(ARGUNUSED(enp))
+	_NOTE(CONSTANTCONDITION)
 	if (B_FALSE) {
 		rc = ENOTSUP;
 		goto fail1;
diff --git a/sys/dev/sfxge/common/ef10_tx.c b/sys/dev/sfxge/common/ef10_tx.c
index da490e149bb2..a4729a11ad71 100755
--- a/sys/dev/sfxge/common/ef10_tx.c
+++ b/sys/dev/sfxge/common/ef10_tx.c
@@ -649,6 +649,7 @@ ef10_tx_qpace(
 
 	/* FIXME */
 	_NOTE(ARGUNUSED(etp, ns))
+	_NOTE(CONSTANTCONDITION)
 	if (B_FALSE) {
 		rc = ENOTSUP;
 		goto fail1;