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