/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (C) STMicroelectronics 2024 - All Rights Reserved
 */

#ifndef __DRIVERS_STM32MP2_RCC_UTIL_H__
#define __DRIVERS_STM32MP2_RCC_UTIL_H__

#include <types_ext.h>

/* Return RCC base address */
vaddr_t stm32_rcc_base(void);

#endif /*__DRIVERS_STM32MP2_RCC_UTIL_H__*/