Make binary stripping conditional (Riku Voipio)
[qemu-kvm/fedora.git] / target-ia64 / cpu.h
blob9bad6f668632e08608e06e15b9f3beb6b8ad1fe9
1 /*
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
23 #ifndef CPU_IA64_H
24 #define CPU_IA64_H
25 #include "config.h"
26 #include "ia64intrin.h"
28 #include<string.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)
40 #include "cpu-defs.h"
42 #include "softfloat.h"
43 typedef struct CPUIA64State {
44 CPU_COMMON;
45 uint32_t hflags;
46 int mp_state;
47 } 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)
61 return 0;
64 #define CPU_PC_FROM_TB(env, tb) do{}while(0)
66 #include "cpu-all.h"
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)
79 *pc = 0;
80 *cs_base = 0;
81 *flags = 0;
84 #endif