index_to_sys_reg_desc 2561 arch/arm64/kvm/sys_regs.c r = index_to_sys_reg_desc(vcpu, reg->id); index_to_sys_reg_desc 2586 arch/arm64/kvm/sys_regs.c r = index_to_sys_reg_desc(vcpu, reg->id);