LINT/LINT64: Add SAFE_NO_RNG.
authorSascha Wildner <saw@online.de>
Tue, 30 Aug 2011 19:51:31 +0000 (21:51 +0200)
committerSascha Wildner <saw@online.de>
Tue, 30 Aug 2011 19:51:31 +0000 (21:51 +0200)
sys/config/LINT
sys/config/LINT64

index 7f2dd34..f1e4adf 100644 (file)
@@ -2605,6 +2605,7 @@ options           HIFN_RNDTEST    # enable rndtest support
 
 device         safe            # SafeNet 1141
 options        SAFE_DEBUG      # enable debugging support: hw.safe.debug
+#options       SAFE_NO_RNG     # for devices without RNG
 options        SAFE_RNDTEST    # enable rndtest support
 
 device         ubsec           # Broadcom 5501, 5601, 58xx
index a09ec5f..e47227a 100644 (file)
@@ -2375,6 +2375,7 @@ options           HIFN_RNDTEST    # enable rndtest support
 
 device         safe            # SafeNet 1141
 options        SAFE_DEBUG      # enable debugging support: hw.safe.debug
+#options       SAFE_NO_RNG     # for devices without RNG
 options        SAFE_RNDTEST    # enable rndtest support
 
 device         ubsec           # Broadcom 5501, 5601, 58xx