Ignore:
Timestamp:
Jul 3, 2017, 2:36:39 PM (7 years ago)
Author:
max@…
Message:

rename hal_wbflush->hal_fence

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/process.c

    r101 r124  
    165165    // initalise signal manager TODO [AG]
    166166
    167         hal_wbflush();
     167        hal_fence();
    168168
    169169    process_dmsg("\n[INFO] %s : exit for process %x in cluster %x\n",
     
    226226    // initalise signal manager TODO [AG]
    227227
    228         hal_wbflush();
     228        hal_fence();
    229229
    230230    return 0;
     
    265265   
    266266    // synchronize memory
    267         hal_wbflush();
     267        hal_fence();
    268268
    269269    // From this point, the process descriptor is unreachable
     
    815815        process_dmsg("\n[INFO] %s successfully exit in cluster %x\n", __FUNCTION__ , local_cxy );
    816816               
    817     hal_wbflush();
     817    hal_fence();
    818818
    819819} // end process_init_create()
Note: See TracChangeset for help on using the changeset viewer.