332 	__in		uint32_t	buffer_size,  in efx_check_signed_image_header()  argument
346 	cursor.length = buffer_size;  in efx_check_signed_image_header()
415 	if ((valp + val_size) > ((uint8_t *)bufferp + buffer_size)) {  in efx_check_signed_image_header()
460 	__in		uint32_t	buffer_size)  in efx_check_unsigned_image()  argument
471 	if (buffer_size < (EFX_FIELD_OFFSET(efx_image_header_t, eih_size) +  in efx_check_unsigned_image()
493 	if (buffer_size < (header->eih_size + header->eih_code_size +  in efx_check_unsigned_image()
530 	__in		uint32_t		buffer_size,  in efx_check_reflash_image()  argument
546 	if (bufferp == NULL || buffer_size == 0) {  in efx_check_reflash_image()
555 	rc = efx_check_signed_image_header(bufferp, buffer_size,  in efx_check_reflash_image()
567 		image_size = buffer_size;  in efx_check_reflash_image()
569 	if (image_offset + image_size > buffer_size) {  in efx_check_reflash_image()
583 	infop->eii_image_size = buffer_size;  in efx_check_reflash_image()
606 	__out_bcount(buffer_size)  in efx_build_signed_image_write_buffer()
608 	__in		uint32_t		buffer_size,  in efx_build_signed_image_write_buffer()  argument
622 	if ((bufferp == NULL) || (buffer_size == 0) ||  in efx_build_signed_image_write_buffer()
644 	if ((cms_header.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
645 	    (cms_header.offset > (buffer_size - cms_header.size))) {  in efx_build_signed_image_write_buffer()
652 	if ((image_header.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
653 	    (image_header.offset > (buffer_size - image_header.size))) {  in efx_build_signed_image_write_buffer()
660 	if ((code.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
661 	    (code.offset > (buffer_size - code.size))) {  in efx_build_signed_image_write_buffer()
668 	if ((image_trailer.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
669 	    (image_trailer.offset > (buffer_size - image_trailer.size))) {  in efx_build_signed_image_write_buffer()
676 	if ((signature.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
677 	    (signature.offset > (buffer_size - signature.size))) {  in efx_build_signed_image_write_buffer()
734 	memset(bufferp, 0xFF, buffer_size);  in efx_build_signed_image_write_buffer()
742 	if (buffer_size < SIGNED_IMAGE_CHUNK_HDR_LEN) {  in efx_build_signed_image_write_buffer()
746 	hdr_offset = buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN;  in efx_build_signed_image_write_buffer()
756 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
757 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
769 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
781 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
782 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
796 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
808 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
809 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
827 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
834 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
835 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
847 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
859 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
860 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()