New upstream version 18.11-rc1

[deb_dpdk.git] / drivers / net / sfc / base / ef10_image.c

diff --git a/drivers/net/sfc/base/ef10_image.c b/drivers/net/sfc/base/ef10_image.c
index 6fb7e47..c035e0d 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)
@@ -704,7 +705,7 @@ efx_build_signed_image_write_buffer(
         * results in the layout used for the data chunks and chunk headers.
         */
        /* END CSTYLED */
-       memset(bufferp, buffer_size, 0xFF);
+       memset(bufferp, 0xFF, buffer_size);
 
        EFX_STATIC_ASSERT(sizeof (chunk_hdr) == SIGNED_IMAGE_CHUNK_HDR_LEN);
        memset(&chunk_hdr, 0, SIGNED_IMAGE_CHUNK_HDR_LEN);