From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <52469507.3070101@xenomai.org>
Date: Sat, 28 Sep 2013 10:36:23 +0200
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <E1VPeW6-00026B-Hu@xenomai.org> <5246931B.3060503@xenomai.org>
In-Reply-To: <5246931B.3060503@xenomai.org>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai] [Xenomai-git] Gilles Chanteperdrix : hal/x86: fix smi
	message
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <http://www.xenomai.org/mailman/options/xenomai>,
	<mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://www.xenomai.org/pipermail/xenomai>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <http://www.xenomai.org/mailman/listinfo/xenomai>,
	<mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Philippe Gerum <rpm@xenomai.org>
Cc: git repository hosting <git@xenomai.org>, xenomai-git@xenomai.org, xenomai@xenomai.org

On 09/28/2013 10:28 AM, Philippe Gerum wrote:
> 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 <gilles.chanteperdrix@xenomai.org>
>> 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.
> 
The parameter name is due to this Makefile chunk:

obj-$(CONFIG_XENOMAI) += x86_hal.o
x86_hal-y := machine.o mayday.o thread.o smi.o

-- 
                                                                Gilles.