DEFINE_XEN_GUEST_HANDLE
DEFINE_XEN_GUEST_HANDLE(mc_info_t);
DEFINE_XEN_GUEST_HANDLE(xen_mc_logical_cpu_t);
DEFINE_XEN_GUEST_HANDLE(xen_mc_fetch_t);
DEFINE_XEN_GUEST_HANDLE(xen_mc_notifydomain_t);
DEFINE_XEN_GUEST_HANDLE(xen_mc_t);
DEFINE_XEN_GUEST_HANDLE(cpu_user_regs_t);
DEFINE_XEN_GUEST_HANDLE(cpu_user_regs_t);
DEFINE_XEN_GUEST_HANDLE(trap_info_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
DEFINE_XEN_GUEST_HANDLE(callback_unregister_t);
DEFINE_XEN_GUEST_HANDLE(callback_register_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_getdomaininfo_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_getmemlist_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_getpageframeinfo_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_getpageframeinfo2_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_shadow_op_stats_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_shadow_op_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_max_mem_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_vcpucontext_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_getvcpuinfo_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_vcpuaffinity_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_max_vcpus_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_scheduler_op_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_setdomainhandle_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_setdebugging_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_irq_permission_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_iomem_permission_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_ioport_permission_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_hypercall_init_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_arch_setup_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_settimeoffset_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_hvmcontext_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_address_size_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_real_mode_area_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_sendtrigger_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_assign_device_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_get_device_group_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_bind_pt_irq_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_memory_mapping_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_ioport_mapping_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_pin_mem_cacheattr_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_ext_vcpucontext_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_set_opt_feature_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_set_target_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_cpuid_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_subscribe_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_debug_op_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_hvmcontext_partial_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_createdomain_t);
DEFINE_XEN_GUEST_HANDLE(xen_domctl_t);
DEFINE_XEN_GUEST_HANDLE(evtchn_op_t);
DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_map_grant_ref_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_unmap_grant_ref_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_setup_table_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_dump_table_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_transfer_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_copy_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_query_size_t);
DEFINE_XEN_GUEST_HANDLE(gnttab_unmap_and_replace_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_modified_memory_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_set_mem_type_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_param_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_set_pci_intx_level_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_set_isa_irq_level_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_set_pci_link_route_t);
DEFINE_XEN_GUEST_HANDLE(xen_hvm_track_dirty_vram_t);
DEFINE_XEN_GUEST_HANDLE(xen_memory_exchange_t);
DEFINE_XEN_GUEST_HANDLE(xen_machphys_mfn_list_t);
DEFINE_XEN_GUEST_HANDLE(xen_machphys_mapping_t);
DEFINE_XEN_GUEST_HANDLE(xen_add_to_physmap_t);
DEFINE_XEN_GUEST_HANDLE(xen_memory_map_t);
DEFINE_XEN_GUEST_HANDLE(xen_foreign_memory_map_t);
DEFINE_XEN_GUEST_HANDLE(xen_memory_reservation_t);
DEFINE_XEN_GUEST_HANDLE(xennmi_callback_t);
DEFINE_XEN_GUEST_HANDLE(physdev_set_iobitmap_t);
DEFINE_XEN_GUEST_HANDLE(physdev_apic_t);
DEFINE_XEN_GUEST_HANDLE(physdev_irq_t);
DEFINE_XEN_GUEST_HANDLE(physdev_map_pirq_t);
DEFINE_XEN_GUEST_HANDLE(physdev_unmap_pirq_t);
DEFINE_XEN_GUEST_HANDLE(physdev_manage_pci_t);
DEFINE_XEN_GUEST_HANDLE(physdev_restore_msi_t);
DEFINE_XEN_GUEST_HANDLE(physdev_manage_pci_ext_t);
DEFINE_XEN_GUEST_HANDLE(physdev_op_t);
DEFINE_XEN_GUEST_HANDLE(physdev_eoi_t);
DEFINE_XEN_GUEST_HANDLE(physdev_pirq_eoi_gmfn_t);
DEFINE_XEN_GUEST_HANDLE(physdev_irq_status_query_t);
DEFINE_XEN_GUEST_HANDLE(physdev_set_iopl_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_microcode_update_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_platform_quirk_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_firmware_info_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_enter_acpi_sleep_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_change_freq_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_getidletime_t);
DEFINE_XEN_GUEST_HANDLE(xen_processor_csd_t);
DEFINE_XEN_GUEST_HANDLE(xen_processor_cx_t);
DEFINE_XEN_GUEST_HANDLE(xen_processor_px_t);
DEFINE_XEN_GUEST_HANDLE(xen_processor_performance_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_set_processor_pminfo_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_panic_init_t);
DEFINE_XEN_GUEST_HANDLE(xen_platform_op_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_settime_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_add_memtype_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_del_memtype_t);
DEFINE_XEN_GUEST_HANDLE(xenpf_read_memtype_t);
DEFINE_XEN_GUEST_HANDLE(sched_shutdown_t);
DEFINE_XEN_GUEST_HANDLE(sched_poll_t);
DEFINE_XEN_GUEST_HANDLE(sched_remote_shutdown_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_physinfo_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_sched_id_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_perfc_desc_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_perfc_val_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_perfc_op_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_getdomaininfolist_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_debug_keys_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_cpuinfo_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_getcpuinfo_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_availheap_t);
DEFINE_XEN_GUEST_HANDLE(pm_px_val_t);
DEFINE_XEN_GUEST_HANDLE(pm_px_stat_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_get_pmstat_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_cpu_hotplug_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_readconsole_t);
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_tbuf_op_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_register_runstate_memory_area_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_set_periodic_timer_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_set_singleshot_timer_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_register_vcpu_info_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_get_physid_t);
DEFINE_XEN_GUEST_HANDLE(vcpu_runstate_info_t);
DEFINE_XEN_GUEST_HANDLE(mmuext_op_t);
DEFINE_XEN_GUEST_HANDLE(mmu_update_t);
DEFINE_XEN_GUEST_HANDLE(multicall_entry_t);
DEFINE_XEN_GUEST_HANDLE(char);
DEFINE_XEN_GUEST_HANDLE(int);
DEFINE_XEN_GUEST_HANDLE(long);
DEFINE_XEN_GUEST_HANDLE(void);
DEFINE_XEN_GUEST_HANDLE(xen_pfn_t);
DEFINE_XEN_GUEST_HANDLE(xen_acmctl_t);