tee_bnxt_copy_coredump
EXPORT_SYMBOL(tee_bnxt_copy_coredump);
return tee_bnxt_copy_coredump(buf, 0, *dump_len);
int tee_bnxt_copy_coredump(void *buf, u32 offset, u32 size);