1VERS_1.0 {
2	global:
3		xendevicemodel_open;
4		xendevicemodel_create_ioreq_server;
5		xendevicemodel_get_ioreq_server_info;
6		xendevicemodel_map_io_range_to_ioreq_server;
7		xendevicemodel_unmap_io_range_from_ioreq_server;
8		xendevicemodel_map_mem_type_to_ioreq_server;
9		xendevicemodel_map_pcidev_to_ioreq_server;
10		xendevicemodel_unmap_pcidev_from_ioreq_server;
11		xendevicemodel_destroy_ioreq_server;
12		xendevicemodel_set_ioreq_server_state;
13		xendevicemodel_set_pci_intx_level;
14		xendevicemodel_set_isa_irq_level;
15		xendevicemodel_set_pci_link_route;
16		xendevicemodel_inject_msi;
17		xendevicemodel_track_dirty_vram;
18		xendevicemodel_modified_memory;
19		xendevicemodel_set_mem_type;
20		xendevicemodel_inject_event;
21		xendevicemodel_restrict;
22		xendevicemodel_close;
23	local: *; /* Do not expose anything by default */
24};
25
26VERS_1.1 {
27	global:
28		xendevicemodel_shutdown;
29} VERS_1.0;
30
31VERS_1.2 {
32	global:
33		xendevicemodel_relocate_memory;
34		xendevicemodel_pin_memory_cacheattr;
35} VERS_1.1;
36
37VERS_1.3 {
38	global:
39		xendevicemodel_modified_memory_bulk;
40} VERS_1.2;
41
42VERS_1.4 {
43	global:
44		xendevicemodel_set_irq_level;
45		xendevicemodel_nr_vcpus;
46} VERS_1.3;
47