| /** @file | |
| X64 specific debug support macros. | |
| Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR> | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| #ifndef _PLDEBUG_SUPPORT_H_ | |
| #define _PLDEBUG_SUPPORT_H_ | |
| #include "Ia32/DebugSupport.h" | |
| #define EFI_ISA IsaX64 | |
| #endif |