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

#ifndef __MACH_INIT_H
#define __MACH_INIT_H

void zynq_cpu_lowlevel_init(void);

#endif