__get_id_reg     1239 arch/arm64/kvm/sys_regs.c 	return __get_id_reg(vcpu, rd, uaddr, false);
__get_id_reg     1251 arch/arm64/kvm/sys_regs.c 	return __get_id_reg(vcpu, rd, uaddr, true);