1 #include "time._nitni.h"
3 /* out/indirect function for time::Object::get_time */
4 val_t
Object_get_time___out( val_t recv
)
8 orig_return
= kernel_Any_Any_get_time_0( NULL
);
9 trans_return
= TAG_Int(orig_return
);
10 nitni_local_ref_clean( );
13 /* out/indirect function for time::Sys::nanosleep */
14 void Sys_nanosleep___out( val_t recv
, val_t sec
, val_t nanosec
)
17 bigint trans___nanosec
;
18 trans___sec
= UNTAG_Int(sec
);
19 trans___nanosec
= UNTAG_Int(nanosec
);
20 std_nanosleep( NULL
, trans___sec
, trans___nanosec
);
21 nitni_local_ref_clean( );