Symbol: boot_duration_timer
sys/kern/init_main.c
755
printf_nolog("kernel boot time: %"PRIu64"ms\n", boot_duration_timer());
sys/sys/boot_duration.h
35
uint64_t boot_duration_timer(void);