Received: by 2002:ac0:a5a7:0:0:0:0:0 with SMTP id m36-v6csp400144imm; Fri, 3 Aug 2018 05:28:46 -0700 (PDT) X-Google-Smtp-Source: AAOMgpd8d6/1ldYTwLZN4L6YBT1XWcQQ/MUCXwFlW3stsi5G5wn4uwnn03Wca+9ewjshKSffgWo/ X-Received: by 2002:a62:4695:: with SMTP id o21-v6mr4296715pfi.176.1533299326550; Fri, 03 Aug 2018 05:28:46 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1533299326; cv=none; d=google.com; s=arc-20160816; b=YJqhbfctotmiPf4yGcbgde27EYFa/npefiVrBHSSyNZpoyLfMxvp9aU1Txq+xvWODv MrfQVyuTHdLMn3iTHkXkso5S8KL5Ax4Om8qXIKQpgCMRGzREujQJbMesRxKJVSlVGjtA /rhKdQaF2CLx1d2qLw5vWxiLQueJndY858bHVrbyajRDxtsfk53Xnz4PaeLsgJ6lKpG+ 2oGypgcuXS6sOZa4qkMz32r81qYw7JYXNQb71mVHcVnJUGRY3E6HT8iotFvvtfF3Lg18 5EKwEatvT5m2ico7lRh6vIFN4CRDRhcOZLg83NMUdCOkZM9Z/7jgg8GCRS/XEVqttPAg NZnw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:arc-authentication-results; bh=cQi2bliXTqkWuUwlKVyqu8YclN7WenCLRA2Dj71TjrY=; b=OzpztD2DVALNS0SPOUp8xl4fFCnx5frNWpEIwfmEGLTXToQ3yDN6wZZZjpT/BSDL18 dIe9iclG3pvOW8Rh4nzkKReVGSl2NNptK/DmKFkfjG1qDBcKJGstuD/2r1enbi2gzVpW Pud8PhxMICxRa2MZTeJ5BYiBpHnGYho9hKeqOzMaBQkXaernQVhF0ZCw9dROgZgSaaNw 9Pedj81uWxc2SPaMJXw+ZimR64M9QiMBLRS4Ppcf9ZlWhA9BkhOPPreuTqKufBTDGYow 3XSPRD7+ASomKjbHyYHV0/ImRa1mVW9je/ObmlHDDet0tmUm8Zm4Eg9jcvHgQgconslr Y8cg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id j124-v6si5254771pfg.157.2018.08.03.05.28.32; Fri, 03 Aug 2018 05:28:46 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729963AbeHCOWY (ORCPT + 99 others); Fri, 3 Aug 2018 10:22:24 -0400 Received: from verein.lst.de ([213.95.11.211]:44165 "EHLO newverein.lst.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727581AbeHCOWY (ORCPT ); Fri, 3 Aug 2018 10:22:24 -0400 Received: by newverein.lst.de (Postfix, from userid 2407) id 03B1168D40; Fri, 3 Aug 2018 14:31:06 +0200 (CEST) Date: Fri, 3 Aug 2018 14:31:05 +0200 From: Christoph Hellwig To: Atish Patra Cc: Christoph Hellwig , "tglx@linutronix.de" , "palmer@sifive.com" , "jason@lakedaemon.net" , "marc.zyngier@arm.com" , "robh+dt@kernel.org" , "mark.rutland@arm.com" , "devicetree@vger.kernel.org" , "aou@eecs.berkeley.edu" , Dmitriy Cherkasov , "anup@brainfault.org" , "linux-kernel@vger.kernel.org" , Palmer Dabbelt , "linux-riscv@lists.infradead.org" , "shorne@gmail.com" Subject: Re: [PATCH 11/11] clocksource: new RISC-V SBI timer driver Message-ID: <20180803123105.GB18301@lst.de> References: <20180802115008.4031-1-hch@lst.de> <20180802115008.4031-12-hch@lst.de> <78e56d2f-155b-72df-1094-fdfb45090216@wdc.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <78e56d2f-155b-72df-1094-fdfb45090216@wdc.com> User-Agent: Mutt/1.5.17 (2007-11-01) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org >> +/* >> + * It is guarnteed that all the timers across all the harts are synchronized > > /s/guarnteed/guaranteed Fixed.