// SPDX-License-Identifier: BSD-2-Clause
/*
 * SPDX-FileCopyrightText: Copyright (c) 2025, NVIDIA CORPORATION & AFFILIATES. All rights reserved.
 */

#ifndef __TEGRA_SE_DRIVER_RNG_H__
#define __TEGRA_SE_DRIVER_RNG_H__

#if defined(CFG_TEGRA_SE_RNG1)
TEE_Result se_rng1_get_random(void *data, uint32_t data_len);
#endif

#endif /* __TEGRA_SE_DRIVER_RNG_H__ */
