/* SPDX-License-Identifier: GPL-2.0-only */ #include #include void bootblock_soc_init(void) { sc7280_mmu_init(); }