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