/*
   * Copyright 2015 Freescale Semiconductor, Inc.
   *
   * SPDX-License-Identifier:	GPL-2.0+
   */
  
  #ifndef __FSL_DEVDIS_H_
  #define __FSL_DEVDIS_H_
  
  struct devdis_table {
  	char name[32];
  	u32 offset;
  	u32 mask;
  };
  
  void device_disable(const struct devdis_table *tbl, uint32_t num);
  
  #endif