/* SPDX-License-Identifier: BSD-2-Clause */


#ifndef _BROADCOM_TEE_BNXT_FW_H
#define _BROADCOM_TEE_BNXT_FW_H

#include <linux/types.h>

int tee_bnxt_fw_load(void);
int tee_bnxt_copy_coredump(void *buf, u32 offset, u32 size);

#endif 
