1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright 2012 Freescale Semiconductor, Inc. 4 */ 5 6#ifndef PBLCRC32_H 7#define PBLCRC32_H 8 9#include <stdint.h> 10uint32_t pbl_crc32(uint32_t in_crc, const char *buf, uint32_t len); 11 12#endif 13