2 #include <linux/linkage.h>
5 #define NR_SECTIONS 4096
6 #define SECTION_SHIFT 20
7 #define DEVICE 0x00002002 /* Non-shareable Device */
8 #define NORMAL 0x0000000e /* Normal Memory Write-Back, No Write-Allocate */
10 #define TEXT_SECTION ((CONFIG_SPL_TEXT_BASE) >> (SECTION_SHIFT))
11 #define STACK_SECTION ((CONFIG_SYS_INIT_SP_ADDR) >> (SECTION_SHIFT))
15 ENTRY(init_page_table)
18 .if section == TEXT_SECTION || section == STACK_SECTION
23 .word (section << SECTION_SHIFT) | attr