]>
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 | 30 | #define PML4_PROT (INTEL_PTE_VALID | INTEL_PTE_WRITE) |
316670eb A |
31 | pml4_entry_t IdlePML4[PTE_PER_PAGE] |
32 | __attribute__((section("__INITPT, __data"))) = { | |
33 | }; | |
b0d623f7 | 34 | |
b0d623f7 | 35 | #define PDPT_PROT (INTEL_PTE_VALID) |
316670eb A |
36 | pdpt_entry_t IdlePDPT[PTE_PER_PAGE] |
37 | __attribute__((section("__INITPT, __data"))) = { | |
38 | [0] = ((uint64_t)(INITPT_SEG_BASE + 2*PAGE_SIZE) | PDPT_PROT), | |
39 | [1] = ((uint64_t)(INITPT_SEG_BASE + 3*PAGE_SIZE) | PDPT_PROT), | |
40 | [2] = ((uint64_t)(INITPT_SEG_BASE + 4*PAGE_SIZE) | PDPT_PROT), | |
41 | [3] = ((uint64_t)(INITPT_SEG_BASE + 5*PAGE_SIZE) | PDPT_PROT), | |
42 | }; | |
b0d623f7 A |
43 | |
44 | #if NPGPTD != 4 | |
45 | #error Please update idle_pt.c to reflect the new value of NPGPTD | |
46 | #endif | |
47 | ||
6d2010ae A |
48 | #if MACHINE_BOOTSTRAPPTD |
49 | ||
b0d623f7 A |
50 | #define ID_MAP_2MEG(x) [(x)] = ((((uint64_t)(x)) << 21) | (INTEL_PTE_PS | INTEL_PTE_VALID | INTEL_PTE_WRITE)), |
51 | ||
52 | #define L0(x,n) x(n) | |
53 | #define L1(x,n) L0(x,n-1) L0(x,n) | |
54 | #define L2(x,n) L1(x,n-2) L1(x,n) | |
55 | #define L3(x,n) L2(x,n-4) L2(x,n) | |
56 | #define L4(x,n) L3(x,n-8) L3(x,n) | |
57 | #define L5(x,n) L4(x,n-16) L4(x,n) | |
58 | #define L6(x,n) L5(x,n-32) L5(x,n) | |
59 | #define L7(x,n) L6(x,n-64) L6(x,n) | |
60 | #define L8(x,n) L7(x,n-128) L7(x,n) | |
61 | #define L9(x,n) L8(x,n-256) L8(x,n) | |
62 | #define L10(x,n) L9(x,n-512) L9(x,n) | |
63 | #define L11(x,n) L10(x,n-1024) L10(x,n) | |
64 | ||
65 | #define FOR_0_TO_2047(x) L11(x,2047) | |
66 | ||
316670eb A |
67 | pd_entry_t BootPTD[2048] |
68 | __attribute__((section("__INITPT, __data"))) = { | |
b0d623f7 A |
69 | FOR_0_TO_2047(ID_MAP_2MEG) |
70 | }; | |
6d2010ae | 71 | #endif /* MACHINE_BOOTSTRAPPTD */ |