1 #ifndef HW_XEN_ARCH_ARM_HVM_H 2 #define HW_XEN_ARCH_ARM_HVM_H 3 4 #include <xen/hvm/ioreq.h> 5 void arch_handle_ioreq(XenIOState *state, ioreq_t *req); 6 void arch_xen_set_memory(XenIOState *state, 7 MemoryRegionSection *section, 8 bool add); 9 #endif 10