Searched refs:VIRT_GIC_VCPU (Results 1 – 3 of 3) sorted by relevance
58 VIRT_GIC_VCPU, enumerator
143 [VIRT_GIC_VCPU] = { 0x08040000, 0x00010000 },601 2, vms->memmap[VIRT_GIC_VCPU].base, in fdt_add_gic_node()602 2, vms->memmap[VIRT_GIC_VCPU].size); in fdt_add_gic_node()802 sysbus_mmio_map(gicbusdev, 3, vms->memmap[VIRT_GIC_VCPU].base); in create_gic()
738 gicv = memmap[VIRT_GIC_VCPU].base; in build_madt()