1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2024, Telechips Inc. 4 */ 5 6 #ifndef __DRIVERS_TCC_OTP_H 7 #define __DRIVERS_TCC_OTP_H 8 9 #include <tee_api_types.h> 10 11 TEE_Result tcc_otp_read_128(uint32_t offset, uint32_t *buf); 12 TEE_Result tcc_otp_write_128(uint32_t offset, const uint32_t *buf); 13 14 #endif /* __DRIVERS_TCC_OTP_H */ 15