/*
   * Copyright 2015 Freescale Semiconductor, Inc.
   * Author: Zhuoyu Zhang <Zhuoyu.Zhang@freescale.com>
   *
   * SPDX-License-Identifier:	GPL-2.0+
   */
  #include <common.h>
  #include <asm/io.h>
  #include <asm/arch-ls102xa/immap_ls102xa.h>
  #include <asm/arch-ls102xa/config.h>
  #include <linux/compiler.h>
  #include <hwconfig.h>
  #include <fsl_devdis.h>
  
  void device_disable(const struct devdis_table *tbl, uint32_t num)
  {
  	int i;
  	struct ccsr_gur __iomem *gur = (void *)CONFIG_SYS_FSL_GUTS_ADDR;
  
  	/*
  	 * Extract hwconfig from environment and disable unused device.
  	 */
  	for (i = 0; i < num; i++) {
  		if (hwconfig_sub("devdis", tbl[i].name))
  			setbits_be32(&gur->devdisr + tbl[i].offset,
  				tbl[i].mask);
  	}
  }