Searched refs:rdreg_index (Results 1 – 2 of 2) sorted by relevance
350 u32 rdreg_index; member
301 if (vgic_cpu->rdreg_index < rdreg->free_index - 1) { in vgic_mmio_vcpu_rdist_is_last()303 } else if (rdreg->count && vgic_cpu->rdreg_index == (rdreg->count - 1)) { in vgic_mmio_vcpu_rdist_is_last()803 vgic_cpu->rdreg_index = rdreg->free_index; in vgic_register_redist_iodev()