src/cpu/x86/64bit/pt.S

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 /*
   4  * For reference see "AMD64 Architecture Programmer's Manual Volume 2",
   5  * Document 24593-Rev. 3.31-July 2019 Chapter 5.3.4
   6  *
   7  * Page table attributes: WB, User+Supervisor, Present, Writeable, Accessed, Dirty
   8  */
   9
  10 .section .rodata
  11 #define _PRES (1ULL << 0)
  12 #define _RW   (1ULL << 1)
  13 #define _US   (1ULL << 2)
  14 #define _A    (1ULL << 5)
  15 #define _D    (1ULL << 6)
  16 #define _PS   (1ULL << 7)
  17 #define _GEN_DIR(a) (_PRES + _RW + _US + _A + (a))
  18 #define _GEN_PAGE(a) (_PRES + _RW + _US + _PS + _A +  _D + (a))
  19
  20 .global PM4LE
  21 .align 4096
  22 PM4LE:
  23 .quad _GEN_DIR(PDPT)
  24
  25 .align 4096
  26 PDT: /* identity map 2MiB pages */
  27 .rept 2048
  28 .quad _GEN_PAGE(0x200000 * ((. - PDT) >> 3))
  29 .endr
  30
  31 .align 4096
  32 PDPT: /* Point to PDT */
  33 .rept 4
  34 .quad _GEN_DIR(PDT + 4096 * ((. - PDPT) >> 3))
  35 .endr