/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __MACH_INIT_H #define __MACH_INIT_H void zynq_cpu_lowlevel_init(void); #endif
