1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright 2015 Freescale Semiconductor, Inc.
4 */
5
6#ifndef __FSL_DEVDIS_H_
7#define __FSL_DEVDIS_H_
8
9struct devdis_table {
10	char name[32];
11	u32 offset;
12	u32 mask;
13};
14
15void device_disable(const struct devdis_table *tbl, uint32_t num);
16
17#endif
18