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