Searched refs:sgi_base (Results 1 – 1 of 1) sorted by relevance
637 gpa_t rd_base, sgi_base; in vgic_register_redist_iodev() local659 sgi_base = rd_base + SZ_64K; in vgic_register_redist_iodev()677 sgi_dev->base_addr = sgi_base; in vgic_register_redist_iodev()684 ret = kvm_io_bus_register_dev(kvm, KVM_MMIO_BUS, sgi_base, in vgic_register_redist_iodev()