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 }; 13