imx_print_silicon_rev
imx_print_silicon_rev(mx31_cpu_type[i].name,
imx_print_silicon_rev("i.MX31", IMX_CHIP_REVISION_UNKNOWN);
imx_print_silicon_rev("i.MX6QP", imx_get_soc_revision() - 0x10);
imx_print_silicon_rev(cpu_is_imx6dl() ? "i.MX6DL" : "i.MX6Q",
imx_print_silicon_rev(cpu_is_imx6ull() ? "i.MX6ULL" : "i.MX6UL",
imx_print_silicon_rev("i.MX25", mx25_revision());
imx_print_silicon_rev("i.MX27", mx27_revision());
imx_print_silicon_rev("i.MX35", mx35_revision());
imx_print_silicon_rev("i.MX50", IMX_CHIP_REVISION_1_1);
imx_print_silicon_rev("i.MX51", mx51_revision());
imx_print_silicon_rev("i.MX53", mx53_revision());
void imx_print_silicon_rev(const char *cpu, int srev);