1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <arch/stages.h>
4 #include <soc/mmu_common.h>
5 #include <soc/symbols_common.h>
6 #include <device/mmio.h>
8 #define MODEM_ONLY 0x004c5445
10 bool soc_modem_carve_out(void **start
, void **end
)
12 uint32_t modem_id
= read32(_modem_id
);