]>
Commit | Line | Data |
---|---|---|
b0d623f7 A |
1 | /* |
2 | * Copyright (c) 2008 Apple Inc. All rights reserved. | |
3 | * | |
4 | * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ | |
5 | * | |
6 | * This file contains Original Code and/or Modifications of Original Code | |
7 | * as defined in and that are subject to the Apple Public Source License | |
8 | * Version 2.0 (the 'License'). You may not use this file except in | |
9 | * compliance with the License. The rights granted to you under the License | |
10 | * may not be used to create, or enable the creation or redistribution of, | |
11 | * unlawful or unlicensed copies of an Apple operating system, or to | |
12 | * circumvent, violate, or enable the circumvention or violation of, any | |
13 | * terms of an Apple operating system software license agreement. | |
14 | * | |
15 | * Please obtain a copy of the License at | |
16 | * http://www.opensource.apple.com/apsl/ and read it before using this file. | |
17 | * | |
18 | * The Original Code and all software distributed under the License are | |
19 | * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER | |
20 | * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES, | |
21 | * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, | |
22 | * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT. | |
23 | * Please see the License for the specific language governing rights and | |
24 | * limitations under the License. | |
25 | * | |
26 | * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ | |
27 | */ | |
28 | #include <i386/pmap.h> | |
29 | ||
6d2010ae A |
30 | #define PML4_PROT (INTEL_PTE_VALID | INTEL_PTE_WRITE) |
31 | pml4_entry_t IdlePML4[PTE_PER_PAGE] __attribute__((section("__INITPT, __data"))) = { | |
b0d623f7 | 32 | #ifdef __x86_64__ |
6d2010ae A |
33 | [ 0] |
34 | = ((uint64_t)(INITPT_SEG_BASE + PAGE_SIZE) | PML4_PROT), | |
35 | #if KERNEL_PML4_INDEX != 0 | |
36 | [KERNEL_PML4_INDEX] | |
37 | = ((uint64_t)(INITPT_SEG_BASE + PAGE_SIZE) | PML4_PROT), | |
38 | #endif | |
b0d623f7 A |
39 | #endif |
40 | }; | |
41 | ||
42 | #if defined(__x86_64__) | |
43 | #define PDPT_PROT (INTEL_PTE_VALID | INTEL_PTE_WRITE) | |
44 | #elif defined(__i386__) | |
45 | #define PDPT_PROT (INTEL_PTE_VALID) | |
46 | #endif | |
6d2010ae | 47 | pdpt_entry_t IdlePDPT[PTE_PER_PAGE] __attribute__((section("__INITPT, __data"))) = { |
b0d623f7 A |
48 | [0] = ((uint64_t)(INITPT_SEG_BASE + 2*PAGE_SIZE) | PDPT_PROT), |
49 | [1] = ((uint64_t)(INITPT_SEG_BASE + 3*PAGE_SIZE) | PDPT_PROT), | |
50 | [2] = ((uint64_t)(INITPT_SEG_BASE + 4*PAGE_SIZE) | PDPT_PROT), | |
51 | [3] = ((uint64_t)(INITPT_SEG_BASE + 5*PAGE_SIZE) | PDPT_PROT), | |
52 | }; | |
53 | ||
54 | #if NPGPTD != 4 | |
55 | #error Please update idle_pt.c to reflect the new value of NPGPTD | |
56 | #endif | |
57 | ||
6d2010ae A |
58 | #if MACHINE_BOOTSTRAPPTD |
59 | ||
b0d623f7 A |
60 | #define ID_MAP_2MEG(x) [(x)] = ((((uint64_t)(x)) << 21) | (INTEL_PTE_PS | INTEL_PTE_VALID | INTEL_PTE_WRITE)), |
61 | ||
62 | #define L0(x,n) x(n) | |
63 | #define L1(x,n) L0(x,n-1) L0(x,n) | |
64 | #define L2(x,n) L1(x,n-2) L1(x,n) | |
65 | #define L3(x,n) L2(x,n-4) L2(x,n) | |
66 | #define L4(x,n) L3(x,n-8) L3(x,n) | |
67 | #define L5(x,n) L4(x,n-16) L4(x,n) | |
68 | #define L6(x,n) L5(x,n-32) L5(x,n) | |
69 | #define L7(x,n) L6(x,n-64) L6(x,n) | |
70 | #define L8(x,n) L7(x,n-128) L7(x,n) | |
71 | #define L9(x,n) L8(x,n-256) L8(x,n) | |
72 | #define L10(x,n) L9(x,n-512) L9(x,n) | |
73 | #define L11(x,n) L10(x,n-1024) L10(x,n) | |
74 | ||
75 | #define FOR_0_TO_2047(x) L11(x,2047) | |
76 | ||
77 | pd_entry_t BootstrapPTD[2048] __attribute__((section("__INITPT, __data"))) = { | |
78 | FOR_0_TO_2047(ID_MAP_2MEG) | |
79 | }; | |
6d2010ae | 80 | #endif /* MACHINE_BOOTSTRAPPTD */ |