13     xd = xendevicemodel_open(0, 0);  in main()
14     xendevicemodel_pin_memory_cacheattr(xd, 0, 0, 0, 0);  in main()
16     xfmem = xenforeignmemory_open(0, 0);  in main()
17     xenforeignmemory_map_resource(xfmem, 0, 0, 0, 0, 0, NULL, 0, 0);  in main()
19     return 0;  in main()
29     xfmem = xenforeignmemory_open(0, 0);  in main()
30     xenforeignmemory_map2(xfmem, 0, 0, 0, 0, 0, 0, 0);  in main()
31     xentoolcore_restrict_all(0);  in main()
33     return 0;  in main()
43     xd = xendevicemodel_open(0, 0);  in main()
46     return 0;  in main()
73     xenevtchn_handle *xe;  in main()  local
79     xc = xc_interface_open(0, 0, 0);  in main()
80     xc_hvm_set_mem_type(0, 0, HVMMEM_ram_ro, 0, 0);  in main()
81     xc_domain_add_to_physmap(0, 0, XENMAPSPACE_gmfn, 0, 0);  in main()
82     xc_hvm_inject_msi(xc, 0, 0xf0000000, 0x00000000);  in main()
83     xc_hvm_create_ioreq_server(xc, 0, HVM_IOREQSRV_BUFIOREQ_ATOMIC, NULL);  in main()
85     xfmem = xenforeignmemory_open(0, 0);  in main()
86     xenforeignmemory_map(xfmem, 0, 0, 0, 0, 0);  in main()
88     xe = xenevtchn_open(0, 0);  in main()
89     xenevtchn_fd(xe);  in main()
91     xg = xengnttab_open(0, 0);  in main()
92     xengnttab_grant_copy(xg, 0, seg);  in main()
94     return 0;  in main()
118     xenevtchn_handle *xe;  in main()  local
123     xc = xc_interface_open(0, 0, 0);  in main()
124     xc_hvm_set_mem_type(0, 0, HVMMEM_ram_ro, 0, 0);  in main()
125     xc_domain_add_to_physmap(0, 0, XENMAPSPACE_gmfn, 0, 0);  in main()
126     xc_hvm_inject_msi(xc, 0, 0xf0000000, 0x00000000);  in main()
127     xc_hvm_create_ioreq_server(xc, 0, HVM_IOREQSRV_BUFIOREQ_ATOMIC, NULL);  in main()
129     xfmem = xenforeignmemory_open(0, 0);  in main()
130     xenforeignmemory_map(xfmem, 0, 0, 0, 0, 0);  in main()
132     xe = xenevtchn_open(0, 0);  in main()
133     xenevtchn_fd(xe);  in main()
135     xg = xengnttab_open(0, 0);  in main()
136     xengnttab_map_grant_ref(xg, 0, 0, 0);  in main()
138     return 0;  in main()