41         block_len = s->cfg.ram_low.base + ram_size[0];  in xen_pvh_init_ram()
45         block_len = s->cfg.ram_high.base + ram_size[1];  in xen_pvh_init_ram()
52                              s->cfg.ram_low.base, ram_size[0]);  in xen_pvh_init_ram()
53     memory_region_add_subregion(sysmem, s->cfg.ram_low.base, &s->ram.low);  in xen_pvh_init_ram()
56                                  s->cfg.ram_high.base, ram_size[1]);  in xen_pvh_init_ram()
57         memory_region_add_subregion(sysmem, s->cfg.ram_high.base, &s->ram.high);  in xen_pvh_init_ram()
80      * create a list of virtio-mmio buses with increasing base addresses.  in xen_create_virtio_mmio_devices()
89         hwaddr base = s->cfg.virtio_mmio.base + i * s->cfg.virtio_mmio.size;  in xen_create_virtio_mmio_devices()  local
93         sysbus_create_simple("virtio-mmio", base, irq);  in xen_create_virtio_mmio_devices()
97                                              base);  in xen_create_virtio_mmio_devices()
118     sysbus_mmio_map(busdev, 0, s->cfg.tpm.base);  in xen_enable_tpm()
120     trace_xen_enable_tpm(s->cfg.tpm.base);  in xen_enable_tpm()
145     memory_region_add_subregion(sysmem, s->cfg.pci_ecam.base, ecam_reg);  in xenpvh_gpex_init()
152                                  s->cfg.pci_mmio.base, s->cfg.pci_mmio.size);  in xenpvh_gpex_init()
153         memory_region_add_subregion(sysmem, s->cfg.pci_mmio.base,  in xenpvh_gpex_init()
160                 mmio_reg, s->cfg.pci_mmio_high.base, s->cfg.pci_mmio_high.size);  in xenpvh_gpex_init()
161         memory_region_add_subregion(sysmem, s->cfg.pci_mmio_high.base,  in xenpvh_gpex_init()
206         if (s->cfg.tpm.base) {  in xen_pvh_init()
209             warn_report("tpm-base-addr is not set. TPM will not be enabled");  in xen_pvh_init()
221             error_report("PCI enabled but pci-intx-irq-base not set");  in xen_pvh_init()
260     XEN_PVH_PROP_MEMMAP_SETTER(n, base)    \
261     XEN_PVH_PROP_MEMMAP_GETTER(n, base)    \
273 /* TPM only has a base-addr option.  */  in XEN_PVH_PROP_MEMMAP()
311     object_class_property_add(c, prop_name "-base", "uint64_t",           \  in xen_pvh_class_setup_common_props()
314     object_class_property_set_description(oc, prop_name "-base",          \  in xen_pvh_class_setup_common_props()
315                               "Set base address for " prop_name);         \  in xen_pvh_class_setup_common_props()
350         object_class_property_add(oc, "pci-intx-irq-base", "uint32_t",  in xen_pvh_class_setup_common_props()
354         object_class_property_set_description(oc, "pci-intx-irq-base",  in xen_pvh_class_setup_common_props()
355                                   "Set PCI INTX interrupt base line.");  in xen_pvh_class_setup_common_props()
360         object_class_property_add(oc, "tpm-base-addr", "uint64_t",  in xen_pvh_class_setup_common_props()
364         object_class_property_set_description(oc, "tpm-base-addr",  in xen_pvh_class_setup_common_props()
365                                   "Set Base address for TPM device.");  in xen_pvh_class_setup_common_props()