Changeset 395

Timestamp:

Aug 11, 2014, 9:34:20 PM (10 years ago)

Author:

alain

Message:

Cosmetic.

File:

• soft/giet_vm/giet_drivers/xcu_driver.c (modified) (2 diffs)

soft/giet_vm/giet_drivers/xcu_driver.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// This peripheral is replicated in aall clusters containing processors.
+// This peripheral is replicated in all clusters containing processors.
 //
 // SEG_XCU_BASE and PERI_CLUSTER_INCREMENT must be defined in hard_config.h file.
@@ -194 +194 @@
 
 #else
-    _printf("[GIET ERROR] _xcu_send_ipi should not be used if USE_XCU is not set\n");
+    _printf("[GIET ERROR] _xcu_send_wti() should not be used if USE_XCU is not set\n");
     _exit();
 #endif