Author: arybchik
Date: Sat Dec 31 11:15:25 2016
New Revision: 310934
URL: https://svnweb.freebsd.org/changeset/base/310934

Log:
  MFC r310696
  
  sfxge(4): cleanup: improve prefast annotations
  
  Submitted by:   Andy Moreton <amoreton at solarflare.com>
  Sponsored by:   Solarflare Communications, Inc.

Modified:
  stable/11/sys/dev/sfxge/common/ef10_impl.h
  stable/11/sys/dev/sfxge/common/ef10_mcdi.c
  stable/11/sys/dev/sfxge/common/siena_impl.h
  stable/11/sys/dev/sfxge/common/siena_mcdi.c
Directory Properties:
  stable/11/   (props changed)

Modified: stable/11/sys/dev/sfxge/common/ef10_impl.h
==============================================================================
--- stable/11/sys/dev/sfxge/common/ef10_impl.h  Sat Dec 31 11:14:03 2016        
(r310933)
+++ stable/11/sys/dev/sfxge/common/ef10_impl.h  Sat Dec 31 11:15:25 2016        
(r310934)
@@ -296,11 +296,11 @@ ef10_mcdi_fini(
 
 extern                 void
 ef10_mcdi_send_request(
-       __in            efx_nic_t *enp,
-       __in            void *hdrp,
-       __in            size_t hdr_len,
-       __in            void *sdup,
-       __in            size_t sdu_len);
+       __in                    efx_nic_t *enp,
+       __in_bcount(hdr_len)    void *hdrp,
+       __in                    size_t hdr_len,
+       __in_bcount(sdu_len)    void *sdup,
+       __in                    size_t sdu_len);
 
 extern __checkReturn   boolean_t
 ef10_mcdi_poll_response(

Modified: stable/11/sys/dev/sfxge/common/ef10_mcdi.c
==============================================================================
--- stable/11/sys/dev/sfxge/common/ef10_mcdi.c  Sat Dec 31 11:14:03 2016        
(r310933)
+++ stable/11/sys/dev/sfxge/common/ef10_mcdi.c  Sat Dec 31 11:15:25 2016        
(r310934)
@@ -110,11 +110,11 @@ ef10_mcdi_fini(
 
                        void
 ef10_mcdi_send_request(
-       __in            efx_nic_t *enp,
-       __in            void *hdrp,
-       __in            size_t hdr_len,
-       __in            void *sdup,
-       __in            size_t sdu_len)
+       __in                    efx_nic_t *enp,
+       __in_bcount(hdr_len)    void *hdrp,
+       __in                    size_t hdr_len,
+       __in_bcount(sdu_len)    void *sdup,
+       __in                    size_t sdu_len)
 {
        const efx_mcdi_transport_t *emtp = enp->en_mcdi.em_emtp;
        efsys_mem_t *esmp = emtp->emt_dma_mem;

Modified: stable/11/sys/dev/sfxge/common/siena_impl.h
==============================================================================
--- stable/11/sys/dev/sfxge/common/siena_impl.h Sat Dec 31 11:14:03 2016        
(r310933)
+++ stable/11/sys/dev/sfxge/common/siena_impl.h Sat Dec 31 11:15:25 2016        
(r310934)
@@ -96,11 +96,11 @@ siena_mcdi_init(
 
 extern                 void
 siena_mcdi_send_request(
-       __in            efx_nic_t *enp,
-       __in            void *hdrp,
-       __in            size_t hdr_len,
-       __in            void *sdup,
-       __in            size_t sdu_len);
+       __in                    efx_nic_t *enp,
+       __in_bcount(hdr_len)    void *hdrp,
+       __in                    size_t hdr_len,
+       __in_bcount(sdu_len)    void *sdup,
+       __in                    size_t sdu_len);
 
 extern __checkReturn   boolean_t
 siena_mcdi_poll_response(

Modified: stable/11/sys/dev/sfxge/common/siena_mcdi.c
==============================================================================
--- stable/11/sys/dev/sfxge/common/siena_mcdi.c Sat Dec 31 11:14:03 2016        
(r310933)
+++ stable/11/sys/dev/sfxge/common/siena_mcdi.c Sat Dec 31 11:15:25 2016        
(r310934)
@@ -54,11 +54,11 @@ __FBSDID("$FreeBSD$");
 
                        void
 siena_mcdi_send_request(
-       __in            efx_nic_t *enp,
-       __in            void *hdrp,
-       __in            size_t hdr_len,
-       __in            void *sdup,
-       __in            size_t sdu_len)
+       __in                    efx_nic_t *enp,
+       __in_bcount(hdr_len)    void *hdrp,
+       __in                    size_t hdr_len,
+       __in_bcount(sdu_len)    void *sdup,
+       __in                    size_t sdu_len)
 {
        efx_mcdi_iface_t *emip = &(enp->en_mcdi.em_emip);
        efx_dword_t dword;
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "[email protected]"

Reply via email to