VERS_1.0 {
	global:
		xendevicemodel_open;
		xendevicemodel_create_ioreq_server;
		xendevicemodel_get_ioreq_server_info;
		xendevicemodel_map_io_range_to_ioreq_server;
		xendevicemodel_unmap_io_range_from_ioreq_server;
		xendevicemodel_map_mem_type_to_ioreq_server;
		xendevicemodel_map_pcidev_to_ioreq_server;
		xendevicemodel_unmap_pcidev_from_ioreq_server;
		xendevicemodel_destroy_ioreq_server;
		xendevicemodel_set_ioreq_server_state;
		xendevicemodel_set_pci_intx_level;
		xendevicemodel_set_isa_irq_level;
		xendevicemodel_set_pci_link_route;
		xendevicemodel_inject_msi;
		xendevicemodel_track_dirty_vram;
		xendevicemodel_modified_memory;
		xendevicemodel_set_mem_type;
		xendevicemodel_inject_event;
		xendevicemodel_restrict;
		xendevicemodel_close;
	local: *; /* Do not expose anything by default */
};

VERS_1.1 {
	global:
		xendevicemodel_shutdown;
} VERS_1.0;

VERS_1.2 {
	global:
		xendevicemodel_relocate_memory;
		xendevicemodel_pin_memory_cacheattr;
} VERS_1.1;

VERS_1.3 {
	global:
		xendevicemodel_modified_memory_bulk;
} VERS_1.2;

VERS_1.4 {
	global:
		xendevicemodel_set_irq_level;
		xendevicemodel_nr_vcpus;
} VERS_1.3;
