arm-trusted-firmware/fdts/stm32mp25-bl31.dtsi

// SPDX-License-Identifier: (GPL-2.0-or-later OR BSD-3-Clause)
/*
 * Copyright (C) 2024, STMicroelectronics - All Rights Reserved
 */

/ {
	soc@0 {
		rifsc@42080000 {
			/delete-node/ mmc@48220000;
			/delete-node/ mmc@48230000;
		};
	};
};