Searched defs:tsc_get_hz (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/arm/
H A Dplatform.h95 #define tsc_get_hz() timer_get_frequency() macro
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dplatform.h81 #define tsc_get_hz() timer_get_frequency() macro
/barrelfish-2018-10-04/usr/drivers/omap44xx/twl6030/
H A Di2c.c45 static int tsc_get_hz(void) function

Completed in 30 milliseconds