1 | /*␊ |
2 | * Copyright (c) 2005 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 | ␊ |
29 | #ifndef _PEXPERT_I386_EFI_H␊ |
30 | #define _PEXPERT_I386_EFI_H␊ |
31 | ␊ |
32 | #include <stdint.h>␊ |
33 | ␊ |
34 | typedef uint8_t EFI_UINT8;␊ |
35 | typedef uint16_t EFI_UINT16;␊ |
36 | typedef uint32_t EFI_UINT32;␊ |
37 | typedef uint64_t EFI_UINT64;␊ |
38 | ␊ |
39 | typedef uint32_t EFI_UINTN; /* natural size for firmware, not kernel */␊ |
40 | ␊ |
41 | typedef int8_t EFI_INT8;␊ |
42 | typedef int16_t EFI_INT16;␊ |
43 | typedef int32_t EFI_INT32;␊ |
44 | typedef int64_t EFI_INT64;␊ |
45 | ␊ |
46 | typedef int8_t EFI_CHAR8;␊ |
47 | typedef int16_t EFI_CHAR16;␊ |
48 | typedef int32_t EFI_CHAR32;␊ |
49 | typedef int64_t EFI_CHAR64;␊ |
50 | ␊ |
51 | typedef uint32_t EFI_STATUS;␊ |
52 | typedef uint8_t EFI_BOOLEAN;␊ |
53 | typedef void VOID;␊ |
54 | ␊ |
55 | typedef uint32_t EFI_PTR32;␊ |
56 | typedef uint32_t EFI_HANDLE32;␊ |
57 | ␊ |
58 | typedef uint64_t EFI_PTR64;␊ |
59 | typedef uint64_t EFI_HANDLE64;␊ |
60 | /*␊ |
61 | ␊ |
62 | Portions Copyright 2004, Intel Corporation␊ |
63 | All rights reserved. This program and the accompanying materials␊ |
64 | are licensed and made available under the terms and conditions of the BSD License␊ |
65 | which accompanies this distribution. The full text of the license may be found at␊ |
66 | http://opensource.org/licenses/bsd-license.php␊ |
67 | ␊ |
68 | THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,␊ |
69 | WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.␊ |
70 | ␊ |
71 | */␊ |
72 | ␊ |
73 | ␊ |
74 | // Modifiers for EFI Runtime and Boot Services␊ |
75 | ␊ |
76 | #define EFI_RUNTIMESERVICE␊ |
77 | #define EFIAPI␊ |
78 | #define IN␊ |
79 | #define OUT␊ |
80 | #define OPTIONAL␊ |
81 | ␊ |
82 | #define EFI_MAX_BIT 0x80000000␊ |
83 | ␊ |
84 | // Set the upper bit to indicate EFI Error.␊ |
85 | #define EFIERR(a) (EFI_MAX_BIT | (a))␊ |
86 | ␊ |
87 | #define EFIWARN(a) (a)␊ |
88 | #define EFI_ERROR(a) (((INTN) (a)) < 0)␊ |
89 | ␊ |
90 | #define EFI_SUCCESS 0␊ |
91 | #define EFI_LOAD_ERROR EFIERR (1)␊ |
92 | #define EFI_INVALID_PARAMETER EFIERR (2)␊ |
93 | #define EFI_UNSUPPORTED EFIERR (3)␊ |
94 | #define EFI_BAD_BUFFER_SIZE EFIERR (4)␊ |
95 | #define EFI_BUFFER_TOO_SMALL EFIERR (5)␊ |
96 | #define EFI_NOT_READY EFIERR (6)␊ |
97 | #define EFI_DEVICE_ERROR EFIERR (7)␊ |
98 | #define EFI_WRITE_PROTECTED EFIERR (8)␊ |
99 | #define EFI_OUT_OF_RESOURCES EFIERR (9)␊ |
100 | #define EFI_VOLUME_CORRUPTED EFIERR (10)␊ |
101 | #define EFI_VOLUME_FULL EFIERR (11)␊ |
102 | #define EFI_NO_MEDIA EFIERR (12)␊ |
103 | #define EFI_MEDIA_CHANGED EFIERR (13)␊ |
104 | #define EFI_NOT_FOUND EFIERR (14)␊ |
105 | #define EFI_ACCESS_DENIED EFIERR (15)␊ |
106 | #define EFI_NO_RESPONSE EFIERR (16)␊ |
107 | #define EFI_NO_MAPPING EFIERR (17)␊ |
108 | #define EFI_TIMEOUT EFIERR (18)␊ |
109 | #define EFI_NOT_STARTED EFIERR (19)␊ |
110 | #define EFI_ALREADY_STARTED EFIERR (20)␊ |
111 | #define EFI_ABORTED EFIERR (21)␊ |
112 | #define EFI_ICMP_ERROR EFIERR (22)␊ |
113 | #define EFI_TFTP_ERROR EFIERR (23)␊ |
114 | #define EFI_PROTOCOL_ERROR EFIERR (24)␊ |
115 | #define EFI_INCOMPATIBLE_VERSION EFIERR (25)␊ |
116 | #define EFI_SECURITY_VIOLATION EFIERR (26)␊ |
117 | #define EFI_CRC_ERROR EFIERR (27)␊ |
118 | ␊ |
119 | #define EFI_WARN_UNKNOWN_GLYPH EFIWARN (1)␊ |
120 | #define EFI_WARN_DELETE_FAILURE EFIWARN (2)␊ |
121 | #define EFI_WARN_WRITE_FAILURE EFIWARN (3)␊ |
122 | #define EFI_WARN_BUFFER_TOO_SMALL EFIWARN (4)␊ |
123 | //␊ |
124 | // EFI Specification Revision information␊ |
125 | //␊ |
126 | #define EFI_SPECIFICATION_MAJOR_REVISION 1␊ |
127 | #define EFI_SPECIFICATION_MINOR_REVISION 10␊ |
128 | ␊ |
129 | typedef struct␊ |
130 | {␊ |
131 | EFI_UINT32 Data1;␊ |
132 | EFI_UINT16 Data2;␊ |
133 | EFI_UINT16 Data3;␊ |
134 | EFI_UINT8 Data4[8];␊ |
135 | } EFI_GUID;␊ |
136 | ␊ |
137 | #define APPLE_VENDOR_GUID \␊ |
138 | {0xAC39C713, 0x7E50, 0x423D, {0x88, 0x9D, 0x27,0x8F, 0xCC, 0x34, 0x22, 0xB6} }␊ |
139 | ␊ |
140 | #define EFI_GLOBAL_VARIABLE_GUID \␊ |
141 | {0x8BE4DF61, 0x93CA, 0x11d2, {0xAA, 0x0D, 0x00, 0xE0, 0x98, 0x03, 0x2B, 0x8C} }␊ |
142 | ␊ |
143 | typedef union␊ |
144 | {␊ |
145 | EFI_GUID Guid;␊ |
146 | EFI_UINT8 Raw[16];␊ |
147 | } EFI_GUID_UNION;␊ |
148 | ␊ |
149 | //␊ |
150 | // EFI Time Abstraction:␊ |
151 | // Year: 2000 - 20XX␊ |
152 | // Month: 1 - 12␊ |
153 | // Day: 1 - 31␊ |
154 | // Hour: 0 - 23␊ |
155 | // Minute: 0 - 59␊ |
156 | // Second: 0 - 59␊ |
157 | // Nanosecond: 0 - 999,999,999␊ |
158 | // TimeZone: -1440 to 1440 or 2047␊ |
159 | //␊ |
160 | typedef struct␊ |
161 | {␊ |
162 | ␉EFI_UINT16 Year;␊ |
163 | ␉EFI_UINT8 Month;␊ |
164 | ␉EFI_UINT8 Day;␊ |
165 | ␉EFI_UINT8 Hour;␊ |
166 | ␉EFI_UINT8 Minute;␊ |
167 | ␉EFI_UINT8 Second;␊ |
168 | ␉EFI_UINT8 Pad1;␊ |
169 | ␉EFI_UINT32 Nanosecond;␊ |
170 | ␉EFI_INT16 TimeZone;␊ |
171 | ␉EFI_UINT8 Daylight;␊ |
172 | ␉EFI_UINT8 Pad2;␊ |
173 | } EFI_TIME;␊ |
174 | ␊ |
175 | ␊ |
176 | // Bit definitions for EFI_TIME.Daylight␊ |
177 | ␊ |
178 | #define EFI_TIME_ADJUST_DAYLIGHT 0x01␊ |
179 | #define EFI_TIME_IN_DAYLIGHT 0x02␊ |
180 | ␊ |
181 | ␊ |
182 | // Value definition for EFI_TIME.TimeZone␊ |
183 | ␊ |
184 | #define EFI_UNSPECIFIED_TIMEZONE 0x07FF␊ |
185 | ␊ |
186 | typedef enum␊ |
187 | {␊ |
188 | ␉EfiReservedMemoryType,␊ |
189 | ␉EfiLoaderCode,␊ |
190 | ␉EfiLoaderData,␊ |
191 | ␉EfiBootServicesCode,␊ |
192 | ␉EfiBootServicesData,␊ |
193 | ␉EfiRuntimeServicesCode,␊ |
194 | ␉EfiRuntimeServicesData,␊ |
195 | ␉EfiConventionalMemory,␊ |
196 | ␉EfiUnusableMemory,␊ |
197 | ␉EfiACPIReclaimMemory,␊ |
198 | ␉EfiACPIMemoryNVS,␊ |
199 | ␉EfiMemoryMappedIO,␊ |
200 | ␉EfiMemoryMappedIOPortSpace,␊ |
201 | ␉EfiPalCode,␊ |
202 | ␉EfiMaxMemoryType␊ |
203 | } EFI_MEMORY_TYPE;␊ |
204 | ␊ |
205 | typedef struct␊ |
206 | {␊ |
207 | ␉EFI_UINT64␉␉␉␉Signature;␊ |
208 | ␉EFI_UINT32␉␉␉␉Revision;␊ |
209 | ␉EFI_UINT32␉␉␉␉HeaderSize;␊ |
210 | ␉EFI_UINT32␉␉␉␉CRC32;␊ |
211 | ␉EFI_UINT32␉␉␉␉Reserved;␊ |
212 | } __attribute__((aligned(8))) EFI_TABLE_HEADER;␊ |
213 | ␊ |
214 | // possible caching types for the memory range␊ |
215 | ␊ |
216 | #define EFI_MEMORY_UC 0x0000000000000001ULL␊ |
217 | #define EFI_MEMORY_WC 0x0000000000000002ULL␊ |
218 | #define EFI_MEMORY_WT 0x0000000000000004ULL␊ |
219 | #define EFI_MEMORY_WB 0x0000000000000008ULL␊ |
220 | #define EFI_MEMORY_UCE 0x0000000000000010ULL␊ |
221 | ␊ |
222 | ␊ |
223 | // physical memory protection on range␊ |
224 | ␊ |
225 | #define EFI_MEMORY_WP 0x0000000000001000ULL␊ |
226 | #define EFI_MEMORY_RP 0x0000000000002000ULL␊ |
227 | #define EFI_MEMORY_XP 0x0000000000004000ULL␊ |
228 | ␊ |
229 | ␊ |
230 | // range requires a runtime mapping␊ |
231 | ␊ |
232 | #define EFI_MEMORY_RUNTIME 0x8000000000000000ULL␊ |
233 | ␊ |
234 | typedef EFI_UINT64 EFI_PHYSICAL_ADDRESS;␊ |
235 | typedef EFI_UINT64 EFI_VIRTUAL_ADDRESS;␊ |
236 | ␊ |
237 | #define EFI_MEMORY_DESCRIPTOR_VERSION 1␊ |
238 | typedef struct␊ |
239 | {␊ |
240 | ␉EFI_UINT32 Type;␊ |
241 | ␉EFI_UINT32 Pad;␊ |
242 | ␉EFI_PHYSICAL_ADDRESS PhysicalStart;␊ |
243 | ␉EFI_VIRTUAL_ADDRESS VirtualStart;␊ |
244 | ␉EFI_UINT64 NumberOfPages;␊ |
245 | ␉EFI_UINT64 Attribute;␊ |
246 | } __attribute__((aligned(8))) EFI_MEMORY_DESCRIPTOR;␊ |
247 | ␊ |
248 | ␊ |
249 | typedef␊ |
250 | EFI_RUNTIMESERVICE␊ |
251 | EFI_STATUS␊ |
252 | (EFIAPI *EFI_SET_VIRTUAL_ADDRESS_MAP) (␊ |
253 | IN EFI_UINTN MemoryMapSize,␊ |
254 | IN EFI_UINTN DescriptorSize,␊ |
255 | IN EFI_UINT32 DescriptorVersion,␊ |
256 | IN EFI_MEMORY_DESCRIPTOR * VirtualMap␊ |
257 | ) __attribute__((regparm(0)));␊ |
258 | ␊ |
259 | typedef␊ |
260 | EFI_RUNTIMESERVICE␊ |
261 | EFI_STATUS␊ |
262 | (EFIAPI *EFI_CONVERT_POINTER) (␊ |
263 | IN EFI_UINTN DebugDisposition,␊ |
264 | IN OUT VOID **Address␊ |
265 | ) __attribute__((regparm(0)));␊ |
266 | ␊ |
267 | ␊ |
268 | // Variable attributes␊ |
269 | ␊ |
270 | #define EFI_VARIABLE_NON_VOLATILE 0x00000001␊ |
271 | #define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x00000002␊ |
272 | #define EFI_VARIABLE_RUNTIME_ACCESS 0x00000004␊ |
273 | #define EFI_VARIABLE_READ_ONLY 0x00000008␊ |
274 | ␊ |
275 | typedef␊ |
276 | EFI_RUNTIMESERVICE␊ |
277 | EFI_STATUS␊ |
278 | (EFIAPI *EFI_GET_VARIABLE) (␊ |
279 | IN EFI_CHAR16 * VariableName,␊ |
280 | IN EFI_GUID * VendorGuid,␊ |
281 | OUT EFI_UINT32 * Attributes OPTIONAL,␊ |
282 | IN OUT EFI_UINTN * DataSize,␊ |
283 | OUT VOID * Data␊ |
284 | ) __attribute__((regparm(0)));␊ |
285 | ␊ |
286 | typedef␊ |
287 | EFI_RUNTIMESERVICE␊ |
288 | EFI_STATUS␊ |
289 | (EFIAPI *EFI_GET_NEXT_VARIABLE_NAME) (␊ |
290 | IN OUT EFI_UINTN * VariableNameSize,␊ |
291 | IN OUT EFI_CHAR16 * VariableName,␊ |
292 | IN OUT EFI_GUID * VendorGuid␊ |
293 | ) __attribute__((regparm(0)));␊ |
294 | ␊ |
295 | typedef␊ |
296 | EFI_RUNTIMESERVICE␊ |
297 | EFI_STATUS␊ |
298 | (EFIAPI *EFI_SET_VARIABLE) (␊ |
299 | IN EFI_CHAR16 * VariableName,␊ |
300 | IN EFI_GUID * VendorGuid,␊ |
301 | IN EFI_UINT32 Attributes,␊ |
302 | IN EFI_UINTN DataSize,␊ |
303 | IN VOID * Data␊ |
304 | ) __attribute__((regparm(0)));␊ |
305 | ␊ |
306 | ␊ |
307 | // EFI Time␊ |
308 | ␊ |
309 | typedef struct␊ |
310 | {␊ |
311 | ␉EFI_UINT32 Resolution;␊ |
312 | ␉EFI_UINT32 Accuracy;␊ |
313 | ␉EFI_BOOLEAN SetsToZero;␊ |
314 | } __attribute__((aligned(4))) EFI_TIME_CAPABILITIES;␊ |
315 | ␊ |
316 | typedef␊ |
317 | EFI_RUNTIMESERVICE␊ |
318 | EFI_STATUS␊ |
319 | (EFIAPI *EFI_GET_TIME) (␊ |
320 | OUT EFI_TIME * Time,␊ |
321 | OUT EFI_TIME_CAPABILITIES * Capabilities OPTIONAL␊ |
322 | ) __attribute__((regparm(0)));␊ |
323 | ␊ |
324 | typedef␊ |
325 | EFI_RUNTIMESERVICE␊ |
326 | EFI_STATUS␊ |
327 | (EFIAPI *EFI_SET_TIME) (␊ |
328 | IN EFI_TIME * Time␊ |
329 | ) __attribute__((regparm(0)));␊ |
330 | ␊ |
331 | typedef␊ |
332 | EFI_RUNTIMESERVICE␊ |
333 | EFI_STATUS␊ |
334 | (EFIAPI *EFI_GET_WAKEUP_TIME) (␊ |
335 | OUT EFI_BOOLEAN * Enabled,␊ |
336 | OUT EFI_BOOLEAN * Pending,␊ |
337 | OUT EFI_TIME * Time␊ |
338 | ) __attribute__((regparm(0)));␊ |
339 | ␊ |
340 | typedef␊ |
341 | EFI_RUNTIMESERVICE␊ |
342 | EFI_STATUS␊ |
343 | (EFIAPI *EFI_SET_WAKEUP_TIME) (␊ |
344 | IN EFI_BOOLEAN Enable,␊ |
345 | IN EFI_TIME * Time OPTIONAL␊ |
346 | ) __attribute((regparm(0)));␊ |
347 | ␊ |
348 | typedef enum {␊ |
349 | EfiResetCold,␊ |
350 | EfiResetWarm,␊ |
351 | EfiResetShutdown,␊ |
352 | ␊ |
353 | #ifdef TIANO_EXTENSION_FLAG␊ |
354 | EfiResetUpdate␊ |
355 | #endif␊ |
356 | ␊ |
357 | } EFI_RESET_TYPE;␊ |
358 | ␊ |
359 | typedef␊ |
360 | EFI_RUNTIMESERVICE␊ |
361 | VOID␊ |
362 | (EFIAPI *EFI_RESET_SYSTEM) (␊ |
363 | IN EFI_RESET_TYPE ResetType,␊ |
364 | IN EFI_STATUS ResetStatus,␊ |
365 | IN EFI_UINTN DataSize,␊ |
366 | IN EFI_CHAR16 * ResetData OPTIONAL␊ |
367 | ) __attribute__((regparm(0)));␊ |
368 | ␊ |
369 | typedef␊ |
370 | EFI_RUNTIMESERVICE␊ |
371 | EFI_STATUS␊ |
372 | (EFIAPI *EFI_GET_NEXT_HIGH_MONO_COUNT) (␊ |
373 | OUT EFI_UINT32 * HighCount␊ |
374 | ) __attribute__((regparm(0)));␊ |
375 | ␊ |
376 | // Definition of Status Code extended data header␊ |
377 | ␊ |
378 | // HeaderSize The size of the architecture. This is specified to enable the future expansion␊ |
379 | ␊ |
380 | // Size The size of the data in bytes. This does not include the size of the header structure.␊ |
381 | ␊ |
382 | // Type A GUID defining the type of the data␊ |
383 | ␊ |
384 | #ifdef TIANO_EXTENSION_FLAG␊ |
385 | ␊ |
386 | typedef␊ |
387 | EFI_RUNTIMESERVICE␊ |
388 | EFI_STATUS␊ |
389 | (EFIAPI *EFI_REPORT_STATUS_CODE) (␊ |
390 | IN EFI_STATUS_CODE_TYPE Type,␊ |
391 | IN EFI_STATUS_CODE_VALUE Value,␊ |
392 | IN EFI_UINT32 Instance,␊ |
393 | IN EFI_GUID * CallerId OPTIONAL,␊ |
394 | IN EFI_STATUS_CODE_DATA * Data OPTIONAL␊ |
395 | ) __attribute__((regparm(0)));␊ |
396 | ␊ |
397 | #endif␊ |
398 | //␊ |
399 | // EFI Runtime Services Table␊ |
400 | //␊ |
401 | #define EFI_RUNTIME_SERVICES_SIGNATURE 0x56524553544e5552ULL␊ |
402 | #define EFI_RUNTIME_SERVICES_REVISION ((EFI_SPECIFICATION_MAJOR_REVISION << 16) | (EFI_SPECIFICATION_MINOR_REVISION))␊ |
403 | ␊ |
404 | typedef struct␊ |
405 | {␊ |
406 | ␉EFI_TABLE_HEADER␉␉Hdr;␊ |
407 | ␊ |
408 | ␉// Time Services␊ |
409 | ␉EFI_PTR32␉␉␉␉GetTime;␊ |
410 | ␉EFI_PTR32␉␉␉␉SetTime;␊ |
411 | ␉EFI_PTR32␉␉␉␉GetWakeupTime;␊ |
412 | ␉EFI_PTR32␉␉␉␉SetWakeupTime;␊ |
413 | ␊ |
414 | ␉// Virtual Memory Services␊ |
415 | ␊ |
416 | ␉EFI_PTR32 SetVirtualAddressMap;␊ |
417 | ␉EFI_PTR32 ConvertPointer;␊ |
418 | ␊ |
419 | ␊ |
420 | ␉// Variable Services␊ |
421 | ␉EFI_PTR32 GetVariable;␊ |
422 | ␉EFI_PTR32 GetNextVariableName;␊ |
423 | ␉EFI_PTR32 SetVariable;␊ |
424 | ␊ |
425 | ␉// Miscellaneous Services␊ |
426 | ␉EFI_PTR32 GetNextHighMonotonicCount;␊ |
427 | ␉EFI_PTR32 ResetSystem;␊ |
428 | ␊ |
429 | #ifdef TIANO_EXTENSION_FLAG␊ |
430 | ␊ |
431 | ␉// ////////////////////////////////////////////////////␊ |
432 | ␉// Extended EFI Services␊ |
433 | ␉//////////////////////////////////////////////////////␊ |
434 | ␊ |
435 | ␉EFI_PTR32 ReportStatusCode;␊ |
436 | #endif␊ |
437 | ␊ |
438 | } __attribute__((aligned(8))) EFI_RUNTIME_SERVICES_32;␊ |
439 | ␊ |
440 | typedef struct␊ |
441 | {␊ |
442 | ␉EFI_TABLE_HEADER Hdr;␊ |
443 | ␊ |
444 | ␊ |
445 | ␉// Time services␊ |
446 | ␊ |
447 | ␉EFI_PTR64 GetTime;␊ |
448 | ␉EFI_PTR64 SetTime;␊ |
449 | ␉EFI_PTR64 GetWakeupTime;␊ |
450 | ␉EFI_PTR64 SetWakeupTime;␊ |
451 | ␊ |
452 | ␉// Virtual memory services␊ |
453 | ␊ |
454 | ␉EFI_PTR64 SetVirtualAddressMap;␊ |
455 | ␉EFI_PTR64 ConvertPointer;␊ |
456 | ␊ |
457 | ␉// Variable services␊ |
458 | ␊ |
459 | ␉EFI_PTR64 GetVariable;␊ |
460 | ␉EFI_PTR64 GetNextVariableName;␊ |
461 | ␉EFI_PTR64 SetVariable;␊ |
462 | ␊ |
463 | ␉// Misc␊ |
464 | ␊ |
465 | ␉EFI_PTR64 GetNextHighMonotonicCount;␊ |
466 | ␉EFI_PTR64 ResetSystem;␊ |
467 | ␊ |
468 | #ifdef TIANO_EXTENSION_FLAG␊ |
469 | ␊ |
470 | ␉// ////////////////////////////////////////////////////␊ |
471 | ␉// Extended EFI Services␊ |
472 | ␉//////////////////////////////////////////////////////␊ |
473 | ␊ |
474 | ␉EFI_PTR64 ReportStatusCode;␊ |
475 | #endif␊ |
476 | ␊ |
477 | } __attribute__((aligned(8))) EFI_RUNTIME_SERVICES_64;␊ |
478 | ␊ |
479 | //␊ |
480 | // EFI Configuration Table␊ |
481 | //␊ |
482 | typedef struct␊ |
483 | {␊ |
484 | ␉EFI_GUID VendorGuid;␊ |
485 | ␉EFI_PTR32 VendorTable;␊ |
486 | } EFI_CONFIGURATION_TABLE_32;␊ |
487 | ␊ |
488 | typedef struct␊ |
489 | {␊ |
490 | ␉EFI_GUID VendorGuid;␊ |
491 | ␉EFI_PTR64 VendorTable;␊ |
492 | } __attribute__((aligned(8))) EFI_CONFIGURATION_TABLE_64;␊ |
493 | ␊ |
494 | ␊ |
495 | // EFI System Table␊ |
496 | ␊ |
497 | #define EFI_SYSTEM_TABLE_SIGNATURE 0x5453595320494249ULL␊ |
498 | #define EFI_SYSTEM_TABLE_REVISION ((EFI_SPECIFICATION_MAJOR_REVISION << 16) | (EFI_SPECIFICATION_MINOR_REVISION))␊ |
499 | #define EFI_2_00_SYSTEM_TABLE_REVISION ((2 << 16) | 00)␊ |
500 | #define EFI_1_02_SYSTEM_TABLE_REVISION ((1 << 16) | 02)␊ |
501 | #define EFI_1_10_SYSTEM_TABLE_REVISION ((1 << 16) | 10)␊ |
502 | ␊ |
503 | typedef struct EFI_SYSTEM_TABLE_32␊ |
504 | {␊ |
505 | ␉EFI_TABLE_HEADER Hdr;␊ |
506 | ␊ |
507 | ␉EFI_PTR32 FirmwareVendor;␊ |
508 | ␉EFI_UINT32 FirmwareRevision;␊ |
509 | ␊ |
510 | ␉EFI_HANDLE32 ConsoleInHandle;␊ |
511 | ␉EFI_PTR32 ConIn;␊ |
512 | ␊ |
513 | ␉EFI_HANDLE32 ConsoleOutHandle;␊ |
514 | ␉EFI_PTR32 ConOut;␊ |
515 | ␊ |
516 | ␉EFI_HANDLE32 StandardErrorHandle;␊ |
517 | ␉EFI_PTR32 StdErr;␊ |
518 | ␊ |
519 | ␉EFI_PTR32 RuntimeServices;␊ |
520 | ␉EFI_PTR32 BootServices;␊ |
521 | ␊ |
522 | ␉EFI_UINT32 NumberOfTableEntries;␊ |
523 | ␉EFI_PTR32 ConfigurationTable;␊ |
524 | ␊ |
525 | } __attribute__((aligned(8))) EFI_SYSTEM_TABLE_32;␊ |
526 | ␊ |
527 | typedef struct EFI_SYSTEM_TABLE_64␊ |
528 | {␊ |
529 | ␉EFI_TABLE_HEADER Hdr;␊ |
530 | ␊ |
531 | ␉EFI_PTR64 FirmwareVendor;␊ |
532 | ␉EFI_UINT32 FirmwareRevision;␊ |
533 | ␊ |
534 | ␉EFI_UINT32 __pad;␊ |
535 | ␉EFI_HANDLE64 ConsoleInHandle;␊ |
536 | ␉EFI_PTR64 ConIn;␊ |
537 | ␊ |
538 | ␉EFI_HANDLE64 ConsoleOutHandle;␊ |
539 | ␉EFI_PTR64 ConOut;␊ |
540 | ␊ |
541 | ␉EFI_HANDLE64 StandardErrorHandle;␊ |
542 | ␉EFI_PTR64 StdErr;␊ |
543 | ␊ |
544 | ␉EFI_PTR64 RuntimeServices;␊ |
545 | ␉EFI_PTR64 BootServices;␊ |
546 | ␊ |
547 | ␉EFI_UINT64 NumberOfTableEntries;␊ |
548 | ␉EFI_PTR64 ConfigurationTable;␊ |
549 | } __attribute__((aligned(8))) EFI_SYSTEM_TABLE_64;␊ |
550 | ␊ |
551 | #endif /* _PEXPERT_I386_EFI_H */␊ |
552 | |