]>
Commit | Line | Data |
---|---|---|
e37630ca AL |
1 | #ifndef QEMU_HW_XEN_H |
2 | #define QEMU_HW_XEN_H 1 | |
3 | /* | |
4 | * public xen header | |
5 | * stuff needed outside xen-*.c, i.e. interfaces to qemu. | |
6 | * must not depend on any xen headers being present in | |
7 | * /usr/include/xen, so it can be included unconditionally. | |
8 | */ | |
23327f75 | 9 | #include <inttypes.h> |
e37630ca | 10 | |
5202ef94 | 11 | #include "hw/irq.h" |
41445300 | 12 | #include "qemu-common.h" |
91176e31 | 13 | #include "qemu/typedefs.h" |
41445300 | 14 | |
e37630ca AL |
15 | /* xen-machine.c */ |
16 | enum xen_mode { | |
17 | XEN_EMULATE = 0, // xen emulation, using xenner (default) | |
18 | XEN_CREATE, // create xen domain | |
19 | XEN_ATTACH // attach to xen domain created by xend | |
20 | }; | |
21 | ||
22 | extern uint32_t xen_domid; | |
23 | extern enum xen_mode xen_mode; | |
24 | ||
d5286af5 | 25 | extern bool xen_allowed; |
3285cf4f | 26 | |
d5286af5 | 27 | static inline bool xen_enabled(void) |
3285cf4f | 28 | { |
3285cf4f | 29 | return xen_allowed; |
3285cf4f AP |
30 | } |
31 | ||
41445300 AP |
32 | int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num); |
33 | void xen_piix3_set_irq(void *opaque, int irq_num, int level); | |
34 | void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len); | |
f1dbf015 | 35 | void xen_hvm_inject_msi(uint64_t addr, uint32_t data); |
41445300 | 36 | |
9c11a8ac AP |
37 | qemu_irq *xen_interrupt_controller_init(void); |
38 | ||
0f51726a | 39 | void xenstore_store_pv_console_info(int i, struct CharDriverState *chr); |
29d3ccde | 40 | |
432d268c | 41 | #if defined(NEED_CPU_H) && !defined(CONFIG_USER_ONLY) |
dced4d2f | 42 | void xen_hvm_init(PCMachineState *pcms, MemoryRegion **ram_memory); |
fce537d4 | 43 | void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, |
37aa7a0e | 44 | struct MemoryRegion *mr, Error **errp); |
910b38e4 | 45 | void xen_modified_memory(ram_addr_t start, ram_addr_t length); |
432d268c JN |
46 | #endif |
47 | ||
c65adf9b AK |
48 | void xen_register_framebuffer(struct MemoryRegion *mr); |
49 | ||
29d3ccde AP |
50 | #if defined(CONFIG_XEN) && CONFIG_XEN_CTRL_INTERFACE_VERSION < 400 |
51 | # define HVM_MAX_VCPUS 32 | |
52 | #endif | |
3285cf4f | 53 | |
e37630ca | 54 | #endif /* QEMU_HW_XEN_H */ |