33                              MemoryRegion *sysmem)  in xen_pvh_init_ram()  argument
53     memory_region_add_subregion(sysmem, s->cfg.ram_low.base, &s->ram.low);  in xen_pvh_init_ram()
57         memory_region_add_subregion(sysmem, s->cfg.ram_high.base, &s->ram.high);  in xen_pvh_init_ram()
63     memory_region_add_subregion(sysmem, XEN_GRANT_ADDR_OFF, &xen_grants);  in xen_pvh_init_ram()
132                                     MemoryRegion *sysmem)  in xenpvh_gpex_init()  argument
145     memory_region_add_subregion(sysmem, s->cfg.pci_ecam.base, ecam_reg);  in xenpvh_gpex_init()
153         memory_region_add_subregion(sysmem, s->cfg.pci_mmio.base,  in xenpvh_gpex_init()
161         memory_region_add_subregion(sysmem, s->cfg.pci_mmio_high.base,  in xenpvh_gpex_init()
186     MemoryRegion *sysmem = get_system_memory();  in xen_pvh_init()  local
195     xen_pvh_init_ram(s, sysmem);  in xen_pvh_init()
225         xenpvh_gpex_init(s, xpc, sysmem);  in xen_pvh_init()