/* SPDX-License-Identifier: BSD-3-Clause */ | |
/* Generated by: | |
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 | |
*/ | |
#include <stdint.h> | |
uint64_t pdptes[] = { | |
/* Page 0 */ | |
[0] = 0x00000000fef00001ULL, | |
[1] = 0x00000000fef01001ULL, | |
[2] = 0x00000000fef02001ULL, | |
[3] = 0x00000000fef03001ULL, | |
}; |