/** @file
  X64 specific definitions for debug agent library instance.

  Copyright (c) 2010 - 2012, Intel Corporation. All rights reserved.<BR>
  SPDX-License-Identifier: BSD-2-Clause-Patent

**/

#ifndef _ARCH_DEBUG_SUPPORT_H_
#define _ARCH_DEBUG_SUPPORT_H_

#include "ProcessorContext.h"
#include "TransferProtocol.h"

#define DEBUG_SW_BREAKPOINT_SYMBOL  0xcc
#define DEBUG_ARCH_SYMBOL           DEBUG_DATA_BREAK_CPU_ARCH_X64

typedef DEBUG_DATA_X64_FX_SAVE_STATE   DEBUG_DATA_FX_SAVE_STATE;
typedef DEBUG_DATA_X64_SYSTEM_CONTEXT  DEBUG_CPU_CONTEXT;

#endif