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