| // SPDX-License-Identifier: GPL-2.0+ |
| * (C) Copyright 2023 SberDevices, Inc. |
| #include <asm/arch/boot.h> |
| #include <asm/armv8/mmu.h> |
| #include <linux/compiler.h> |
| phys_size_t get_effective_memsize(void) |
| return ((readl(A1_SYSCTRL_SEC_STATUS_REG4) & A1_SYSCTRL_MEM_SIZE_MASK) |
| >> A1_SYSCTRL_MEM_SIZE_SHIFT) * SZ_1M; |
| void meson_init_reserved_memory(__maybe_unused void *fdt) |
| int meson_get_boot_device(void) |
| static struct mm_region a1_mem_map[] = { |
| .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) | |
| .attrs = PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) | |
| PTE_BLOCK_PXN | PTE_BLOCK_UXN |
| * This mem region contains in/out shared memory with bl31, |
| * hence it's marked as NORMAL memory type |
| .attrs = PTE_BLOCK_MEMTYPE(MT_NORMAL) | |
| struct mm_region *mem_map = a1_mem_map; |