Changeset 395


Ignore:
Timestamp:
Aug 11, 2014, 9:34:20 PM (10 years ago)
Author:
alain
Message:

Cosmetic.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/giet_drivers/xcu_driver.c

    r345 r395  
    55// Copyright (c) UPMC-LIP6
    66///////////////////////////////////////////////////////////////////////////////////
    7 // This peripheral is replicated in aall clusters containing processors.
     7// This peripheral is replicated in all clusters containing processors.
    88//
    99// SEG_XCU_BASE and PERI_CLUSTER_INCREMENT must be defined in hard_config.h file.
     
    194194
    195195#else
    196     _printf("[GIET ERROR] _xcu_send_ipi should not be used if USE_XCU is not set\n");
     196    _printf("[GIET ERROR] _xcu_send_wti() should not be used if USE_XCU is not set\n");
    197197    _exit();
    198198#endif
Note: See TracChangeset for help on using the changeset viewer.