Searched refs:tsc_read (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Darm_hal.h55 uint32_t tsc_read(void);
H A Dplatform.h80 #define tsc_read() timer_get_timestamp() macro
/barrelfish-2018-10-04/kernel/include/arch/arm/
H A Dplatform.h94 #define tsc_read() timer_get_timestamp() macro
/barrelfish-2018-10-04/usr/drivers/omap44xx/twl6030/
H A Di2c.c50 static int tsc_read(void) function
148 uint32_t start_ticks = tsc_read();
173 ticks = tsc_read();

Completed in 196 milliseconds