49 lines
1.1 KiB
C
49 lines
1.1 KiB
C
/* instrSimpentium.h - i86 simulator assembler definitions header file */
|
|
|
|
/*
|
|
* Copyright (c) 2010 Wind River Systems, Inc.
|
|
*
|
|
* The right to copy, distribute, modify or otherwise make use
|
|
* of this software may be licensed only pursuant to the terms
|
|
* of an applicable Wind River license agreement.
|
|
*/
|
|
|
|
/*
|
|
modification history
|
|
--------------------
|
|
01a,12feb10,elp written to select 32 or 64bits version
|
|
*/
|
|
|
|
#ifndef __INCinstrSimpentiumh
|
|
#define __INCinstrSimpentiumh
|
|
|
|
#include <vsbConfig.h>
|
|
|
|
#ifdef _WRS_CONFIG_LP64
|
|
|
|
#ifdef _WRS_KERNEL
|
|
#if CPU==SIMNT
|
|
#include <arch/simnt/instrSimpentium64.h>
|
|
#elif CPU==SIMLINUX
|
|
#include <arch/simlinux/instrSimpentium64.h>
|
|
#endif
|
|
#else /* _WRS_KERNEL */
|
|
#include <arch/simpentium/instrSimpentium64.h>
|
|
#endif /* _WRS_KERNEL */
|
|
|
|
#else /* __WRS_CONFIG_LP64 */
|
|
|
|
#ifdef _WRS_KERNEL
|
|
#if CPU==SIMNT
|
|
#include <arch/simnt/instrSimpentium32.h>
|
|
#elif CPU==SIMLINUX
|
|
#include <arch/simlinux/instrSimpentium32.h>
|
|
#endif
|
|
#else /* _WRS_KERNEL */
|
|
#include <arch/simpentium/instrSimpentium32.h>
|
|
#endif /* _WRS_KERNEL */
|
|
|
|
#endif /* _WRS_CONFIG_LP64 */
|
|
|
|
#endif /* __INCinstrSimpentiumh */
|