2 * Copyright (C) 2015 Panasonic Corporation
3 * Copyright (C) 2015 Socionext Inc.
4 * Author: Masahiro Yamada <yamada.masahiro@socionext.com>
6 * SPDX-License-Identifier: GPL-2.0+
10 #include <linux/linkage.h>
13 #define NR_SECTIONS 4096
14 #define SECTION_SHIFT 20
15 #define DEVICE 0x00002002 /* Non-shareable Device */
16 #define NORMAL 0x0000000e /* Normal Memory Write-Back, No Write-Allocate */
18 #define TEXT_SECTION ((CONFIG_SPL_TEXT_BASE) >> (SECTION_SHIFT))
19 #define STACK_SECTION ((CONFIG_SPL_STACK) >> (SECTION_SHIFT))
23 ENTRY(init_page_table)
26 .if section == TEXT_SECTION || section == STACK_SECTION
31 .word (section << SECTION_SHIFT) | attr