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