svn commit: r310934 - stable/11/sys/dev/sfxge/common

[Andrew Rybchenko]

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;