37
37
qemu_irq *xen_interrupt_controller_init(void);
42
41
void xenstore_store_pv_console_info(int i, struct CharDriverState *chr);
44
43
#if defined(NEED_CPU_H) && !defined(CONFIG_USER_ONLY)
46
44
void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size,
47
45
struct MemoryRegion *mr);
48
46
void xen_modified_memory(ram_addr_t start, ram_addr_t length);
52
49
void xen_register_framebuffer(struct MemoryRegion *mr);
54
51
#if defined(CONFIG_XEN) && CONFIG_XEN_CTRL_INTERFACE_VERSION < 400