Patrick Georgi | 7051707 | 2020-05-10 18:47:05 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: BSD-3-Clause */ |
Aaron Durbin | 5c9df70 | 2018-04-18 01:05:25 -0600 | [diff] [blame] | 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 | }; |