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