#include <gpxe/efi/ProcessorBind.h>
#include <gpxe/efi/IndustryStandard/PeImage.h>
Go to the source code of this file.
The DebugSupport protocol is used by source level debuggers to abstract the processor and handle context save and restore operations.
Copyright (c) 2006 - 2008, Intel Corporation All rights reserved. This program and the accompanying materials are licensed and made available under the terms and conditions of the BSD License which accompanies this distribution. The full text of the license may be found at http://opensource.org/licenses/bsd-license.php
THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
Definition in file DebugSupport.h.
| #define EFI_DEBUG_SUPPORT_PROTOCOL_GUID |
Value:
{ \
0x2755590C, 0x6F3C, 0x42FA, {0x9E, 0xA4, 0xA3, 0xBA, 0x54, 0x3C, 0xDA, 0x25 } \
}
Definition at line 30 of file DebugSupport.h.
| #define EXCEPT_IA32_DIVIDE_ERROR 0 |
Definition at line 43 of file DebugSupport.h.
| #define EXCEPT_IA32_DEBUG 1 |
Definition at line 44 of file DebugSupport.h.
| #define EXCEPT_IA32_NMI 2 |
Definition at line 45 of file DebugSupport.h.
| #define EXCEPT_IA32_BREAKPOINT 3 |
Definition at line 46 of file DebugSupport.h.
| #define EXCEPT_IA32_OVERFLOW 4 |
Definition at line 47 of file DebugSupport.h.
| #define EXCEPT_IA32_BOUND 5 |
Definition at line 48 of file DebugSupport.h.
| #define EXCEPT_IA32_INVALID_OPCODE 6 |
Definition at line 49 of file DebugSupport.h.
| #define EXCEPT_IA32_DOUBLE_FAULT 8 |
Definition at line 50 of file DebugSupport.h.
| #define EXCEPT_IA32_INVALID_TSS 10 |
Definition at line 51 of file DebugSupport.h.
| #define EXCEPT_IA32_SEG_NOT_PRESENT 11 |
Definition at line 52 of file DebugSupport.h.
| #define EXCEPT_IA32_STACK_FAULT 12 |
Definition at line 53 of file DebugSupport.h.
| #define EXCEPT_IA32_GP_FAULT 13 |
Definition at line 54 of file DebugSupport.h.
| #define EXCEPT_IA32_PAGE_FAULT 14 |
Definition at line 55 of file DebugSupport.h.
| #define EXCEPT_IA32_FP_ERROR 16 |
Definition at line 56 of file DebugSupport.h.
| #define EXCEPT_IA32_ALIGNMENT_CHECK 17 |
Definition at line 57 of file DebugSupport.h.
| #define EXCEPT_IA32_MACHINE_CHECK 18 |
Definition at line 58 of file DebugSupport.h.
| #define EXCEPT_IA32_SIMD 19 |
Definition at line 59 of file DebugSupport.h.
| #define EXCEPT_X64_DIVIDE_ERROR 0 |
Definition at line 137 of file DebugSupport.h.
| #define EXCEPT_X64_DEBUG 1 |
Definition at line 138 of file DebugSupport.h.
| #define EXCEPT_X64_NMI 2 |
Definition at line 139 of file DebugSupport.h.
| #define EXCEPT_X64_BREAKPOINT 3 |
Definition at line 140 of file DebugSupport.h.
| #define EXCEPT_X64_OVERFLOW 4 |
Definition at line 141 of file DebugSupport.h.
| #define EXCEPT_X64_BOUND 5 |
Definition at line 142 of file DebugSupport.h.
| #define EXCEPT_X64_INVALID_OPCODE 6 |
Definition at line 143 of file DebugSupport.h.
| #define EXCEPT_X64_DOUBLE_FAULT 8 |
Definition at line 144 of file DebugSupport.h.
| #define EXCEPT_X64_INVALID_TSS 10 |
Definition at line 145 of file DebugSupport.h.
| #define EXCEPT_X64_SEG_NOT_PRESENT 11 |
Definition at line 146 of file DebugSupport.h.
| #define EXCEPT_X64_STACK_FAULT 12 |
Definition at line 147 of file DebugSupport.h.
| #define EXCEPT_X64_GP_FAULT 13 |
Definition at line 148 of file DebugSupport.h.
| #define EXCEPT_X64_PAGE_FAULT 14 |
Definition at line 149 of file DebugSupport.h.
| #define EXCEPT_X64_FP_ERROR 16 |
Definition at line 150 of file DebugSupport.h.
| #define EXCEPT_X64_ALIGNMENT_CHECK 17 |
Definition at line 151 of file DebugSupport.h.
| #define EXCEPT_X64_MACHINE_CHECK 18 |
Definition at line 152 of file DebugSupport.h.
| #define EXCEPT_X64_SIMD 19 |
Definition at line 153 of file DebugSupport.h.
| #define EXCEPT_IPF_VHTP_TRANSLATION 0 |
Definition at line 239 of file DebugSupport.h.
| #define EXCEPT_IPF_INSTRUCTION_TLB 1 |
Definition at line 240 of file DebugSupport.h.
| #define EXCEPT_IPF_DATA_TLB 2 |
Definition at line 241 of file DebugSupport.h.
| #define EXCEPT_IPF_ALT_INSTRUCTION_TLB 3 |
Definition at line 242 of file DebugSupport.h.
| #define EXCEPT_IPF_ALT_DATA_TLB 4 |
Definition at line 243 of file DebugSupport.h.
| #define EXCEPT_IPF_DATA_NESTED_TLB 5 |
Definition at line 244 of file DebugSupport.h.
| #define EXCEPT_IPF_INSTRUCTION_KEY_MISSED 6 |
Definition at line 245 of file DebugSupport.h.
| #define EXCEPT_IPF_DATA_KEY_MISSED 7 |
Definition at line 246 of file DebugSupport.h.
| #define EXCEPT_IPF_DIRTY_BIT 8 |
Definition at line 247 of file DebugSupport.h.
| #define EXCEPT_IPF_INSTRUCTION_ACCESS_BIT 9 |
Definition at line 248 of file DebugSupport.h.
| #define EXCEPT_IPF_DATA_ACCESS_BIT 10 |
Definition at line 249 of file DebugSupport.h.
| #define EXCEPT_IPF_BREAKPOINT 11 |
Definition at line 250 of file DebugSupport.h.
| #define EXCEPT_IPF_EXTERNAL_INTERRUPT 12 |
Definition at line 251 of file DebugSupport.h.
| #define EXCEPT_IPF_PAGE_NOT_PRESENT 20 |
Definition at line 255 of file DebugSupport.h.
| #define EXCEPT_IPF_KEY_PERMISSION 21 |
Definition at line 256 of file DebugSupport.h.
| #define EXCEPT_IPF_INSTRUCTION_ACCESS_RIGHTS 22 |
Definition at line 257 of file DebugSupport.h.
| #define EXCEPT_IPF_DATA_ACCESS_RIGHTS 23 |
Definition at line 258 of file DebugSupport.h.
| #define EXCEPT_IPF_GENERAL_EXCEPTION 24 |
Definition at line 259 of file DebugSupport.h.
| #define EXCEPT_IPF_DISABLED_FP_REGISTER 25 |
Definition at line 260 of file DebugSupport.h.
| #define EXCEPT_IPF_NAT_CONSUMPTION 26 |
Definition at line 261 of file DebugSupport.h.
| #define EXCEPT_IPF_SPECULATION 27 |
Definition at line 262 of file DebugSupport.h.
| #define EXCEPT_IPF_DEBUG 29 |
Definition at line 266 of file DebugSupport.h.
| #define EXCEPT_IPF_UNALIGNED_REFERENCE 30 |
Definition at line 267 of file DebugSupport.h.
| #define EXCEPT_IPF_UNSUPPORTED_DATA_REFERENCE 31 |
Definition at line 268 of file DebugSupport.h.
| #define EXCEPT_IPF_FP_FAULT 32 |
Definition at line 269 of file DebugSupport.h.
| #define EXCEPT_IPF_FP_TRAP 33 |
Definition at line 270 of file DebugSupport.h.
| #define EXCEPT_IPF_LOWER_PRIVILEGE_TRANSFER_TRAP 34 |
Definition at line 271 of file DebugSupport.h.
| #define EXCEPT_IPF_TAKEN_BRANCH 35 |
Definition at line 272 of file DebugSupport.h.
| #define EXCEPT_IPF_SINGLE_STEP 36 |
Definition at line 273 of file DebugSupport.h.
| #define EXCEPT_IPF_IA32_EXCEPTION 45 |
Definition at line 277 of file DebugSupport.h.
| #define EXCEPT_IPF_IA32_INTERCEPT 46 |
Definition at line 278 of file DebugSupport.h.
| #define EXCEPT_IPF_IA32_INTERRUPT 47 |
Definition at line 279 of file DebugSupport.h.
| #define EXCEPT_EBC_UNDEFINED 0 |
Definition at line 440 of file DebugSupport.h.
| #define EXCEPT_EBC_DIVIDE_ERROR 1 |
Definition at line 441 of file DebugSupport.h.
| #define EXCEPT_EBC_DEBUG 2 |
Definition at line 442 of file DebugSupport.h.
| #define EXCEPT_EBC_BREAKPOINT 3 |
Definition at line 443 of file DebugSupport.h.
| #define EXCEPT_EBC_OVERFLOW 4 |
Definition at line 444 of file DebugSupport.h.
| #define EXCEPT_EBC_INVALID_OPCODE 5 |
Definition at line 445 of file DebugSupport.h.
| #define EXCEPT_EBC_STACK_FAULT 6 |
Definition at line 446 of file DebugSupport.h.
| #define EXCEPT_EBC_ALIGNMENT_CHECK 7 |
Definition at line 447 of file DebugSupport.h.
| #define EXCEPT_EBC_INSTRUCTION_ENCODING 8 |
Definition at line 448 of file DebugSupport.h.
| #define EXCEPT_EBC_BAD_BREAK 9 |
Definition at line 449 of file DebugSupport.h.
| #define EXCEPT_EBC_STEP 10 |
Definition at line 450 of file DebugSupport.h.
| #define MAX_EBC_EXCEPTION EXCEPT_EBC_STEP |
For coding convenience, define the maximum valid EBC exception.
Definition at line 454 of file DebugSupport.h.
| typedef struct _EFI_DEBUG_SUPPORT_PROTOCOL EFI_DEBUG_SUPPORT_PROTOCOL |
Definition at line 25 of file DebugSupport.h.
| typedef INTN EFI_EXCEPTION_TYPE |
| typedef VOID(* EFI_EXCEPTION_CALLBACK)(IN EFI_EXCEPTION_TYPE ExceptionType, IN OUT EFI_SYSTEM_CONTEXT SystemContext) |
Registers and enables an exception callback function for the specified exception.
| ExceptionType | Exception types in EBC, IA-32, X64, or IPF | |
| SystemContext | Exception content. |
Definition at line 496 of file DebugSupport.h.
| typedef VOID(* EFI_PERIODIC_CALLBACK)(IN OUT EFI_SYSTEM_CONTEXT SystemContext) |
Registers and enables the on-target debug agent's periodic entry point.
| SystemContext | Exception content. |
Definition at line 509 of file DebugSupport.h.
| typedef EFI_STATUS(EFIAPI * EFI_GET_MAXIMUM_PROCESSOR_INDEX)(IN EFI_DEBUG_SUPPORT_PROTOCOL *This, OUT UINTN *MaxProcessorIndex) |
Returns the maximum value that may be used for the ProcessorIndex parameter in RegisterPeriodicCallback() and RegisterExceptionCallback().
| This | A pointer to the EFI_DEBUG_SUPPORT_PROTOCOL instance. | |
| MaxProcessorIndex | Pointer to a caller-allocated UINTN in which the maximum supported processor index is returned. |
| EFI_SUCCESS | The function completed successfully. |
Definition at line 541 of file DebugSupport.h.
| typedef EFI_STATUS(EFIAPI * EFI_REGISTER_PERIODIC_CALLBACK)(IN EFI_DEBUG_SUPPORT_PROTOCOL *This, IN UINTN ProcessorIndex, IN EFI_PERIODIC_CALLBACK PeriodicCallback) |
Registers a function to be called back periodically in interrupt context.
| This | A pointer to the EFI_DEBUG_SUPPORT_PROTOCOL instance. | |
| ProcessorIndex | Specifies which processor the callback function applies to. | |
| PeriodicCallback | A pointer to a function of type PERIODIC_CALLBACK that is the main periodic entry point of the debug agent. |
| EFI_SUCCESS | The function completed successfully. | |
| EFI_ALREADY_STARTED | Non-NULL PeriodicCallback parameter when a callback function was previously registered. | |
| EFI_OUT_OF_RESOURCES | System has insufficient memory resources to register new callback function. |
Definition at line 563 of file DebugSupport.h.
| typedef EFI_STATUS(EFIAPI * EFI_REGISTER_EXCEPTION_CALLBACK)(IN EFI_DEBUG_SUPPORT_PROTOCOL *This, IN UINTN ProcessorIndex, IN EFI_EXCEPTION_CALLBACK ExceptionCallback, IN EFI_EXCEPTION_TYPE ExceptionType) |
Registers a function to be called when a given processor exception occurs.
| This | A pointer to the EFI_DEBUG_SUPPORT_PROTOCOL instance. | |
| ProcessorIndex | Specifies which processor the callback function applies to. | |
| PeriodicCallback | A pointer to a function of type EXCEPTION_CALLBACK that is called when the processor exception specified by ExceptionType occurs. | |
| ExceptionType | Specifies which processor exception to hook. |
| EFI_SUCCESS | The function completed successfully. | |
| EFI_ALREADY_STARTED | Non-NULL PeriodicCallback parameter when a callback function was previously registered. | |
| EFI_OUT_OF_RESOURCES | System has insufficient memory resources to register new callback function. |
Definition at line 587 of file DebugSupport.h.
| typedef EFI_STATUS(EFIAPI * EFI_INVALIDATE_INSTRUCTION_CACHE)(IN EFI_DEBUG_SUPPORT_PROTOCOL *This, IN UINTN ProcessorIndex, IN VOID *Start, IN UINT64 Length) |
Invalidates processor instruction cache for a memory range.
Subsequent execution in this range causes a fresh memory fetch to retrieve code to be executed.
| This | A pointer to the EFI_DEBUG_SUPPORT_PROTOCOL instance. | |
| ProcessorIndex | Specifies which processor's instruction cache is to be invalidated. | |
| Start | Specifies the physical base of the memory range to be invalidated. | |
| Length | Specifies the minimum number of bytes in the processor's instruction cache to invalidate. |
| EFI_SUCCESS | The function completed successfully. |
Definition at line 609 of file DebugSupport.h.
Machine type definition.
Definition at line 516 of file DebugSupport.h.
00516 { 00517 IsaIa32 = IMAGE_FILE_MACHINE_I386, ///< 0x014C 00518 IsaX64 = IMAGE_FILE_MACHINE_X64, ///< 0x8664 00519 IsaIpf = IMAGE_FILE_MACHINE_IA64, ///< 0x0200 00520 IsaEbc = IMAGE_FILE_MACHINE_EBC ///< 0x0EBC 00521 } EFI_INSTRUCTION_SET_ARCHITECTURE;
1.5.7.1