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))