MdeModulePkg/Universal/DebugSupportDxe/X64/PlDebugSupport.h - edk2 - Git at Google

 /** @file
   X64 specific debug support macros.

 Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
 SPDX-License-Identifier: BSD-2-Clause-Patent

 **/

 #pragma once

 #include "Ia32/DebugSupport.h"

 #define EFI_ISA  IsaX64
	/** @file
	X64 specific debug support macros.

	Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
	SPDX-License-Identifier: BSD-2-Clause-Patent

	**/

	#pragma once

	#include "Ia32/DebugSupport.h"

	#define EFI_ISA IsaX64