vcpu_res         1409 drivers/irqchip/irq-gic.c 	struct resource *vcpu_res = &gic_v2_kvm_info.vcpu;
vcpu_res         1421 drivers/irqchip/irq-gic.c 	ret = of_address_to_resource(node, 3, vcpu_res);
vcpu_res         1567 drivers/irqchip/irq-gic.c 	struct resource *vcpu_res = &gic_v2_kvm_info.vcpu;
vcpu_res         1581 drivers/irqchip/irq-gic.c 	vcpu_res->flags = IORESOURCE_MEM;
vcpu_res         1582 drivers/irqchip/irq-gic.c 	vcpu_res->start = acpi_data.vcpu_base;
vcpu_res         1583 drivers/irqchip/irq-gic.c 	vcpu_res->end = vcpu_res->start + ACPI_GICV2_VCPU_MEM_SIZE - 1;