330 	__in		uint32_t	buffer_size,  in efx_check_signed_image_header()  argument
344 	cursor.length = buffer_size;  in efx_check_signed_image_header()
413 	if ((valp + val_size) > ((uint8_t *)bufferp + buffer_size)) {  in efx_check_signed_image_header()
458 	__in		uint32_t	buffer_size)  in efx_check_unsigned_image()  argument
469 	if (buffer_size < (EFX_FIELD_OFFSET(efx_image_header_t, eih_size) +  in efx_check_unsigned_image()
491 	if (buffer_size < (header->eih_size + header->eih_code_size +  in efx_check_unsigned_image()
528 	__in		uint32_t		buffer_size,  in efx_check_reflash_image()  argument
544 	if (bufferp == NULL || buffer_size == 0) {  in efx_check_reflash_image()
553 	rc = efx_check_signed_image_header(bufferp, buffer_size,  in efx_check_reflash_image()
565 		image_size = buffer_size;  in efx_check_reflash_image()
567 	if (image_offset + image_size > buffer_size) {  in efx_check_reflash_image()
581 	infop->eii_image_size = buffer_size;  in efx_check_reflash_image()
604 	__out_bcount(buffer_size)  in efx_build_signed_image_write_buffer()
606 	__in		uint32_t		buffer_size,  in efx_build_signed_image_write_buffer()  argument
620 	if ((bufferp == NULL) || (buffer_size == 0) ||  in efx_build_signed_image_write_buffer()
642 	if ((cms_header.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
643 	    (cms_header.offset > (buffer_size - cms_header.size))) {  in efx_build_signed_image_write_buffer()
650 	if ((image_header.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
651 	    (image_header.offset > (buffer_size - image_header.size))) {  in efx_build_signed_image_write_buffer()
658 	if ((code.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
659 	    (code.offset > (buffer_size - code.size))) {  in efx_build_signed_image_write_buffer()
666 	if ((image_trailer.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
667 	    (image_trailer.offset > (buffer_size - image_trailer.size))) {  in efx_build_signed_image_write_buffer()
674 	if ((signature.size > buffer_size) ||  in efx_build_signed_image_write_buffer()
675 	    (signature.offset > (buffer_size - signature.size))) {  in efx_build_signed_image_write_buffer()
732 	memset(bufferp, 0xFF, buffer_size);  in efx_build_signed_image_write_buffer()
740 	if (buffer_size < SIGNED_IMAGE_CHUNK_HDR_LEN) {  in efx_build_signed_image_write_buffer()
744 	hdr_offset = buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN;  in efx_build_signed_image_write_buffer()
754 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
755 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
767 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
779 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
780 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
794 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
806 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
807 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
825 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
832 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
833 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()
845 	if (hdr_offset > (buffer_size - SIGNED_IMAGE_CHUNK_HDR_LEN)) {  in efx_build_signed_image_write_buffer()
857 	if ((chunk_hdr.len > buffer_size) ||  in efx_build_signed_image_write_buffer()
858 	    (chunk_hdr.offset > (buffer_size - chunk_hdr.len))) {  in efx_build_signed_image_write_buffer()