Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched refs:boot_duration_timer (Results 1 - 3 of 3) sorted by relevancy

/src/sys/sys/
boot_duration.h	35 uint64_t boot_duration_timer(void);
/src/sys/arch/x86/x86/
tsc.c	480 boot_duration_timer(void) function in typeref:typename:uint64_t
/src/sys/kern/
init_main.c	755 printf_nolog("kernel boot time: %"PRIu64"ms\n", boot_duration_timer());

Completed in 15 milliseconds

Indexes created Sun Oct 12 09:09:55 GMT 2025