2 Root include file for Mde Package Base type modules
4 This is the include file for any module of type base. Base modules only use
5 types defined via this include file and can be ported easily to any
6 environment. There are a set of base libraries in the Mde Package that can
7 be used to implement base modules.
9 Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
10 Portions copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>
11 SPDX-License-Identifier: BSD-2-Clause-Patent
20 // Include processor specific binding
22 #include <ProcessorBind.h>
24 #if defined(_MSC_EXTENSIONS)
26 // Disable warning when last field of data structure is a zero sized array.
28 #pragma warning ( disable : 4200 )
32 Verifies the storage size of a given data type.
34 This macro generates a divide by zero error or a zero size array declaration in
35 the preprocessor if the size is incorrect. These are declared as "extern" so
36 the space for these arrays will not be in the modules.
38 @param TYPE The date type to determine the size of.
39 @param Size The expected size for the TYPE.
42 #define VERIFY_SIZE_OF(TYPE, Size) extern UINT8 _VerifySizeof##TYPE[(sizeof(TYPE) == (Size)) / (sizeof(TYPE) == (Size))]
45 // The Microsoft* C compiler can removed references to unreferenced data items
46 // if the /OPT:REF linker option is used. We defined a macro as this is a
47 // a non standard extension
49 #if defined(_MSC_EXTENSIONS) && _MSC_VER < 1800 && !defined (MDE_CPU_EBC)
51 /// Remove global variable from the linked image if there are no references to
52 /// it after all compiler and linker optimizations have been performed.
55 #define GLOBAL_REMOVE_IF_UNREFERENCED __declspec(selectany)
58 /// Remove the global variable from the linked image if there are no references
59 /// to it after all compiler and linker optimizations have been performed.
62 #define GLOBAL_REMOVE_IF_UNREFERENCED
66 // Should be used in combination with NORETURN to avoid 'noreturn' returns
72 /// Signal compilers and analyzers that this call is not reachable. It is
73 /// up to the compiler to remove any code past that point.
75 #define UNREACHABLE() __builtin_unreachable ()
76 #elif defined (__has_feature)
77 #if __has_builtin (__builtin_unreachable)
79 /// Signal compilers and analyzers that this call is not reachable. It is
80 /// up to the compiler to remove any code past that point.
82 #define UNREACHABLE() __builtin_unreachable ()
88 /// Signal compilers and analyzers that this call is not reachable. It is
89 /// up to the compiler to remove any code past that point.
96 // Signaling compilers and analyzers that a certain function cannot return may
97 // remove all following code and thus lead to better optimization and less
101 #if defined (__GNUC__) || defined (__clang__)
103 /// Signal compilers and analyzers that the function cannot return.
104 /// It is up to the compiler to remove any code past a call to functions
105 /// flagged with this attribute.
107 #define NORETURN __attribute__((noreturn))
108 #elif defined(_MSC_EXTENSIONS) && !defined(MDE_CPU_EBC)
110 /// Signal compilers and analyzers that the function cannot return.
111 /// It is up to the compiler to remove any code past a call to functions
112 /// flagged with this attribute.
114 #define NORETURN __declspec(noreturn)
117 /// Signal compilers and analyzers that the function cannot return.
118 /// It is up to the compiler to remove any code past a call to functions
119 /// flagged with this attribute.
126 // Should be used in combination with ANALYZER_NORETURN to avoid 'noreturn'
129 #ifndef ANALYZER_UNREACHABLE
130 #ifdef __clang_analyzer__
131 #if __has_builtin (__builtin_unreachable)
133 /// Signal the analyzer that this call is not reachable.
134 /// This excludes compilers.
136 #define ANALYZER_UNREACHABLE() __builtin_unreachable ()
140 #ifndef ANALYZER_UNREACHABLE
142 /// Signal the analyzer that this call is not reachable.
143 /// This excludes compilers.
145 #define ANALYZER_UNREACHABLE()
150 // Static Analyzers may issue errors about potential NULL-dereferences when
151 // dereferencing a pointer, that has been checked before, outside of a
152 // NULL-check. This may lead to false positives, such as when using ASSERT()
155 #ifndef ANALYZER_NORETURN
157 #if __has_feature (attribute_analyzer_noreturn)
159 /// Signal analyzers that the function cannot return.
160 /// This excludes compilers.
162 #define ANALYZER_NORETURN __attribute__((analyzer_noreturn))
166 #ifndef ANALYZER_NORETURN
168 /// Signal the analyzer that the function cannot return.
169 /// This excludes compilers.
171 #define ANALYZER_NORETURN
176 /// Tell the code optimizer that the function will return twice.
177 /// This prevents wrong optimizations which can cause bugs.
179 #ifndef RETURNS_TWICE
180 #if defined (__GNUC__) || defined (__clang__)
182 /// Tell the code optimizer that the function will return twice.
183 /// This prevents wrong optimizations which can cause bugs.
185 #define RETURNS_TWICE __attribute__((returns_twice))
188 /// Tell the code optimizer that the function will return twice.
189 /// This prevents wrong optimizations which can cause bugs.
191 #define RETURNS_TWICE
196 // For symbol name in assembly code, an extra "_" is sometimes necessary
200 /// Private worker functions for ASM_PFX()
202 #define _CONCATENATE(a, b) __CONCATENATE(a, b)
203 #define __CONCATENATE(a, b) a ## b
206 /// The __USER_LABEL_PREFIX__ macro predefined by GNUC represents the prefix
207 /// on symbols in assembly language.
209 #define ASM_PFX(name) _CONCATENATE (__USER_LABEL_PREFIX__, name)
213 // Apple extension that is used by the linker to optimize code size
214 // with assembly functions. Put at the end of your .S files
216 #define ASM_FUNCTION_REMOVE_IF_UNREFERENCED .subsections_via_symbols
218 #define ASM_FUNCTION_REMOVE_IF_UNREFERENCED
223 // Older RVCT ARM compilers don't fully support #pragma pack and require __packed
224 // as a prefix for the structure.
226 #define PACKED __packed
232 /// 128 bit buffer containing a unique identifier value.
233 /// Unless otherwise specified, aligned on a 64 bit boundary.
243 /// 4-byte buffer. An IPv4 internet protocol address.
250 /// 16-byte buffer. An IPv6 internet protocol address.
257 // 8-bytes unsigned value that represents a physical system address.
259 typedef UINT64 PHYSICAL_ADDRESS
;
262 /// LIST_ENTRY structure definition.
264 typedef struct _LIST_ENTRY LIST_ENTRY
;
267 /// _LIST_ENTRY structure definition.
270 LIST_ENTRY
*ForwardLink
;
271 LIST_ENTRY
*BackLink
;
275 // Modifiers to abstract standard types to aid in debug of problems
279 /// Datum is read-only.
284 /// Datum is scoped to the current file or function.
286 #define STATIC static
294 // Modifiers for Data Types used to self document code.
295 // This concept is borrowed for UEFI specification.
299 /// Datum is passed to the function.
304 /// Datum is returned from the function.
309 /// Passing the datum to the function is optional, and a NULL
310 /// is passed if the value is not supplied.
315 // UEFI specification claims 1 and 0. We are concerned about the
316 // compiler portability so we did it this way.
320 /// Boolean true value. UEFI Specification defines this value to be 1,
321 /// but this form is more portable.
323 #define TRUE ((BOOLEAN)(1==1))
326 /// Boolean false value. UEFI Specification defines this value to be 0,
327 /// but this form is more portable.
329 #define FALSE ((BOOLEAN)(0==1))
332 /// NULL pointer (VOID *)
334 #define NULL ((VOID *) 0)
339 #define CHAR_NULL 0x0000
342 /// Maximum values for common UEFI Data Types
344 #define MAX_INT8 ((INT8)0x7F)
345 #define MAX_UINT8 ((UINT8)0xFF)
346 #define MAX_INT16 ((INT16)0x7FFF)
347 #define MAX_UINT16 ((UINT16)0xFFFF)
348 #define MAX_INT32 ((INT32)0x7FFFFFFF)
349 #define MAX_UINT32 ((UINT32)0xFFFFFFFF)
350 #define MAX_INT64 ((INT64)0x7FFFFFFFFFFFFFFFULL)
351 #define MAX_UINT64 ((UINT64)0xFFFFFFFFFFFFFFFFULL)
354 /// Minimum values for the signed UEFI Data Types
356 #define MIN_INT8 (((INT8) -127) - 1)
357 #define MIN_INT16 (((INT16) -32767) - 1)
358 #define MIN_INT32 (((INT32) -2147483647) - 1)
359 #define MIN_INT64 (((INT64) -9223372036854775807LL) - 1)
361 #define BIT0 0x00000001
362 #define BIT1 0x00000002
363 #define BIT2 0x00000004
364 #define BIT3 0x00000008
365 #define BIT4 0x00000010
366 #define BIT5 0x00000020
367 #define BIT6 0x00000040
368 #define BIT7 0x00000080
369 #define BIT8 0x00000100
370 #define BIT9 0x00000200
371 #define BIT10 0x00000400
372 #define BIT11 0x00000800
373 #define BIT12 0x00001000
374 #define BIT13 0x00002000
375 #define BIT14 0x00004000
376 #define BIT15 0x00008000
377 #define BIT16 0x00010000
378 #define BIT17 0x00020000
379 #define BIT18 0x00040000
380 #define BIT19 0x00080000
381 #define BIT20 0x00100000
382 #define BIT21 0x00200000
383 #define BIT22 0x00400000
384 #define BIT23 0x00800000
385 #define BIT24 0x01000000
386 #define BIT25 0x02000000
387 #define BIT26 0x04000000
388 #define BIT27 0x08000000
389 #define BIT28 0x10000000
390 #define BIT29 0x20000000
391 #define BIT30 0x40000000
392 #define BIT31 0x80000000
393 #define BIT32 0x0000000100000000ULL
394 #define BIT33 0x0000000200000000ULL
395 #define BIT34 0x0000000400000000ULL
396 #define BIT35 0x0000000800000000ULL
397 #define BIT36 0x0000001000000000ULL
398 #define BIT37 0x0000002000000000ULL
399 #define BIT38 0x0000004000000000ULL
400 #define BIT39 0x0000008000000000ULL
401 #define BIT40 0x0000010000000000ULL
402 #define BIT41 0x0000020000000000ULL
403 #define BIT42 0x0000040000000000ULL
404 #define BIT43 0x0000080000000000ULL
405 #define BIT44 0x0000100000000000ULL
406 #define BIT45 0x0000200000000000ULL
407 #define BIT46 0x0000400000000000ULL
408 #define BIT47 0x0000800000000000ULL
409 #define BIT48 0x0001000000000000ULL
410 #define BIT49 0x0002000000000000ULL
411 #define BIT50 0x0004000000000000ULL
412 #define BIT51 0x0008000000000000ULL
413 #define BIT52 0x0010000000000000ULL
414 #define BIT53 0x0020000000000000ULL
415 #define BIT54 0x0040000000000000ULL
416 #define BIT55 0x0080000000000000ULL
417 #define BIT56 0x0100000000000000ULL
418 #define BIT57 0x0200000000000000ULL
419 #define BIT58 0x0400000000000000ULL
420 #define BIT59 0x0800000000000000ULL
421 #define BIT60 0x1000000000000000ULL
422 #define BIT61 0x2000000000000000ULL
423 #define BIT62 0x4000000000000000ULL
424 #define BIT63 0x8000000000000000ULL
426 #define SIZE_1KB 0x00000400
427 #define SIZE_2KB 0x00000800
428 #define SIZE_4KB 0x00001000
429 #define SIZE_8KB 0x00002000
430 #define SIZE_16KB 0x00004000
431 #define SIZE_32KB 0x00008000
432 #define SIZE_64KB 0x00010000
433 #define SIZE_128KB 0x00020000
434 #define SIZE_256KB 0x00040000
435 #define SIZE_512KB 0x00080000
436 #define SIZE_1MB 0x00100000
437 #define SIZE_2MB 0x00200000
438 #define SIZE_4MB 0x00400000
439 #define SIZE_8MB 0x00800000
440 #define SIZE_16MB 0x01000000
441 #define SIZE_32MB 0x02000000
442 #define SIZE_64MB 0x04000000
443 #define SIZE_128MB 0x08000000
444 #define SIZE_256MB 0x10000000
445 #define SIZE_512MB 0x20000000
446 #define SIZE_1GB 0x40000000
447 #define SIZE_2GB 0x80000000
448 #define SIZE_4GB 0x0000000100000000ULL
449 #define SIZE_8GB 0x0000000200000000ULL
450 #define SIZE_16GB 0x0000000400000000ULL
451 #define SIZE_32GB 0x0000000800000000ULL
452 #define SIZE_64GB 0x0000001000000000ULL
453 #define SIZE_128GB 0x0000002000000000ULL
454 #define SIZE_256GB 0x0000004000000000ULL
455 #define SIZE_512GB 0x0000008000000000ULL
456 #define SIZE_1TB 0x0000010000000000ULL
457 #define SIZE_2TB 0x0000020000000000ULL
458 #define SIZE_4TB 0x0000040000000000ULL
459 #define SIZE_8TB 0x0000080000000000ULL
460 #define SIZE_16TB 0x0000100000000000ULL
461 #define SIZE_32TB 0x0000200000000000ULL
462 #define SIZE_64TB 0x0000400000000000ULL
463 #define SIZE_128TB 0x0000800000000000ULL
464 #define SIZE_256TB 0x0001000000000000ULL
465 #define SIZE_512TB 0x0002000000000000ULL
466 #define SIZE_1PB 0x0004000000000000ULL
467 #define SIZE_2PB 0x0008000000000000ULL
468 #define SIZE_4PB 0x0010000000000000ULL
469 #define SIZE_8PB 0x0020000000000000ULL
470 #define SIZE_16PB 0x0040000000000000ULL
471 #define SIZE_32PB 0x0080000000000000ULL
472 #define SIZE_64PB 0x0100000000000000ULL
473 #define SIZE_128PB 0x0200000000000000ULL
474 #define SIZE_256PB 0x0400000000000000ULL
475 #define SIZE_512PB 0x0800000000000000ULL
476 #define SIZE_1EB 0x1000000000000000ULL
477 #define SIZE_2EB 0x2000000000000000ULL
478 #define SIZE_4EB 0x4000000000000000ULL
479 #define SIZE_8EB 0x8000000000000000ULL
481 #define BASE_1KB 0x00000400
482 #define BASE_2KB 0x00000800
483 #define BASE_4KB 0x00001000
484 #define BASE_8KB 0x00002000
485 #define BASE_16KB 0x00004000
486 #define BASE_32KB 0x00008000
487 #define BASE_64KB 0x00010000
488 #define BASE_128KB 0x00020000
489 #define BASE_256KB 0x00040000
490 #define BASE_512KB 0x00080000
491 #define BASE_1MB 0x00100000
492 #define BASE_2MB 0x00200000
493 #define BASE_4MB 0x00400000
494 #define BASE_8MB 0x00800000
495 #define BASE_16MB 0x01000000
496 #define BASE_32MB 0x02000000
497 #define BASE_64MB 0x04000000
498 #define BASE_128MB 0x08000000
499 #define BASE_256MB 0x10000000
500 #define BASE_512MB 0x20000000
501 #define BASE_1GB 0x40000000
502 #define BASE_2GB 0x80000000
503 #define BASE_4GB 0x0000000100000000ULL
504 #define BASE_8GB 0x0000000200000000ULL
505 #define BASE_16GB 0x0000000400000000ULL
506 #define BASE_32GB 0x0000000800000000ULL
507 #define BASE_64GB 0x0000001000000000ULL
508 #define BASE_128GB 0x0000002000000000ULL
509 #define BASE_256GB 0x0000004000000000ULL
510 #define BASE_512GB 0x0000008000000000ULL
511 #define BASE_1TB 0x0000010000000000ULL
512 #define BASE_2TB 0x0000020000000000ULL
513 #define BASE_4TB 0x0000040000000000ULL
514 #define BASE_8TB 0x0000080000000000ULL
515 #define BASE_16TB 0x0000100000000000ULL
516 #define BASE_32TB 0x0000200000000000ULL
517 #define BASE_64TB 0x0000400000000000ULL
518 #define BASE_128TB 0x0000800000000000ULL
519 #define BASE_256TB 0x0001000000000000ULL
520 #define BASE_512TB 0x0002000000000000ULL
521 #define BASE_1PB 0x0004000000000000ULL
522 #define BASE_2PB 0x0008000000000000ULL
523 #define BASE_4PB 0x0010000000000000ULL
524 #define BASE_8PB 0x0020000000000000ULL
525 #define BASE_16PB 0x0040000000000000ULL
526 #define BASE_32PB 0x0080000000000000ULL
527 #define BASE_64PB 0x0100000000000000ULL
528 #define BASE_128PB 0x0200000000000000ULL
529 #define BASE_256PB 0x0400000000000000ULL
530 #define BASE_512PB 0x0800000000000000ULL
531 #define BASE_1EB 0x1000000000000000ULL
532 #define BASE_2EB 0x2000000000000000ULL
533 #define BASE_4EB 0x4000000000000000ULL
534 #define BASE_8EB 0x8000000000000000ULL
537 // Support for variable argument lists in freestanding edk2 modules.
539 // For modules that use the ISO C library interfaces for variable
540 // argument lists, refer to "StdLib/Include/stdarg.h".
542 // VA_LIST - typedef for argument list.
543 // VA_START (VA_LIST Marker, argument before the ...) - Init Marker for use.
544 // VA_END (VA_LIST Marker) - Clear Marker
545 // VA_ARG (VA_LIST Marker, var arg type) - Use Marker to get an argument from
546 // the ... list. You must know the type and pass it in this macro. Type
547 // must be compatible with the type of the actual next argument (as promoted
548 // according to the default argument promotions.)
549 // VA_COPY (VA_LIST Dest, VA_LIST Start) - Initialize Dest as a copy of Start.
556 // IN UINTN NumberOfArgs,
565 // // Initialize the Marker
567 // VA_START (Marker, NumberOfArgs);
568 // for (Index = 0, Result = 0; Index < NumberOfArgs; Index++) {
570 // // The ... list is a series of UINTN values, so sum them up.
572 // Result += VA_ARG (Marker, UINTN);
580 // - Functions that call VA_START() / VA_END() must have a variable
581 // argument list and must be declared EFIAPI.
582 // - Functions that call VA_COPY() / VA_END() must be declared EFIAPI.
583 // - Functions that only use VA_LIST and VA_ARG() need not be EFIAPI.
587 Return the size of argument that has been aligned to sizeof (UINTN).
589 @param n The parameter size to be aligned.
591 @return The aligned size.
593 #define _INT_SIZE_OF(n) ((sizeof (n) + sizeof (UINTN) - 1) &~(sizeof (UINTN) - 1))
595 #if defined(__CC_ARM)
597 // RVCT ARM variable argument list support.
601 /// Variable used to traverse the list of arguments. This type can vary by
602 /// implementation and could be an array or structure.
605 typedef int *va_list[1];
606 #define VA_LIST va_list
608 typedef struct __va_list
{ void *__ap
; } va_list;
609 #define VA_LIST va_list
612 #define VA_START(Marker, Parameter) __va_start(Marker, Parameter)
614 #define VA_ARG(Marker, TYPE) __va_arg(Marker, TYPE)
616 #define VA_END(Marker) ((void)0)
618 // For some ARM RVCT compilers, __va_copy is not defined
620 #define __va_copy(dest, src) ((void)((dest) = (src)))
623 #define VA_COPY(Dest, Start) __va_copy (Dest, Start)
625 #elif defined(_M_ARM) || defined(_M_ARM64)
627 // MSFT ARM variable argument list support.
630 typedef char* VA_LIST
;
632 #define VA_START(Marker, Parameter) __va_start (&Marker, &Parameter, _INT_SIZE_OF (Parameter), __alignof(Parameter), &Parameter)
633 #define VA_ARG(Marker, TYPE) (*(TYPE *) ((Marker += _INT_SIZE_OF (TYPE) + ((-(INTN)Marker) & (sizeof(TYPE) - 1))) - _INT_SIZE_OF (TYPE)))
634 #define VA_END(Marker) (Marker = (VA_LIST) 0)
635 #define VA_COPY(Dest, Start) ((void)((Dest) = (Start)))
637 #elif defined(__GNUC__)
639 #if defined(MDE_CPU_X64) && !defined(NO_MSABI_VA_FUNCS)
641 // X64 only. Use MS ABI version of GCC built-in macros for variable argument lists.
644 /// Both GCC and LLVM 3.8 for X64 support new variable argument intrinsics for Microsoft ABI
648 /// Variable used to traverse the list of arguments. This type can vary by
649 /// implementation and could be an array or structure.
651 typedef __builtin_ms_va_list VA_LIST
;
653 #define VA_START(Marker, Parameter) __builtin_ms_va_start (Marker, Parameter)
655 #define VA_ARG(Marker, TYPE) ((sizeof (TYPE) < sizeof (UINTN)) ? (TYPE)(__builtin_va_arg (Marker, UINTN)) : (TYPE)(__builtin_va_arg (Marker, TYPE)))
657 #define VA_END(Marker) __builtin_ms_va_end (Marker)
659 #define VA_COPY(Dest, Start) __builtin_ms_va_copy (Dest, Start)
663 // Use GCC built-in macros for variable argument lists.
667 /// Variable used to traverse the list of arguments. This type can vary by
668 /// implementation and could be an array or structure.
670 typedef __builtin_va_list VA_LIST
;
672 #define VA_START(Marker, Parameter) __builtin_va_start (Marker, Parameter)
674 #define VA_ARG(Marker, TYPE) ((sizeof (TYPE) < sizeof (UINTN)) ? (TYPE)(__builtin_va_arg (Marker, UINTN)) : (TYPE)(__builtin_va_arg (Marker, TYPE)))
676 #define VA_END(Marker) __builtin_va_end (Marker)
678 #define VA_COPY(Dest, Start) __builtin_va_copy (Dest, Start)
684 /// Variable used to traverse the list of arguments. This type can vary by
685 /// implementation and could be an array or structure.
687 typedef CHAR8
*VA_LIST
;
690 Retrieves a pointer to the beginning of a variable argument list, based on
691 the name of the parameter that immediately precedes the variable argument list.
693 This function initializes Marker to point to the beginning of the variable
694 argument list that immediately follows Parameter. The method for computing the
695 pointer to the next argument in the argument list is CPU-specific following the
698 @param Marker The VA_LIST used to traverse the list of arguments.
699 @param Parameter The name of the parameter that immediately precedes
700 the variable argument list.
702 @return A pointer to the beginning of a variable argument list.
705 #define VA_START(Marker, Parameter) (Marker = (VA_LIST) ((UINTN) & (Parameter) + _INT_SIZE_OF (Parameter)))
708 Returns an argument of a specified type from a variable argument list and updates
709 the pointer to the variable argument list to point to the next argument.
711 This function returns an argument of the type specified by TYPE from the beginning
712 of the variable argument list specified by Marker. Marker is then updated to point
713 to the next argument in the variable argument list. The method for computing the
714 pointer to the next argument in the argument list is CPU-specific following the EFIAPI ABI.
716 @param Marker VA_LIST used to traverse the list of arguments.
717 @param TYPE The type of argument to retrieve from the beginning
718 of the variable argument list.
720 @return An argument of the type specified by TYPE.
723 #define VA_ARG(Marker, TYPE) (*(TYPE *) ((Marker += _INT_SIZE_OF (TYPE)) - _INT_SIZE_OF (TYPE)))
726 Terminates the use of a variable argument list.
728 This function initializes Marker so it can no longer be used with VA_ARG().
729 After this macro is used, the only way to access the variable argument list is
730 by using VA_START() again.
732 @param Marker VA_LIST used to traverse the list of arguments.
735 #define VA_END(Marker) (Marker = (VA_LIST) 0)
738 Initializes a VA_LIST as a copy of an existing VA_LIST.
740 This macro initializes Dest as a copy of Start, as if the VA_START macro had been applied to Dest
741 followed by the same sequence of uses of the VA_ARG macro as had previously been used to reach
742 the present state of Start.
744 @param Dest VA_LIST used to traverse the list of arguments.
745 @param Start VA_LIST used to traverse the list of arguments.
748 #define VA_COPY(Dest, Start) ((void)((Dest) = (Start)))
753 /// Pointer to the start of a variable argument list stored in a memory buffer. Same as UINT8 *.
755 typedef UINTN
*BASE_LIST
;
758 Returns the size of a data type in sizeof(UINTN) units rounded up to the nearest UINTN boundary.
760 @param TYPE The date type to determine the size of.
762 @return The size of TYPE in sizeof (UINTN) units rounded up to the nearest UINTN boundary.
764 #define _BASE_INT_SIZE_OF(TYPE) ((sizeof (TYPE) + sizeof (UINTN) - 1) / sizeof (UINTN))
767 Returns an argument of a specified type from a variable argument list and updates
768 the pointer to the variable argument list to point to the next argument.
770 This function returns an argument of the type specified by TYPE from the beginning
771 of the variable argument list specified by Marker. Marker is then updated to point
772 to the next argument in the variable argument list. The method for computing the
773 pointer to the next argument in the argument list is CPU specific following the EFIAPI ABI.
775 @param Marker The pointer to the beginning of a variable argument list.
776 @param TYPE The type of argument to retrieve from the beginning
777 of the variable argument list.
779 @return An argument of the type specified by TYPE.
782 #define BASE_ARG(Marker, TYPE) (*(TYPE *) ((Marker += _BASE_INT_SIZE_OF (TYPE)) - _BASE_INT_SIZE_OF (TYPE)))
785 The macro that returns the byte offset of a field in a data structure.
787 This function returns the offset, in bytes, of field specified by Field from the
788 beginning of the data structure specified by TYPE. If TYPE does not contain Field,
789 the module will not compile.
791 @param TYPE The name of the data structure that contains the field specified by Field.
792 @param Field The name of the field in the data structure.
794 @return Offset, in bytes, of field.
799 #define OFFSET_OF(TYPE, Field) ((UINTN) __builtin_offsetof(TYPE, Field))
804 #define OFFSET_OF(TYPE, Field) ((UINTN) &(((TYPE *)0)->Field))
808 Portable definition for compile time assertions.
809 Equivalent to C11 static_assert macro from assert.h.
811 @param Expression Boolean expression.
812 @param Message Raised compiler diagnostic message when expression is false.
815 #ifdef _MSC_EXTENSIONS
816 #define STATIC_ASSERT static_assert
818 #define STATIC_ASSERT _Static_assert
822 // Verify that ProcessorBind.h produced UEFI Data Types that are compliant with
823 // Section 2.3.1 of the UEFI 2.3 Specification.
826 STATIC_ASSERT (sizeof (BOOLEAN
) == 1, "sizeof (BOOLEAN) does not meet UEFI Specification Data Type requirements");
827 STATIC_ASSERT (sizeof (INT8
) == 1, "sizeof (INT8) does not meet UEFI Specification Data Type requirements");
828 STATIC_ASSERT (sizeof (UINT8
) == 1, "sizeof (UINT8) does not meet UEFI Specification Data Type requirements");
829 STATIC_ASSERT (sizeof (INT16
) == 2, "sizeof (INT16) does not meet UEFI Specification Data Type requirements");
830 STATIC_ASSERT (sizeof (UINT16
) == 2, "sizeof (UINT16) does not meet UEFI Specification Data Type requirements");
831 STATIC_ASSERT (sizeof (INT32
) == 4, "sizeof (INT32) does not meet UEFI Specification Data Type requirements");
832 STATIC_ASSERT (sizeof (UINT32
) == 4, "sizeof (UINT32) does not meet UEFI Specification Data Type requirements");
833 STATIC_ASSERT (sizeof (INT64
) == 8, "sizeof (INT64) does not meet UEFI Specification Data Type requirements");
834 STATIC_ASSERT (sizeof (UINT64
) == 8, "sizeof (UINT64) does not meet UEFI Specification Data Type requirements");
835 STATIC_ASSERT (sizeof (CHAR8
) == 1, "sizeof (CHAR8) does not meet UEFI Specification Data Type requirements");
836 STATIC_ASSERT (sizeof (CHAR16
) == 2, "sizeof (CHAR16) does not meet UEFI Specification Data Type requirements");
839 // The following three enum types are used to verify that the compiler
840 // configuration for enum types is compliant with Section 2.3.1 of the
841 // UEFI 2.3 Specification. These enum types and enum values are not
842 // intended to be used. A prefix of '__' is used avoid conflicts with
846 __VerifyUint8EnumValue
= 0xff
847 } __VERIFY_UINT8_ENUM_SIZE
;
850 __VerifyUint16EnumValue
= 0xffff
851 } __VERIFY_UINT16_ENUM_SIZE
;
854 __VerifyUint32EnumValue
= 0xffffffff
855 } __VERIFY_UINT32_ENUM_SIZE
;
857 STATIC_ASSERT (sizeof (__VERIFY_UINT8_ENUM_SIZE
) == 4, "Size of enum does not meet UEFI Specification Data Type requirements");
858 STATIC_ASSERT (sizeof (__VERIFY_UINT16_ENUM_SIZE
) == 4, "Size of enum does not meet UEFI Specification Data Type requirements");
859 STATIC_ASSERT (sizeof (__VERIFY_UINT32_ENUM_SIZE
) == 4, "Size of enum does not meet UEFI Specification Data Type requirements");
862 Macro that returns a pointer to the data structure that contains a specified field of
863 that data structure. This is a lightweight method to hide information by placing a
864 public data structure inside a larger private data structure and using a pointer to
865 the public data structure to retrieve a pointer to the private data structure.
867 This function computes the offset, in bytes, of field specified by Field from the beginning
868 of the data structure specified by TYPE. This offset is subtracted from Record, and is
869 used to return a pointer to a data structure of the type specified by TYPE. If the data type
870 specified by TYPE does not contain the field specified by Field, then the module will not compile.
872 @param Record Pointer to the field specified by Field within a data structure of type TYPE.
873 @param TYPE The name of the data structure type to return. This data structure must
874 contain the field specified by Field.
875 @param Field The name of the field in the data structure specified by TYPE to which Record points.
877 @return A pointer to the structure from one of it's elements.
880 #define BASE_CR(Record, TYPE, Field) ((TYPE *) ((CHAR8 *) (Record) - OFFSET_OF (TYPE, Field)))
883 Rounds a value up to the next boundary using a specified alignment.
885 This function rounds Value up to the next boundary using the specified Alignment.
886 This aligned value is returned.
888 @param Value The value to round up.
889 @param Alignment The alignment boundary used to return the aligned value.
891 @return A value up to the next boundary.
894 #define ALIGN_VALUE(Value, Alignment) ((Value) + (((Alignment) - (Value)) & ((Alignment) - 1)))
897 Adjust a pointer by adding the minimum offset required for it to be aligned on
898 a specified alignment boundary.
900 This function rounds the pointer specified by Pointer to the next alignment boundary
901 specified by Alignment. The pointer to the aligned address is returned.
903 @param Pointer The pointer to round up.
904 @param Alignment The alignment boundary to use to return an aligned pointer.
906 @return Pointer to the aligned address.
909 #define ALIGN_POINTER(Pointer, Alignment) ((VOID *) (ALIGN_VALUE ((UINTN)(Pointer), (Alignment))))
912 Rounds a value up to the next natural boundary for the current CPU.
913 This is 4-bytes for 32-bit CPUs and 8-bytes for 64-bit CPUs.
915 This function rounds the value specified by Value up to the next natural boundary for the
916 current CPU. This rounded value is returned.
918 @param Value The value to round up.
920 @return Rounded value specified by Value.
923 #define ALIGN_VARIABLE(Value) ALIGN_VALUE ((Value), sizeof (UINTN))
927 Return the maximum of two operands.
929 This macro returns the maximum of two operand specified by a and b.
930 Both a and b must be the same numerical types, signed or unsigned.
932 @param a The first operand with any numerical type.
933 @param b The second operand. Can be any numerical type as long as is
936 @return Maximum of two operands.
940 (((a) > (b)) ? (a) : (b))
943 Return the minimum of two operands.
945 This macro returns the minimal of two operand specified by a and b.
946 Both a and b must be the same numerical types, signed or unsigned.
948 @param a The first operand with any numerical type.
949 @param b The second operand. It should be the same any numerical type with a.
951 @return Minimum of two operands.
955 (((a) < (b)) ? (a) : (b))
958 Return the absolute value of a signed operand.
960 This macro returns the absolute value of the signed operand specified by a.
962 @param a The signed operand.
964 @return The absolute value of the signed operand.
968 (((a) < 0) ? (-(a)) : (a))
971 // Status codes common to all execution phases
973 typedef UINTN RETURN_STATUS
;
976 Produces a RETURN_STATUS code with the highest bit set.
978 @param StatusCode The status code value to convert into a warning code.
979 StatusCode must be in the range 0x00000000..0x7FFFFFFF.
981 @return The value specified by StatusCode with the highest bit set.
984 #define ENCODE_ERROR(StatusCode) ((RETURN_STATUS)(MAX_BIT | (StatusCode)))
987 Produces a RETURN_STATUS code with the highest bit clear.
989 @param StatusCode The status code value to convert into a warning code.
990 StatusCode must be in the range 0x00000000..0x7FFFFFFF.
992 @return The value specified by StatusCode with the highest bit clear.
995 #define ENCODE_WARNING(StatusCode) ((RETURN_STATUS)(StatusCode))
998 Returns TRUE if a specified RETURN_STATUS code is an error code.
1000 This function returns TRUE if StatusCode has the high bit set. Otherwise, FALSE is returned.
1002 @param StatusCode The status code value to evaluate.
1004 @retval TRUE The high bit of StatusCode is set.
1005 @retval FALSE The high bit of StatusCode is clear.
1008 #define RETURN_ERROR(StatusCode) (((INTN)(RETURN_STATUS)(StatusCode)) < 0)
1011 /// The operation completed successfully.
1013 #define RETURN_SUCCESS 0
1016 /// The image failed to load.
1018 #define RETURN_LOAD_ERROR ENCODE_ERROR (1)
1021 /// The parameter was incorrect.
1023 #define RETURN_INVALID_PARAMETER ENCODE_ERROR (2)
1026 /// The operation is not supported.
1028 #define RETURN_UNSUPPORTED ENCODE_ERROR (3)
1031 /// The buffer was not the proper size for the request.
1033 #define RETURN_BAD_BUFFER_SIZE ENCODE_ERROR (4)
1036 /// The buffer was not large enough to hold the requested data.
1037 /// The required buffer size is returned in the appropriate
1038 /// parameter when this error occurs.
1040 #define RETURN_BUFFER_TOO_SMALL ENCODE_ERROR (5)
1043 /// There is no data pending upon return.
1045 #define RETURN_NOT_READY ENCODE_ERROR (6)
1048 /// The physical device reported an error while attempting the
1051 #define RETURN_DEVICE_ERROR ENCODE_ERROR (7)
1054 /// The device can not be written to.
1056 #define RETURN_WRITE_PROTECTED ENCODE_ERROR (8)
1059 /// The resource has run out.
1061 #define RETURN_OUT_OF_RESOURCES ENCODE_ERROR (9)
1064 /// An inconsistency was detected on the file system causing the
1065 /// operation to fail.
1067 #define RETURN_VOLUME_CORRUPTED ENCODE_ERROR (10)
1070 /// There is no more space on the file system.
1072 #define RETURN_VOLUME_FULL ENCODE_ERROR (11)
1075 /// The device does not contain any medium to perform the
1078 #define RETURN_NO_MEDIA ENCODE_ERROR (12)
1081 /// The medium in the device has changed since the last
1084 #define RETURN_MEDIA_CHANGED ENCODE_ERROR (13)
1087 /// The item was not found.
1089 #define RETURN_NOT_FOUND ENCODE_ERROR (14)
1092 /// Access was denied.
1094 #define RETURN_ACCESS_DENIED ENCODE_ERROR (15)
1097 /// The server was not found or did not respond to the request.
1099 #define RETURN_NO_RESPONSE ENCODE_ERROR (16)
1102 /// A mapping to the device does not exist.
1104 #define RETURN_NO_MAPPING ENCODE_ERROR (17)
1107 /// A timeout time expired.
1109 #define RETURN_TIMEOUT ENCODE_ERROR (18)
1112 /// The protocol has not been started.
1114 #define RETURN_NOT_STARTED ENCODE_ERROR (19)
1117 /// The protocol has already been started.
1119 #define RETURN_ALREADY_STARTED ENCODE_ERROR (20)
1122 /// The operation was aborted.
1124 #define RETURN_ABORTED ENCODE_ERROR (21)
1127 /// An ICMP error occurred during the network operation.
1129 #define RETURN_ICMP_ERROR ENCODE_ERROR (22)
1132 /// A TFTP error occurred during the network operation.
1134 #define RETURN_TFTP_ERROR ENCODE_ERROR (23)
1137 /// A protocol error occurred during the network operation.
1139 #define RETURN_PROTOCOL_ERROR ENCODE_ERROR (24)
1142 /// A function encountered an internal version that was
1143 /// incompatible with a version requested by the caller.
1145 #define RETURN_INCOMPATIBLE_VERSION ENCODE_ERROR (25)
1148 /// The function was not performed due to a security violation.
1150 #define RETURN_SECURITY_VIOLATION ENCODE_ERROR (26)
1153 /// A CRC error was detected.
1155 #define RETURN_CRC_ERROR ENCODE_ERROR (27)
1158 /// The beginning or end of media was reached.
1160 #define RETURN_END_OF_MEDIA ENCODE_ERROR (28)
1163 /// The end of the file was reached.
1165 #define RETURN_END_OF_FILE ENCODE_ERROR (31)
1168 /// The language specified was invalid.
1170 #define RETURN_INVALID_LANGUAGE ENCODE_ERROR (32)
1173 /// The security status of the data is unknown or compromised
1174 /// and the data must be updated or replaced to restore a valid
1175 /// security status.
1177 #define RETURN_COMPROMISED_DATA ENCODE_ERROR (33)
1180 /// A HTTP error occurred during the network operation.
1182 #define RETURN_HTTP_ERROR ENCODE_ERROR (35)
1185 /// The string contained one or more characters that
1186 /// the device could not render and were skipped.
1188 #define RETURN_WARN_UNKNOWN_GLYPH ENCODE_WARNING (1)
1191 /// The handle was closed, but the file was not deleted.
1193 #define RETURN_WARN_DELETE_FAILURE ENCODE_WARNING (2)
1196 /// The handle was closed, but the data to the file was not
1197 /// flushed properly.
1199 #define RETURN_WARN_WRITE_FAILURE ENCODE_WARNING (3)
1202 /// The resulting buffer was too small, and the data was
1203 /// truncated to the buffer size.
1205 #define RETURN_WARN_BUFFER_TOO_SMALL ENCODE_WARNING (4)
1208 /// The data has not been updated within the timeframe set by
1209 /// local policy for this type of data.
1211 #define RETURN_WARN_STALE_DATA ENCODE_WARNING (5)
1214 /// The resulting buffer contains UEFI-compliant file system.
1216 #define RETURN_WARN_FILE_SYSTEM ENCODE_WARNING (6)
1220 Returns a 16-bit signature built from 2 ASCII characters.
1222 This macro returns a 16-bit value built from the two ASCII characters specified
1225 @param A The first ASCII character.
1226 @param B The second ASCII character.
1228 @return A 16-bit value built from the two ASCII characters specified by A and B.
1231 #define SIGNATURE_16(A, B) ((A) | (B << 8))
1234 Returns a 32-bit signature built from 4 ASCII characters.
1236 This macro returns a 32-bit value built from the four ASCII characters specified
1239 @param A The first ASCII character.
1240 @param B The second ASCII character.
1241 @param C The third ASCII character.
1242 @param D The fourth ASCII character.
1244 @return A 32-bit value built from the two ASCII characters specified by A, B,
1248 #define SIGNATURE_32(A, B, C, D) (SIGNATURE_16 (A, B) | (SIGNATURE_16 (C, D) << 16))
1251 Returns a 64-bit signature built from 8 ASCII characters.
1253 This macro returns a 64-bit value built from the eight ASCII characters specified
1254 by A, B, C, D, E, F, G,and H.
1256 @param A The first ASCII character.
1257 @param B The second ASCII character.
1258 @param C The third ASCII character.
1259 @param D The fourth ASCII character.
1260 @param E The fifth ASCII character.
1261 @param F The sixth ASCII character.
1262 @param G The seventh ASCII character.
1263 @param H The eighth ASCII character.
1265 @return A 64-bit value built from the two ASCII characters specified by A, B,
1266 C, D, E, F, G and H.
1269 #define SIGNATURE_64(A, B, C, D, E, F, G, H) \
1270 (SIGNATURE_32 (A, B, C, D) | ((UINT64) (SIGNATURE_32 (E, F, G, H)) << 32))
1272 #if defined(_MSC_EXTENSIONS) && !defined (__INTEL_COMPILER) && !defined (MDE_CPU_EBC)
1273 void * _ReturnAddress(void);
1274 #pragma intrinsic(_ReturnAddress)
1276 Get the return address of the calling function.
1278 Based on intrinsic function _ReturnAddress that provides the address of
1279 the instruction in the calling function that will be executed after
1280 control returns to the caller.
1282 @param L Return Level.
1284 @return The return address of the calling function or 0 if L != 0.
1287 #define RETURN_ADDRESS(L) ((L == 0) ? _ReturnAddress() : (VOID *) 0)
1288 #elif defined(__GNUC__)
1289 void * __builtin_return_address (unsigned int level
);
1291 Get the return address of the calling function.
1293 Based on built-in Function __builtin_return_address that returns
1294 the return address of the current function, or of one of its callers.
1296 @param L Return Level.
1298 @return The return address of the calling function.
1301 #define RETURN_ADDRESS(L) __builtin_return_address (L)
1304 Get the return address of the calling function.
1306 @param L Return Level.
1308 @return 0 as compilers don't support this feature.
1311 #define RETURN_ADDRESS(L) ((VOID *) 0)
1315 Return the number of elements in an array.
1317 @param Array An object of array type. Array is only used as an argument to
1318 the sizeof operator, therefore Array is never evaluated. The
1319 caller is responsible for ensuring that Array's type is not
1320 incomplete; that is, Array must have known constant size.
1322 @return The number of elements in Array. The result has type UINTN.
1325 #define ARRAY_SIZE(Array) (sizeof (Array) / sizeof ((Array)[0]))