From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <5246931B.3060503@xenomai.org> Date: Sat, 28 Sep 2013 10:28:11 +0200 From: Philippe Gerum MIME-Version: 1.0 References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] [Xenomai-git] Gilles Chanteperdrix : hal/x86: fix smi message List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: xenomai@xenomai.org Cc: git repository hosting , xenomai-git@xenomai.org On 09/27/2013 10:19 PM, git repository hosting wrote: > Module: xenomai-gch > Branch: for-forge > Commit: 283fabdf63e23f03a45565fa1f9937f9a5825a59 > URL: http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=283fabdf63e23f03a45565fa1f9937f9a5825a59 > > Author: Gilles Chanteperdrix > Date: Sun Sep 15 15:59:52 2013 +0200 > > hal/x86: fix smi message > > --- > > kernel/cobalt/arch/x86/smi.c | 2 +- > 1 files changed, 1 insertions(+), 1 deletions(-) > > diff --git a/kernel/cobalt/arch/x86/smi.c b/kernel/cobalt/arch/x86/smi.c > index e06734a..124d311 100644 > --- a/kernel/cobalt/arch/x86/smi.c > +++ b/kernel/cobalt/arch/x86/smi.c > @@ -123,7 +123,7 @@ void mach_x86_smi_init(void) > if (smi_state == 0) { > printk("Xenomai: SMI-enabled chipset found, but SMI " > "workaround disabled\n" > - " (see xeno_hal.smi parameter). You may encounter\n" > + " (see x86_hal.smi parameter). You may encounter\n" > " high interrupt latencies!\n"); > pci_dev_put(dev); > return; > > Strictly speaking, the HAL disappeared from x3, since most of the arch-independant interface is already provided by the interrupt pipeline, and the event driven simulator was dropped. We should not reintroduce it in the naming. -- Philippe.