Module: xenomai-gch
Branch: for-forge
Commit: 80cf634e518022fcf549b39d0deb4da75d73afad
URL:    
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=80cf634e518022fcf549b39d0deb4da75d73afad

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Sun Sep 15 15:59:52 2013 +0200

cobalt/x86: fix smi message

---

 kernel/cobalt/arch/x86/Makefile |    4 ++--
 kernel/cobalt/arch/x86/smi.c    |    4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/kernel/cobalt/arch/x86/Makefile b/kernel/cobalt/arch/x86/Makefile
index 9a75ee5..e6f5024 100644
--- a/kernel/cobalt/arch/x86/Makefile
+++ b/kernel/cobalt/arch/x86/Makefile
@@ -1,5 +1,5 @@
 
-obj-$(CONFIG_XENOMAI) += x86_hal.o
-x86_hal-y := machine.o mayday.o thread.o smi.o
+obj-$(CONFIG_XENOMAI) += xeno_machine.o
+xeno_machine-y := machine.o mayday.o thread.o smi.o
 
 ccflags-y := -Iarch/x86/xenomai/include -Iinclude/xenomai
diff --git a/kernel/cobalt/arch/x86/smi.c b/kernel/cobalt/arch/x86/smi.c
index e06734a..6c49e23 100644
--- a/kernel/cobalt/arch/x86/smi.c
+++ b/kernel/cobalt/arch/x86/smi.c
@@ -121,9 +121,9 @@ void mach_x86_smi_init(void)
        }
 
        if (smi_state == 0) {
-               printk("Xenomai: SMI-enabled chipset found, but SMI "
+               printk("[Xenomai] SMI-enabled chipset found, but SMI "
                       "workaround disabled\n"
-                      "         (see xeno_hal.smi parameter). You may 
encounter\n"
+                      "         (see xeno_machine.smi parameter). You may 
encounter\n"
                       "         high interrupt latencies!\n");
                pci_dev_put(dev);
                return;


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to