Line data    Source code

       1             : #include "fd_util.h"
       2             : 
       3             : void
       4             : fd_boot( int *    pargc,
       5        2415 :          char *** pargv ) {
       6             :   /* At this point, we are immediately after the program start, there is
       7             :      only one thread of execution and fd has not yet been booted. */
       8        2415 :   fd_log_private_boot  ( pargc, pargv );
       9        2415 :   fd_shmem_private_boot( pargc, pargv );
      10        2415 :   fd_tile_private_boot ( pargc, pargv ); /* The caller is now tile 0 */
      11        2415 : }
      12             : 
      13             : void
      14        1275 : fd_halt( void ) {
      15             :   /* At this point, we are immediately before normal program
      16             :      termination, and fd has already been booted. */
      17        1275 :   fd_tile_private_halt ();
      18        1275 :   fd_shmem_private_halt();
      19        1275 :   fd_log_private_halt  ();
      20        1275 : }
      21             : 
      22             : long
      23      923666 : _fd_tickcount( void const * _ ) {
      24      923666 :   (void)_;
      25      923666 :   return fd_tickcount();
      26      923666 : }
      27             : 
      28             : #if FD_HAS_HOSTED
      29             : 
      30             : #include <sched.h>
      31             : 
      32       24715 : void fd_yield( void ) { sched_yield(); }
      33             : 
      34             : #endif