2010-03-29 21:23:52 +02:00
|
|
|
#ifndef QEMU_ARCH_INIT_H
|
|
|
|
#define QEMU_ARCH_INIT_H
|
|
|
|
|
|
|
|
extern const char arch_config_name[];
|
|
|
|
|
|
|
|
enum {
|
|
|
|
QEMU_ARCH_ALL = -1,
|
|
|
|
QEMU_ARCH_ALPHA = 1,
|
|
|
|
QEMU_ARCH_ARM = 2,
|
|
|
|
QEMU_ARCH_CRIS = 4,
|
|
|
|
QEMU_ARCH_I386 = 8,
|
|
|
|
QEMU_ARCH_M68K = 16,
|
2011-02-17 23:45:02 +01:00
|
|
|
QEMU_ARCH_LM32 = 32,
|
|
|
|
QEMU_ARCH_MICROBLAZE = 64,
|
|
|
|
QEMU_ARCH_MIPS = 128,
|
|
|
|
QEMU_ARCH_PPC = 256,
|
|
|
|
QEMU_ARCH_S390X = 512,
|
|
|
|
QEMU_ARCH_SH4 = 1024,
|
|
|
|
QEMU_ARCH_SPARC = 2048,
|
2011-09-06 01:55:25 +02:00
|
|
|
QEMU_ARCH_XTENSA = 4096,
|
2010-03-29 21:23:52 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
extern const uint32_t arch_type;
|
|
|
|
|
|
|
|
void select_soundhw(const char *optarg);
|
|
|
|
void do_acpitable_option(const char *optarg);
|
|
|
|
void do_smbios_option(const char *optarg);
|
|
|
|
void cpudef_init(void);
|
|
|
|
int audio_available(void);
|
2011-01-21 11:53:45 +01:00
|
|
|
void audio_init(qemu_irq *isa_pic, PCIBus *pci_bus);
|
2010-09-21 21:05:31 +02:00
|
|
|
int tcg_available(void);
|
2010-03-29 21:23:52 +02:00
|
|
|
int kvm_available(void);
|
|
|
|
int xen_available(void);
|
|
|
|
|
|
|
|
#endif
|