From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <483D0AB7.4010303@domain.hid>
Date: Wed, 28 May 2008 09:33:11 +0200
From: =?UTF-8?B?U3TDqXBoYW5lIEFOQ0VMT1Q=?= <sancelot@domain.hid>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Xenomai-help] valgrind
List-Id: Help regarding installation and common use of Xenomai
	<xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
List-Archive: </public/xenomai-help>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-help-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-help>,
	<mailto:xenomai-help-request@domain.hid>
To: xenomai-help <xenomai@xenomai.org>

Hi,
I tried xenomai integration in valgrind .

I have got some problems with __native_muxid  .

Is there an easy way to retrieve this value (is it a const?) or is it a 
variable I have to store and reuse ?


Best Regards
S.Ancelot