/* DESCRIPTION: return SOC device index INPUT: None OUTPUT: None RETURN: return SOC device index  */
u32 sys_env_id_index_get(u32 ctrl_model)
/* DESCRIPTION: return SOC device index INPUT: None OUTPUT: None RETURN: return SOC device index  */
u32 sys_env_id_index_get(u32 ctrl_model)
{
	switch (ctrl_model) {
	case MV_6820_DEV_ID:
		return MV_6820_INDEX;
	case MV_6810_DEV_ID:
		return MV_6810_INDEX;
	case MV_6811_DEV_ID:
		return MV_6811_INDEX;
	case MV_6828_DEV_ID:
		return MV_6828_INDEX;
	case MV_6920_DEV_ID:
		return MV_6920_INDEX;
	case MV_6928_DEV_ID:
		return MV_6928_INDEX;
	default:
		return MV_6820_INDEX;
	}
}