Home | History | Annotate | Download | only in X64
      1 /** @file
      2   X64 specific debug support macros.
      3 
      4 Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>
      5 This program and the accompanying materials
      6 are licensed and made available under the terms and conditions of the BSD License
      7 which accompanies this distribution.  The full text of the license may be found at
      8 http://opensource.org/licenses/bsd-license.php
      9 
     10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
     11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
     12 
     13 **/
     14 
     15 #ifndef _PLDEBUG_SUPPORT_H_
     16 #define _PLDEBUG_SUPPORT_H_
     17 
     18 #include "Ia32/DebugSupport.h"
     19 
     20 #define EFI_ISA                         IsaX64
     21 
     22 #endif
     23