DECLARE_GLOBAL_DATA_PTR;
+#define GUEST_VIRTIO_MMIO_BASE 0x2000000
+#define GUEST_VIRTIO_MMIO_SIZE 0x100000
+
int board_init(void)
{
return 0;
PTE_BLOCK_INNER_SHARE);
i++;
+ if (CONFIG_IS_ENABLED(VIRTIO_MMIO)) {
+ xen_mem_map[i].virt = GUEST_VIRTIO_MMIO_BASE;
+ xen_mem_map[i].phys = GUEST_VIRTIO_MMIO_BASE;
+ xen_mem_map[i].size = GUEST_VIRTIO_MMIO_SIZE;
+ xen_mem_map[i].attrs = (PTE_BLOCK_MEMTYPE(MT_DEVICE_NGNRNE) |
+ PTE_BLOCK_NON_SHARE);
+ i++;
+ }
+
mem = get_next_memory_node(blob, -1);
if (mem < 0) {
printf("%s: Missing /memory node\n", __func__);
}
for (; i < MAX_MEM_MAP_REGIONS; i++) {
+ if (CONFIG_IS_ENABLED(VIRTIO_MMIO)) {
+ ret = fdt_node_check_compatible(blob, mem, "virtio,mmio");
+ if (!ret)
+ continue;
+ }
ret = fdt_get_resource(blob, mem, "reg", reg++, &res);
if (ret == -FDT_ERR_NOTFOUND) {
reg = 0;