diff options
| -rw-r--r-- | sys/dev/sfxge/common/ef10_mcdi.c | 1 | ||||
| -rw-r--r-- | sys/dev/sfxge/common/ef10_nic.c | 1 | ||||
| -rwxr-xr-x | sys/dev/sfxge/common/ef10_tx.c | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/sys/dev/sfxge/common/ef10_mcdi.c b/sys/dev/sfxge/common/ef10_mcdi.c index 202da54..6df9cf7 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 1482d7c5..f825391c 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 da490e1..a4729a1 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; |
