xref: /aosp_15_r20/external/coreboot/src/soc/intel/apollolake/pdpt.c (revision b9411a12aaaa7e1e6a6fb7c5e057f44ee179a49c)
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