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 */
18 ENTRY(init_page_table)
21 .if section == 0 || section == 1
26 .word (section << SECTION_SHIFT) | attr