/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Texas Instruments K3 SA2UL Driver
 *
 * Copyright (C) 2022 Texas Instruments Incorporated - https://www.ti.com/
 *	Andrew Davis <afd@ti.com>
 */

#ifndef __DRIVERS_SA2UL_H
#define __DRIVERS_SA2UL_H

#include <tee_api_types.h>

TEE_Result sa2ul_rng_init(void);

#endif /* __DRIVERS_SA2UL_H */
