read_id_reg 1103 arch/arm64/kvm/sys_regs.c p->regval = read_id_reg(vcpu, r, raz); read_id_reg 1212 arch/arm64/kvm/sys_regs.c const u64 val = read_id_reg(vcpu, rd, raz); read_id_reg 1230 arch/arm64/kvm/sys_regs.c if (val != read_id_reg(vcpu, rd, raz))