net/sfc/base: fix output buffer SAL annotation

Found by PreFAST warnings.

Fixes: 3f2f0189dd44 ("net/sfc/base: add signed image layout support")
Cc: stable@dpdk.org
Signed-off-by: Martin Harvey <mharvey@solarflare.com>
Signed-off-by: Andrew Rybchenko <arybchenko@solarflare.com>

diff --git a/drivers/net/sfc/base/ef10_image.c b/drivers/net/sfc/base/ef10_image.c
index 0d889876278b0904da219dbf6d0d8e045d9d398e..c035e0df6f4a98f0d75fec09f8d01cc27837b966 100644 (file)
--- a/drivers/net/sfc/base/ef10_image.c
+++ b/drivers/net/sfc/base/ef10_image.c
@@ -577,7 +577,8 @@ fail1:
 
        __checkReturn   efx_rc_t
 efx_build_signed_image_write_buffer(
-       __out           uint8_t                 *bufferp,
+       __out_bcount(buffer_size)
+                       uint8_t                 *bufferp,
        __in            uint32_t                buffer_size,
        __in            efx_image_info_t        *infop,
        __out           efx_image_header_t      **headerpp)

diff --git a/drivers/net/sfc/base/efx.h b/drivers/net/sfc/base/efx.h
index 5108b9b1f61fb331edd530364ddce14ee1ea433f..53cbc98586008f6c340a0813fc3594fb4f553c8c 100644 (file)
--- a/drivers/net/sfc/base/efx.h
+++ b/drivers/net/sfc/base/efx.h
@@ -1689,7 +1689,8 @@ efx_check_reflash_image(
 
 extern __checkReturn   efx_rc_t
 efx_build_signed_image_write_buffer(
-       __out           uint8_t                 *bufferp,
+       __out_bcount(buffer_size)
+                       uint8_t                 *bufferp,
        __in            uint32_t                buffer_size,
        __in            efx_image_info_t        *infop,
        __out           efx_image_header_t      **headerpp);