2 Include file matches things in PI.
4 Copyright (c) 2006 - 2010, Intel Corporation
5 All rights reserved. This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 @par Revision Reference:
18 #ifndef __PI_DXECIS_H__
19 #define __PI_DXECIS_H__
21 #include <Uefi/UefiMultiPhase.h>
22 #include <Pi/PiMultiPhase.h>
25 /// Global Coherencey Domain types - Memory type
29 /// A memory region that is visible to the boot processor. However, there are no system
30 /// components that are currently decoding this memory region.
32 EfiGcdMemoryTypeNonExistent
,
34 /// A memory region that is visible to the boot processor. This memory region is being
35 /// decoded by a system component, but the memory region is not considered to be either
36 /// system memory or memory-mapped I/O.
38 EfiGcdMemoryTypeReserved
,
40 /// A memory region that is visible to the boot processor. A memory controller is
41 /// currently decoding this memory region and the memory controller is producing a
42 /// tested system memory region that is available to the memory services.
44 EfiGcdMemoryTypeSystemMemory
,
46 /// A memory region that is visible to the boot processor. This memory region is
47 /// currently being decoded by a component as memory-mapped I/O that can be used to
48 /// access I/O devices in the platform.
50 EfiGcdMemoryTypeMemoryMappedIo
,
51 EfiGcdMemoryTypeMaximum
52 } EFI_GCD_MEMORY_TYPE
;
55 /// Global Coherencey Domain types - IO type
59 /// An I/O region that is visible to the boot processor. However, there are no system
60 /// components that are currently decoding this I/O region.
62 EfiGcdIoTypeNonExistent
,
64 /// An I/O region that is visible to the boot processor. This I/O region is currently being
65 /// decoded by a system component, but the I/O region cannot be used to access I/O devices.
69 /// An I/O region that is visible to the boot processor. This I/O region is currently being
70 /// decoded by a system component that is producing I/O ports that can be used to access I/O devices.
77 /// The type of allocation to perform.
81 /// The GCD memory space map is searched from the lowest address up to the highest address
82 /// looking for unallocated memory ranges.
84 EfiGcdAllocateAnySearchBottomUp
,
86 /// The GCD memory space map is searched from the lowest address up
87 /// to the specified MaxAddress looking for unallocated memory ranges.
89 EfiGcdAllocateMaxAddressSearchBottomUp
,
91 /// The GCD memory space map is checked to see if the memory range starting
92 /// at the specified Address is available.
94 EfiGcdAllocateAddress
,
96 /// The GCD memory space map is searched from the highest address down to the lowest address
97 /// looking for unallocated memory ranges.
99 EfiGcdAllocateAnySearchTopDown
,
101 /// The GCD memory space map is searched from the specified MaxAddress
102 /// down to the lowest address looking for unallocated memory ranges.
104 EfiGcdAllocateMaxAddressSearchTopDown
,
105 EfiGcdMaxAllocateType
106 } EFI_GCD_ALLOCATE_TYPE
;
109 /// EFI_GCD_MEMORY_SPACE_DESCRIPTOR
113 /// The physical address of the first byte in the memory region. Type
114 /// EFI_PHYSICAL_ADDRESS is defined in the AllocatePages() function
115 /// description in the UEFI 2.0 specification
117 EFI_PHYSICAL_ADDRESS BaseAddress
;
120 /// The number of bytes in the memory region.
125 /// The bit mask of attributes that the memory region is capable of supporting. The bit
126 /// mask of available attributes is defined in the GetMemoryMap() function description
127 /// in the UEFI 2.0 specification.
131 /// The bit mask of attributes that the memory region is currently using. The bit mask of
132 /// available attributes is defined in GetMemoryMap().
136 /// Type of the memory region. Type EFI_GCD_MEMORY_TYPE is defined in the
137 /// AddMemorySpace() function description
139 EFI_GCD_MEMORY_TYPE GcdMemoryType
;
142 /// The image handle of the agent that allocated the memory resource described by
143 /// PhysicalStart and NumberOfBytes. If this field is NULL, then the memory
144 /// resource is not currently allocated. Type EFI_HANDLE is defined in
145 /// InstallProtocolInterface() in the UEFI 2.0 specification.
147 EFI_HANDLE ImageHandle
;
150 /// The device handle for which the memory resource has been allocated. If
151 /// ImageHandle is NULL, then the memory resource is not currently allocated. If this
152 /// field is NULL, then the memory resource is not associated with a device that is
153 /// described by a device handle. Type EFI_HANDLE is defined in
154 /// InstallProtocolInterface() in the UEFI 2.0 specification.
156 EFI_HANDLE DeviceHandle
;
157 } EFI_GCD_MEMORY_SPACE_DESCRIPTOR
;
160 /// EFI_GCD_IO_SPACE_DESCRIPTOR
164 /// Physical address of the first byte in the I/O region. Type
165 /// EFI_PHYSICAL_ADDRESS is defined in the AllocatePages() function
166 /// description in the UEFI 2.0 specification.
168 EFI_PHYSICAL_ADDRESS BaseAddress
;
171 /// Number of bytes in the I/O region.
176 /// Type of the I/O region. Type EFI_GCD_IO_TYPE is defined in the
177 /// AddIoSpace() function description.
179 EFI_GCD_IO_TYPE GcdIoType
;
182 /// The image handle of the agent that allocated the I/O resource described by
183 /// PhysicalStart and NumberOfBytes. If this field is NULL, then the I/O
184 /// resource is not currently allocated. Type EFI_HANDLE is defined in
185 /// InstallProtocolInterface() in the UEFI 2.0 specification.
187 EFI_HANDLE ImageHandle
;
190 /// The device handle for which the I/O resource has been allocated. If ImageHandle
191 /// is NULL, then the I/O resource is not currently allocated. If this field is NULL, then
192 /// the I/O resource is not associated with a device that is described by a device handle.
193 /// Type EFI_HANDLE is defined in InstallProtocolInterface() in the UEFI
194 /// 2.0 specification.
196 EFI_HANDLE DeviceHandle
;
197 } EFI_GCD_IO_SPACE_DESCRIPTOR
;
201 Adds reserved memory, system memory, or memory-mapped I/O resources to the
202 global coherency domain of the processor.
204 @param GcdMemoryType The type of memory resource being added.
205 @param BaseAddress The physical address that is the start address
206 of the memory resource being added.
207 @param Length The size, in bytes, of the memory resource that
209 @param Capabilities The bit mask of attributes that the memory
210 resource region supports.
212 @retval EFI_SUCCESS The memory resource was added to the global
213 coherency domain of the processor.
214 @retval EFI_INVALID_PARAMETER GcdMemoryType is invalid.
215 @retval EFI_INVALID_PARAMETER Length is zero.
216 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to add
217 the memory resource to the global coherency
218 domain of the processor.
219 @retval EFI_UNSUPPORTED The processor does not support one or more bytes
220 of the memory resource range specified by
221 BaseAddress and Length.
222 @retval EFI_ACCESS_DENIED One or more bytes of the memory resource range
223 specified by BaseAddress and Length conflicts
224 with a memory resource range that was previously
225 added to the global coherency domain of the processor.
226 @retval EFI_ACCESS_DENIED One or more bytes of the memory resource range
227 specified by BaseAddress and Length was allocated
228 in a prior call to AllocateMemorySpace()..
233 (EFIAPI
*EFI_ADD_MEMORY_SPACE
)(
234 IN EFI_GCD_MEMORY_TYPE GcdMemoryType
,
235 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
237 IN UINT64 Capabilities
241 Allocates nonexistent memory, reserved memory, system memory, or memorymapped
242 I/O resources from the global coherency domain of the processor.
244 @param GcdAllocateType The type of allocation to perform.
245 @param GcdMemoryType The type of memory resource being allocated.
246 @param Alignment The log base 2 of the boundary that BaseAddress must
247 be aligned on output. Align with 2^Alignment.
248 @param Length The size in bytes of the memory resource range that
250 @param BaseAddress A pointer to a physical address to allocate.
251 @param Imagehandle The image handle of the agent that is allocating
253 @param DeviceHandle The device handle for which the memory resource
256 @retval EFI_INVALID_PARAMETER GcdAllocateType is invalid.
257 @retval EFI_INVALID_PARAMETER GcdMemoryType is invalid.
258 @retval EFI_INVALID_PARAMETER Length is zero.
259 @retval EFI_INVALID_PARAMETER BaseAddress is NULL.
260 @retval EFI_INVALID_PARAMETER ImageHandle is NULL.
261 @retval EFI_NOT_FOUND The memory resource request could not be satisfied.
262 No descriptor contains the desired space.
263 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to allocate the memory
264 resource from the global coherency domain of the processor.
265 @retval EFI_SUCCESS The memory resource was allocated from the global coherency
266 domain of the processor.
272 (EFIAPI
*EFI_ALLOCATE_MEMORY_SPACE
)(
273 IN EFI_GCD_ALLOCATE_TYPE GcdAllocateType
,
274 IN EFI_GCD_MEMORY_TYPE GcdMemoryType
,
277 IN OUT EFI_PHYSICAL_ADDRESS
*BaseAddress
,
278 IN EFI_HANDLE ImageHandle
,
279 IN EFI_HANDLE DeviceHandle OPTIONAL
283 Frees nonexistent memory, reserved memory, system memory, or memory-mapped
284 I/O resources from the global coherency domain of the processor.
286 @param BaseAddress The physical address that is the start address of the memory resource being freed.
287 @param Length The size in bytes of the memory resource range that is being freed.
289 @retval EFI_SUCCESS The memory resource was freed from the global coherency domain of
291 @retval EFI_INVALID_PARAMETER Length is zero.
292 @retval EFI_UNSUPPORTED The processor does not support one or more bytes of the memory
293 resource range specified by BaseAddress and Length.
294 @retval EFI_NOT_FOUND The memory resource range specified by BaseAddress and
295 Length was not allocated with previous calls to AllocateMemorySpace().
296 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to free the memory resource
297 from the global coherency domain of the processor.
302 (EFIAPI
*EFI_FREE_MEMORY_SPACE
)(
303 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
308 Removes reserved memory, system memory, or memory-mapped I/O resources from
309 the global coherency domain of the processor.
311 @param BaseAddress The physical address that is the start address of the memory resource being removed.
312 @param Length The size in bytes of the memory resource that is being removed.
314 @retval EFI_SUCCESS The memory resource was removed from the global coherency
315 domain of the processor.
316 @retval EFI_INVALID_PARAMETER Length is zero.
317 @retval EFI_UNSUPPORTED The processor does not support one or more bytes of the memory
318 resource range specified by BaseAddress and Length.
319 @retval EFI_NOT_FOUND One or more bytes of the memory resource range specified by
320 BaseAddress and Length was not added with previous calls to
322 @retval EFI_ACCESS_DEFINED One or more bytes of the memory resource range specified by
323 BaseAddress and Length has been allocated with AllocateMemorySpace().
324 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to remove the memory
325 resource from the global coherency domain of the processor.
330 (EFIAPI
*EFI_REMOVE_MEMORY_SPACE
)(
331 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
336 Retrieves the descriptor for a memory region containing a specified address.
338 @param BaseAddress The physical address that is the start address of a memory region.
339 @param Descriptor A pointer to a caller allocated descriptor.
341 @retval EFI_SUCCESS The descriptor for the memory resource region containing
342 BaseAddress was returned in Descriptor.
343 @retval EFI_INVALID_PARAMETER Descriptor is NULL.
344 @retval EFI_NOT_FOUND A memory resource range containing BaseAddress was not found.
349 (EFIAPI
*EFI_GET_MEMORY_SPACE_DESCRIPTOR
)(
350 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
351 OUT EFI_GCD_MEMORY_SPACE_DESCRIPTOR
*Descriptor
355 Modifies the attributes for a memory region in the global coherency domain of the
358 @param BaseAddress The physical address that is the start address of a memory region.
359 @param Length The size in bytes of the memory region.
360 @param Attributes The bit mask of attributes to set for the memory region.
362 @retval EFI_SUCCESS The attributes were set for the memory region.
363 @retval EFI_INVALID_PARAMETER Length is zero.
364 @retval EFI_UNSUPPORTED The processor does not support one or more bytes of the memory
365 resource range specified by BaseAddress and Length.
366 @retval EFI_UNSUPPORTED The bit mask of attributes is not support for the memory resource
367 range specified by BaseAddress and Length.
368 @retval EFI_ACCESS_DEFINED The attributes for the memory resource range specified by
369 BaseAddress and Length cannot be modified.
370 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to modify the attributes of
371 the memory resource range.
376 (EFIAPI
*EFI_SET_MEMORY_SPACE_ATTRIBUTES
)(
377 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
383 Returns a map of the memory resources in the global coherency domain of the
386 @param NumberOfDescriptors A pointer to number of descriptors returned in the MemorySpaceMap buffer.
387 @param MemorySpaceMap A pointer to the array of EFI_GCD_MEMORY_SPACE_DESCRIPTORs.
389 @retval EFI_SUCCESS The memory space map was returned in the MemorySpaceMap
390 buffer, and the number of descriptors in MemorySpaceMap was
391 returned in NumberOfDescriptors.
392 @retval EFI_INVALID_PARAMETER NumberOfDescriptors is NULL.
393 @retval EFI_INVALID_PARAMETER MemorySpaceMap is NULL.
394 @retval EFI_OUT_OF_RESOURCES There are not enough resources to allocate MemorySpaceMap.
399 (EFIAPI
*EFI_GET_MEMORY_SPACE_MAP
)(
400 OUT UINTN
*NumberOfDescriptors
,
401 OUT EFI_GCD_MEMORY_SPACE_DESCRIPTOR
**MemorySpaceMap
405 Adds reserved I/O or I/O resources to the global coherency domain of the processor.
407 @param GcdIoType The type of I/O resource being added.
408 @param BaseAddress The physical address that is the start address of the I/O resource being added.
409 @param Length The size in bytes of the I/O resource that is being added.
411 @retval EFI_SUCCESS The I/O resource was added to the global coherency domain of
413 @retval EFI_INVALID_PARAMETER GcdIoType is invalid.
414 @retval EFI_INVALID_PARAMETER Length is zero.
415 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to add the I/O resource to
416 the global coherency domain of the processor.
417 @retval EFI_UNSUPPORTED The processor does not support one or more bytes of the I/O
418 resource range specified by BaseAddress and Length.
419 @retval EFI_ACCESS_DENIED One or more bytes of the I/O resource range specified by
420 BaseAddress and Length conflicts with an I/O resource
421 range that was previously added to the global coherency domain
423 @retval EFI_ACCESS_DENIED One or more bytes of the I/O resource range specified by
424 BaseAddress and Length was allocated in a prior call to
430 (EFIAPI
*EFI_ADD_IO_SPACE
)(
431 IN EFI_GCD_IO_TYPE GcdIoType
,
432 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
437 Allocates nonexistent I/O, reserved I/O, or I/O resources from the global coherency
438 domain of the processor.
440 @param GcdAllocateType The type of allocation to perform.
441 @param GcdIoType The type of I/O resource being allocated.
442 @param Alignment The log base 2 of the boundary that BaseAddress must be aligned on output.
443 @param Length The size in bytes of the I/O resource range that is being allocated.
444 @param BaseAddress A pointer to a physical address.
445 @param Imagehandle The image handle of the agent that is allocating the I/O resource.
446 @param DeviceHandle The device handle for which the I/O resource is being allocated.
448 @retval EFI_SUCCESS The I/O resource was allocated from the global coherency domain
450 @retval EFI_INVALID_PARAMETER GcdAllocateType is invalid.
451 @retval EFI_INVALID_PARAMETER GcdIoType is invalid.
452 @retval EFI_INVALID_PARAMETER Length is zero.
453 @retval EFI_INVALID_PARAMETER BaseAddress is NULL.
454 @retval EFI_INVALID_PARAMETER ImageHandle is NULL.
455 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to allocate the I/O
456 resource from the global coherency domain of the processor.
457 @retval EFI_NOT_FOUND The I/O resource request could not be satisfied.
462 (EFIAPI
*EFI_ALLOCATE_IO_SPACE
)(
463 IN EFI_GCD_ALLOCATE_TYPE GcdAllocateType
,
464 IN EFI_GCD_IO_TYPE GcdIoType
,
467 IN OUT EFI_PHYSICAL_ADDRESS
*BaseAddress
,
468 IN EFI_HANDLE ImageHandle
,
469 IN EFI_HANDLE DeviceHandle OPTIONAL
473 Frees nonexistent I/O, reserved I/O, or I/O resources from the global coherency
474 domain of the processor.
476 @param BaseAddress The physical address that is the start address of the I/O resource being freed.
477 @param Length The size in bytes of the I/O resource range that is being freed.
479 @retval EFI_SUCCESS The I/O resource was freed from the global coherency domain of the
481 @retval EFI_INVALID_PARAMETER Length is zero.
482 @retval EFI_UNSUPPORTED The processor does not support one or more bytes of the I/O resource
483 range specified by BaseAddress and Length.
484 @retval EFI_NOT_FOUND The I/O resource range specified by BaseAddress and Length
485 was not allocated with previous calls to AllocateIoSpace().
486 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to free the I/O resource from
487 the global coherency domain of the processor.
492 (EFIAPI
*EFI_FREE_IO_SPACE
)(
493 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
498 Removes reserved I/O or I/O resources from the global coherency domain of the
501 @param BaseAddress A pointer to a physical address that is the start address of the I/O resource being
503 @param Length The size in bytes of the I/O resource that is being removed.
505 @retval EFI_SUCCESS The I/O resource was removed from the global coherency domain
507 @retval EFI_INVALID_PARAMETER Length is zero.
508 @retval EFI_UNSUPPORTED The processor does not support one or more bytes of the I/O
509 resource range specified by BaseAddress and Length.
510 @retval EFI_NOT_FOUND One or more bytes of the I/O resource range specified by
511 BaseAddress and Length was not added with previous
512 calls to AddIoSpace().
513 @retval EFI_ACCESS_DENIED One or more bytes of the I/O resource range specified by
514 BaseAddress and Length has been allocated with
516 @retval EFI_OUT_OF_RESOURCES There are not enough system resources to remove the I/O
517 resource from the global coherency domain of the processor.
522 (EFIAPI
*EFI_REMOVE_IO_SPACE
)(
523 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
528 Retrieves the descriptor for an I/O region containing a specified address.
530 @param BaseAddress The physical address that is the start address of an I/O region.
531 @param Descriptor A pointer to a caller allocated descriptor.
533 @retval EFI_SUCCESS The descriptor for the I/O resource region containing
534 BaseAddress was returned in Descriptor.
535 @retval EFI_INVALID_PARAMETER Descriptor is NULL.
536 @retval EFI_NOT_FOUND An I/O resource range containing BaseAddress was not found.
541 (EFIAPI
*EFI_GET_IO_SPACE_DESCRIPTOR
)(
542 IN EFI_PHYSICAL_ADDRESS BaseAddress
,
543 OUT EFI_GCD_IO_SPACE_DESCRIPTOR
*Descriptor
547 Returns a map of the I/O resources in the global coherency domain of the processor.
549 @param NumberOfDescriptors A pointer to number of descriptors returned in the IoSpaceMap buffer.
550 @param MemorySpaceMap A pointer to the array of EFI_GCD_IO_SPACE_DESCRIPTORs.
552 @retval EFI_SUCCESS The I/O space map was returned in the IoSpaceMap buffer, and
553 the number of descriptors in IoSpaceMap was returned in
555 @retval EFI_INVALID_PARAMETER NumberOfDescriptors is NULL.
556 @retval EFI_INVALID_PARAMETER IoSpaceMap is NULL.
557 @retval EFI_OUT_OF_RESOURCES There are not enough resources to allocate IoSpaceMap.
563 (EFIAPI
*EFI_GET_IO_SPACE_MAP
)(
564 OUT UINTN
*NumberOfDescriptors
,
565 OUT EFI_GCD_IO_SPACE_DESCRIPTOR
**IoSpaceMap
571 Loads and executed DXE drivers from firmware volumes.
573 The Dispatch() function searches for DXE drivers in firmware volumes that have been
574 installed since the last time the Dispatch() service was called. It then evaluates
575 the dependency expressions of all the DXE drivers and loads and executes those DXE
576 drivers whose dependency expression evaluate to TRUE. This service must interact with
577 the Security Architectural Protocol to authenticate DXE drivers before they are executed.
578 This process is continued until no more DXE drivers can be executed.
580 @retval EFI_SUCCESS One or more DXE driver were dispatched.
581 @retval EFI_NOT_FOUND No DXE drivers were dispatched.
582 @retval EFI_ALREADY_STARTED An attempt is being made to start the DXE Dispatcher recursively.
583 Thus no action was taken.
588 (EFIAPI
*EFI_DISPATCH
)(
593 Clears the Schedule on Request (SOR) flag for a component that is stored in a firmware volume.
595 @param FirmwareVolumeHandle The handle of the firmware volume that contains the file specified by FileName.
596 @param FileName A pointer to the name of the file in a firmware volume.
598 @retval EFI_SUCCESS The DXE driver was found and its SOR bit was cleared.
599 @retval EFI_NOT_FOUND The DXE driver does not exist, or the DXE driver exists and its SOR
605 (EFIAPI
*EFI_SCHEDULE
)(
606 IN EFI_HANDLE FirmwareVolumeHandle
,
607 IN CONST EFI_GUID
*FileName
611 Promotes a file stored in a firmware volume from the untrusted to the trusted state.
613 @param FirmwareVolumeHandle The handle of the firmware volume that contains the file specified by FileName.
614 @param DriverName A pointer to the name of the file in a firmware volume.
616 @return Status of promoting FFS from untrusted to trusted
618 @retval EFI_NOT_FOUND The file was not found in the untrusted state.
624 IN EFI_HANDLE FirmwareVolumeHandle
,
625 IN CONST EFI_GUID
*FileName
629 Creates a firmware volume handle for a firmware volume that is present in system memory.
631 @param FirmwareVolumeHeader A pointer to the header of the firmware volume.
632 @param Size The size, in bytes, of the firmware volume.
633 @param FirmwareVolumeHandle On output, a pointer to the created handle.
635 @retval EFI_SUCCESS The EFI_FIRMWARE_VOLUME_PROTOCOL and
636 EFI_DEVICE_PATH_PROTOCOL were installed onto
637 FirmwareVolumeHandle for the firmware volume described
638 by FirmwareVolumeHeader and Size.
639 @retval EFI_VOLUME_CORRUPTED The firmware volume described by FirmwareVolumeHeader
640 and Size is corrupted.
641 @retval EFI_OUT_OF_RESOURCES There are not enough system resources available to produce the
642 EFI_FIRMWARE_VOLUME_PROTOCOL and EFI_DEVICE_PATH_PROTOCOL
643 for the firmware volume described by FirmwareVolumeHeader and Size.
648 (EFIAPI
*EFI_PROCESS_FIRMWARE_VOLUME
)(
649 IN CONST VOID
*FirmwareVolumeHeader
,
651 OUT EFI_HANDLE
*FirmwareVolumeHandle
655 // DXE Services Table
657 #define DXE_SERVICES_SIGNATURE 0x565245535f455844ULL
658 #define DXE_SERVICES_REVISION ((1<<16) | (00))
662 /// The table header for the DXE Services Table.
663 /// This header contains the DXE_SERVICES_SIGNATURE and DXE_SERVICES_REVISION values.
665 EFI_TABLE_HEADER Hdr
;
668 // Global Coherency Domain Services
670 EFI_ADD_MEMORY_SPACE AddMemorySpace
;
671 EFI_ALLOCATE_MEMORY_SPACE AllocateMemorySpace
;
672 EFI_FREE_MEMORY_SPACE FreeMemorySpace
;
673 EFI_REMOVE_MEMORY_SPACE RemoveMemorySpace
;
674 EFI_GET_MEMORY_SPACE_DESCRIPTOR GetMemorySpaceDescriptor
;
675 EFI_SET_MEMORY_SPACE_ATTRIBUTES SetMemorySpaceAttributes
;
676 EFI_GET_MEMORY_SPACE_MAP GetMemorySpaceMap
;
677 EFI_ADD_IO_SPACE AddIoSpace
;
678 EFI_ALLOCATE_IO_SPACE AllocateIoSpace
;
679 EFI_FREE_IO_SPACE FreeIoSpace
;
680 EFI_REMOVE_IO_SPACE RemoveIoSpace
;
681 EFI_GET_IO_SPACE_DESCRIPTOR GetIoSpaceDescriptor
;
682 EFI_GET_IO_SPACE_MAP GetIoSpaceMap
;
685 // Dispatcher Services
687 EFI_DISPATCH Dispatch
;
688 EFI_SCHEDULE Schedule
;
691 // Service to process a single firmware volume found in a capsule
693 EFI_PROCESS_FIRMWARE_VOLUME ProcessFirmwareVolume
;
696 typedef DXE_SERVICES EFI_DXE_SERVICES
;
700 Function prototype for invoking a function on an Application Processor.
702 This definition is used by the UEFI MP Serices Protocol, and the
705 @param[in,out] Buffer Pointer to private data buffer.
709 (EFIAPI
*EFI_AP_PROCEDURE
)(