From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <4576C2D8.8090202@domain.hid> Date: Wed, 06 Dec 2006 14:17:12 +0100 From: Gilles Chanteperdrix MIME-Version: 1.0 Subject: Re: [Adeos-main] [PATCH] Fix ipipe_tsc2ns for ARM References: <456EE5BA.8080106@domain.hid> <45740364.4060404@domain.hid> <1165406258.7218.116.camel@domain.hid> In-Reply-To: <1165406258.7218.116.camel@domain.hid> Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 7bit List-Id: General discussion about Adeos List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: rpm@xenomai.org Cc: adeos-main@gna.org Philippe Gerum wrote: > It's a detail, but ipipe_tsc2ns() was once designed as a helper for > implementing the now defunct I-pipe stats support, which has been > replaced by the tracer. The values (time delta between -normally- short > events) were guaranteed to be small enough to fit in 32bits, so other > ports just cast the input data within the macro. No other I-pipe code > should rely on better precision. > > This said, in this case, my preferred option is the one of the Adeos > maintainer for ARM, who is... oh, yeah! you are. So, I hereby agree with > the choice you are going to make next. Ok, let us go for what other ports do then, let us cast the argument to a 32 bits value. -- Gilles Chanteperdrix