2 * IA64 virtual CPU header
4 * Copyright (c) 2003 Fabrice Bellard
6 * Copyright (c) 2007 Intel Corporation
7 * Zhang xiantao <xiantao.zhang@intel.com>
9 * This library is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU Lesser General Public
11 * License as published by the Free Software Foundation; either
12 * version 2 of the License, or (at your option) any later version.
14 * This library is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 * Lesser General Public License for more details.
19 * You should have received a copy of the GNU Lesser General Public
20 * License along with this library; if not, write to the Free Software
21 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
26 #include "ia64intrin.h"
30 #define TARGET_LONG_BITS 64
32 #define TARGET_PAGE_BITS 16
34 #define ELF_MACHINE EM_IA_64
36 #define NB_MMU_MODES 2
37 #define CPU_PAL_HALT 1
38 #define HF_HALTED_MASK (1 << CPU_PAL_HALT)
42 #include "softfloat.h"
43 typedef struct CPUIA64State
{
49 #define CPUState CPUIA64State
50 #define cpu_gen_code cpu_ia64_gen_code
51 #define cpu_init cpu_ia64_init
52 #define cpu_signal_handler cpu_ia64_signal_handler
54 extern struct CPUIA64State
*env
;
55 int cpu_get_pic_interrupt(CPUIA64State
*s
);
56 int cpu_exec(CPUState
*env1
);
57 CPUState
*cpu_ia64_init(const char * cpu_model
);
59 static inline int cpu_mmu_index (CPUState
*env
)
64 #define CPU_PC_FROM_TB(env, tb) do{}while(0)
69 * These ones really should go to the appropriate tcg header file, if/when
70 * tcg support is added for ia64.
72 void flush_icache_range(unsigned long start
, unsigned long stop
);
73 void tcg_dump_info(FILE *f
,
74 int (*cpu_fprintf
)(FILE *f
, const char *fmt
, ...));
76 static inline void cpu_get_tb_cpu_state(CPUState
*env
, target_ulong
*pc
,
77 target_ulong
*cs_base
, int *flags
)