/* SPDX-License-Identifier: GPL-2.0-only */ #include <types.h> extern u8 _wifi_imem_0[]; /* Linker script supplied */ extern u8 _ewifi_imem_0[]; extern u8 _wifi_imem_1[]; extern u8 _ewifi_imem_1[]; extern u8 _oc_imem[]; extern u8 _eoc_imem[]; enum dram_state { DRAM_INITIALIZED = 0, DRAM_NOT_INITIALIZED = 1, }; void setup_dram_mappings(enum dram_state dram); void setup_mmu(enum dram_state);