/** @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