1 | /*␊ |
2 | * Copyright (c) 2000 Apple Computer, 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 | #ifndef _PEXPERT_I386_BOOT_H␊ |
29 | #define _PEXPERT_I386_BOOT_H␊ |
30 | ␊ |
31 | #include <stdint.h>␊ |
32 | ␊ |
33 | /*␊ |
34 | * What the booter leaves behind for the kernel.␊ |
35 | */␊ |
36 | ␊ |
37 | /*␊ |
38 | * Types of boot driver that may be loaded by the booter.␊ |
39 | */␊ |
40 | enum {␊ |
41 | kBootDriverTypeInvalid = 0,␊ |
42 | kBootDriverTypeKEXT = 1,␊ |
43 | kBootDriverTypeMKEXT = 2␊ |
44 | };␊ |
45 | ␊ |
46 | enum {␊ |
47 | kEfiReservedMemoryType␉= 0,␊ |
48 | kEfiLoaderCode␉␉= 1,␊ |
49 | kEfiLoaderData␉␉= 2,␊ |
50 | kEfiBootServicesCode␉= 3,␊ |
51 | kEfiBootServicesData␉= 4,␊ |
52 | kEfiRuntimeServicesCode␉= 5,␊ |
53 | kEfiRuntimeServicesData␉= 6,␊ |
54 | kEfiConventionalMemory␉= 7,␊ |
55 | kEfiUnusableMemory␉␉= 8,␊ |
56 | kEfiACPIReclaimMemory␉= 9,␊ |
57 | kEfiACPIMemoryNVS␉␉= 10,␊ |
58 | kEfiMemoryMappedIO␉␉= 11,␊ |
59 | kEfiMemoryMappedIOPortSpace = 12,␊ |
60 | kEfiPalCode␉␉␉= 13,␊ |
61 | kEfiMaxMemoryType␉␉= 14␊ |
62 | };␊ |
63 | ␊ |
64 | /*␊ |
65 | * Memory range descriptor.␊ |
66 | */␊ |
67 | typedef struct EfiMemoryRange {␊ |
68 | uint32_t Type;␊ |
69 | uint32_t Pad;␊ |
70 | uint64_t PhysicalStart;␊ |
71 | uint64_t VirtualStart;␊ |
72 | uint64_t NumberOfPages;␊ |
73 | uint64_t Attribute;␊ |
74 | } EfiMemoryRange;␊ |
75 | ␊ |
76 | #define BOOT_LINE_LENGTH 1024␊ |
77 | #define BOOT_STRING_LEN BOOT_LINE_LENGTH␊ |
78 | ␊ |
79 | /*␊ |
80 | * Video information.. ␊ |
81 | */␊ |
82 | ␊ |
83 | struct Boot_Video {␊ |
84 | ␉uint32_t␉v_baseAddr;␉/* Base address of video memory */␊ |
85 | ␉uint32_t␉v_display;␉/* Display Code (if Applicable */␊ |
86 | ␉uint32_t␉v_rowBytes;␉/* Number of bytes per pixel row */␊ |
87 | ␉uint32_t␉v_width;␉/* Width */␊ |
88 | ␉uint32_t␉v_height;␉/* Height */␊ |
89 | ␉uint32_t␉v_depth;␉/* Pixel Depth */␊ |
90 | };␊ |
91 | ␊ |
92 | typedef struct Boot_Video␉Boot_Video;␊ |
93 | ␊ |
94 | /* Values for v_display */␊ |
95 | ␊ |
96 | #define GRAPHICS_MODE 1␊ |
97 | #define FB_TEXT_MODE 2␊ |
98 | ␊ |
99 | /* Boot argument structure - passed into Mach kernel at boot time.␊ |
100 | * "Revision" can be incremented for compatible changes␊ |
101 | */␊ |
102 | #define kBootArgsRevision␉␉0␊ |
103 | #define kBootArgsVersion␉␉2␊ |
104 | ␊ |
105 | /* Snapshot constants of previous revisions that are supported */␊ |
106 | #define kBootArgsVersion1␉␉1␊ |
107 | #define kBootArgsVersion2␉␉2␊ |
108 | #define kBootArgsRevision2_0␉␉0␊ |
109 | ␊ |
110 | #define kBootArgsEfiMode32 32␊ |
111 | #define kBootArgsEfiMode64 64␊ |
112 | ␊ |
113 | typedef struct boot_args_legacy {␊ |
114 | uint16_t Revision;␉/* Revision of boot_args structure */␊ |
115 | uint16_t Version;␉/* Version of boot_args structure */␊ |
116 | ␊ |
117 | char CommandLine[BOOT_LINE_LENGTH];␉/* Passed in command line */␊ |
118 | ␊ |
119 | uint32_t MemoryMap; /* Physical address of memory map */␊ |
120 | uint32_t MemoryMapSize;␊ |
121 | uint32_t MemoryMapDescriptorSize;␊ |
122 | uint32_t MemoryMapDescriptorVersion;␊ |
123 | ␊ |
124 | Boot_Video␉Video;␉␉/* Video Information */␊ |
125 | ␊ |
126 | uint32_t deviceTreeP;␉ /* Physical address of flattened device tree */␊ |
127 | uint32_t deviceTreeLength; /* Length of flattened tree */␊ |
128 | ␊ |
129 | uint32_t kaddr; /* Physical address of beginning of kernel text */␊ |
130 | uint32_t ksize; /* Size of combined kernel text+data+efi */␊ |
131 | ␊ |
132 | uint32_t efiRuntimeServicesPageStart; /* physical address of defragmented runtime pages */␊ |
133 | uint32_t efiRuntimeServicesPageCount;␊ |
134 | uint32_t efiSystemTable; /* physical address of system table in runtime area */␊ |
135 | ␊ |
136 | uint8_t efiMode; /* 32 = 32-bit, 64 = 64-bit */␊ |
137 | uint8_t __reserved1[3];␊ |
138 | uint32_t __reserved2[1];␊ |
139 | uint32_t performanceDataStart; /* physical address of log */␊ |
140 | uint32_t performanceDataSize;␊ |
141 | uint64_t efiRuntimeServicesVirtualPageStart; /* virtual address of defragmented runtime pages */␊ |
142 | uint32_t __reserved3[2];␊ |
143 | ␊ |
144 | } boot_args_legacy;␊ |
145 | ␊ |
146 | /* Bitfields for boot_args->flags */␊ |
147 | #define kBootArgsFlagRebootOnPanic (1 << 0)␊ |
148 | #define kBootArgsFlagHiDPI (1 << 1)␊ |
149 | ␊ |
150 | typedef struct boot_args {␊ |
151 | uint16_t Revision; /* Revision of boot_args structure */␊ |
152 | uint16_t Version; /* Version of boot_args structure */␊ |
153 | ␊ |
154 | uint8_t efiMode; /* 32 = 32-bit, 64 = 64-bit */␊ |
155 | uint8_t debugMode; /* Bit field with behavior changes */␊ |
156 | uint16_t flags;␊ |
157 | ␊ |
158 | char CommandLine[BOOT_LINE_LENGTH]; /* Passed in command line */␊ |
159 | ␊ |
160 | uint32_t MemoryMap; /* Physical address of memory map */␊ |
161 | uint32_t MemoryMapSize;␊ |
162 | uint32_t MemoryMapDescriptorSize;␊ |
163 | uint32_t MemoryMapDescriptorVersion;␊ |
164 | ␊ |
165 | Boot_Video Video; /* Video Information */␊ |
166 | ␊ |
167 | uint32_t deviceTreeP; /* Physical address of flattened device tree */␊ |
168 | uint32_t deviceTreeLength; /* Length of flattened tree */␊ |
169 | ␊ |
170 | uint32_t kaddr; /* Physical address of beginning of kernel text */␊ |
171 | uint32_t ksize; /* Size of combined kernel text+data+efi */␊ |
172 | ␊ |
173 | uint32_t efiRuntimeServicesPageStart; /* physical address of defragmented runtime pages */␊ |
174 | uint32_t efiRuntimeServicesPageCount;␊ |
175 | uint64_t efiRuntimeServicesVirtualPageStart; /* virtual address of defragmented runtime pages */␊ |
176 | ␊ |
177 | uint32_t efiSystemTable; /* physical address of system table in runtime area */␊ |
178 | uint32_t kslide;␊ |
179 | ␊ |
180 | uint32_t performanceDataStart; /* physical address of log */␊ |
181 | uint32_t performanceDataSize;␊ |
182 | ␊ |
183 | uint32_t keyStoreDataStart; /* physical address of key store data */␊ |
184 | uint32_t keyStoreDataSize;␊ |
185 | uint64_t bootMemStart;␊ |
186 | uint64_t bootMemSize;␊ |
187 | uint64_t PhysicalMemorySize;␊ |
188 | uint64_t FSBFrequency;␊ |
189 | uint64_t pciConfigSpaceBaseAddress;␊ |
190 | uint32_t pciConfigSpaceStartBusNumber;␊ |
191 | uint32_t pciConfigSpaceEndBusNumber;␊ |
192 | uint32_t __reserved4[730];␊ |
193 | ␊ |
194 | } boot_args;␊ |
195 | ␊ |
196 | extern char assert_boot_args_size_is_4096[sizeof(boot_args) == 4096 ? 1 : -1];␊ |
197 | ␊ |
198 | #endif /* _PEXPERT_I386_BOOT_H */␊ |
199 | ␊ |
200 | |