Searched refs:sgi_base (Results 1 – 1 of 1) sorted by relevance
619 gpa_t rd_base, sgi_base; in vgic_register_redist_iodev() local641 sgi_base = rd_base + SZ_64K; in vgic_register_redist_iodev()659 sgi_dev->base_addr = sgi_base; in vgic_register_redist_iodev()666 ret = kvm_io_bus_register_dev(kvm, KVM_MMIO_BUS, sgi_base, in vgic_register_redist_iodev()
