/* SPDX-License-Identifier: GPL-2.0+ */

#ifndef _ALLEYCAT5_SOC_H
#define _ALLEYCAT5_SOC_H
void soc_print_device_info(void);
void soc_print_clock_info(void);
#endif /* _ALLEYCAT5_SOC_H */