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