src/soc/intel/apollolake/pdpt.c

   1 /* SPDX-License-Identifier: BSD-3-Clause */
   2 /* Generated by:
   3   util/x86/x86_page_tables --iomap_file=src/soc/intel/apollolake/glk_page_map.txt --metadata_base_address=0xfef00000 --pdpt_output_c_file=src/soc/intel/apollolake/pdpt.c --pt_output_c_file=src/soc/intel/apollolake/pt.c
   4  */
   5 #include <stdint.h>
   6 uint64_t pdptes[] = {
   7         /* Page 0 */
   8         [0] = 0x00000000fef00001ULL,
   9         [1] = 0x00000000fef01001ULL,
  10         [2] = 0x00000000fef02001ULL,
  11         [3] = 0x00000000fef03001ULL,
  12 };