void env_relocate_spec(void) { #if defined(CONFIG_SMDKC100) | defined(CONFIG_SMDKC110) | defined(CONFIG_S5P6442) if (INF_REG3_REG == 1) env_relocate_spec_onenand(); else if (INF_REG3_REG == 2) env_relocate_spec_nand(); else if (INF_REG3_REG == 3) env_relocate_spec_movinand(); else if (INF_REG3_REG == 4) env_relocate_spec_nor(); else use_default(); #elif !defined(CONFIG_SMDK6440) if (INF_REG3_REG >= 2 && INF_REG3_REG <= 6) env_relocate_spec_nand(); else if (INF_REG3_REG == 0 || INF_REG3_REG == 7) env_relocate_spec_movinand(); else if (INF_REG3_REG == 1) env_relocate_spec_onenand(); else printf("Unknown boot device\n"); #else if (INF_REG3_REG >= 3 && INF_REG3_REG <= 6) env_relocate_spec_nand(); else if (INF_REG3_REG == 0 || INF_REG3_REG == 1 || INF_REG3_REG == 7) env_relocate_spec_movinand(); #endif }
void env_relocate_spec(void) { #if defined(CONFIG_SMDKC210)|| defined(CONFIG_SMDKV310) if (INF_REG3_REG == 1) env_relocate_spec_onenand(); else if (INF_REG3_REG == 2) env_relocate_spec_nand(); else if (INF_REG3_REG == 3) env_relocate_spec_movinand(); else use_default(); #endif }