1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Copyright (C) 2017 Texas Instruments Incorporated - http://www.ti.com/
4 */
5
6
7&mmc3 {
8	status = "disabled";
9};
10