3 * Stefano Babic, DENX Software Engineering, sbabic@denx.de.
5 * SPDX-License-Identifier: GPL-2.0+
11 u32 get_cpu_rev(void);
12 void mx3_setup_sdram_bank(u32 start_address, u32 ddr2_config,
13 u32 row, u32 col, u32 dsize, u32 refresh);
14 #define is_soc_rev(rev) ((get_cpu_rev() & 0xFF) - rev)