1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#define CKB_C_STDLIB_PRINTF #include "ckb_syscalls.h" #include "stdio.h" #include "stdlib.h" uint64_t time() { return syscall(9001, 0, 0, 0, 0, 0, 0); } int main() { uint64_t tic = time(); printf("%lu\n", tic); return 0; }