c_src/time._nitni.c

   1 #include "time._nitni.h"
   2 #include "time_nit.h"
   3 /* out/indirect function for time::Object::get_time */
   4 val_t Object_get_time___out( val_t recv )
   5 {
   6 bigint orig_return;
   7 val_t trans_return;
   8 orig_return = kernel_Any_Any_get_time_0( NULL );
   9 trans_return = TAG_Int(orig_return);
  10 nitni_local_ref_clean(  );
  11 return trans_return;
  12 }
  13 /* out/indirect function for time::Sys::nanosleep */
  14 void Sys_nanosleep___out( val_t recv, val_t sec, val_t nanosec )
  15 {
  16 std_nanosleep( NULL, UNTAG_Int(sec), UNTAG_Int(nanosec) );
  17 nitni_local_ref_clean(  );
  18 }