Searched refs:pit_get_time (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Dtsc.c49 uint64_t time_offset = pit_get_time(pit);
53 uint64_t current_time = pit_get_time(pit);
/seL4-refos-master/libs/libplatsupport/src/arch/x86/
H A Dtsc.c49 uint64_t time_offset = pit_get_time(pit);
53 uint64_t current_time = pit_get_time(pit);
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dpit.h64 uint64_t pit_get_time(pit_t *pit);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dpit.h64 uint64_t pit_get_time(pit_t *pit);
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dpit.c99 uint64_t pit_get_time(pit_t *pit) function
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c99 uint64_t pit_get_time(pit_t *pit) function

Completed in 31 milliseconds