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 30#define PML4_PROT (INTEL_PTE_VALID | INTEL_PTE_WRITE) 31pml4_entry_t IdlePML4[PTE_PER_PAGE] 32 __attribute__((section("__INITPT, __data"))) = { 33}; 34 35#define PDPT_PROT (INTEL_PTE_VALID) 36pdpt_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}; 43 44#if NPGPTD != 4 45#error Please update idle_pt.c to reflect the new value of NPGPTD 46#endif 47 48#if MACHINE_BOOTSTRAPPTD 49 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 67pd_entry_t BootPTD[2048] 68 __attribute__((section("__INITPT, __data"))) = { 69 FOR_0_TO_2047(ID_MAP_2MEG) 70}; 71#endif /* MACHINE_BOOTSTRAPPTD */ 72