/* SPDX-License-Identifier: (GPL-2.0+ OR MIT) */
/*
 * Copyright (c) 2019 Amlogic, Inc. All rights reserved.
 */

#ifndef __TEE_AML_H
#define __TEE_AML_H

#define TEE_MEM_TYPE_TCON 0xb

u32 tee_protect_tvp_mem(u32 start, u32 size, u32 *handle);

void tee_unprotect_tvp_mem(u32 handle);

u32 tee_protect_mem_by_type(u32 type, u32 start, u32 size, u32 *handle);

void tee_unprotect_mem(u32 handle);

u32 tee_protect_mem(u32 type, u32 level, u32 start, u32 size, u32 *handle);

#endif /* __TEE_AML_H */