2 * Copyright (C) 2015 Masahiro Yamada <yamada.masahiro@socionext.com>
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <linux/linkage.h>
11 #define NR_SECTIONS 4096
12 #define SECTION_SHIFT 20
13 #define DEVICE 0x00002002 /* Non-shareable Device */
14 #define NORMAL 0x0000000e /* Normal Memory Write-Back, No Write-Allocate */
16 #define TEXT_SECTION ((CONFIG_SPL_TEXT_BASE) >> (SECTION_SHIFT))
17 #define STACK_SECTION ((CONFIG_SPL_STACK) >> (SECTION_SHIFT))
21 ENTRY(init_page_table)
24 .if section == 0 || section == 1 || section == STACK_SECTION
29 .word (section << SECTION_SHIFT) | attr