Searched refs:bootcycletime (Results 1 – 3 of 3) sorted by relevance
35 uint64_t bootcycletime(void);
480 bootcycletime(void) in bootcycletime() function
755 printf_nolog("kernel boot time: %"PRIu64"ms\n", bootcycletime()); in main()