/*
 * (C) Copyright 2024 Rockchip Electronics Co., Ltd
 *
 * SPDX-License-Identifier:     GPL-2.0+
 */

#ifndef TEE_MMC_RPMB_H
#define TEE_MMC_RPMB_H

#include <optee_include/teesmc_v2.h>

TEEC_Result emmc_rpmb_process(t_teesmc32_arg *TeeSmc32Arg);

#endif