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