Home
last modified time | relevance | path

Searched refs:tsc (Results 1 – 2 of 2) sorted by relevance

/optee_os-3.20.0/core/arch/arm/kernel/
A Dtee_time_arm_cntpct.c52 uint64_t tsc = barrier_read_counter_timer(); in REGISTER_TIME_SOURCE() local
58 acc = tsc; in REGISTER_TIME_SOURCE()
64 acc ^= (tsc >> n) & 3; in REGISTER_TIME_SOURCE()
/optee_os-3.20.0/lib/libmbedtls/mbedtls/library/
A Dtiming.c77 unsigned long tsc; in mbedtls_timing_hardclock() local
79 __asm mov [tsc], eax in mbedtls_timing_hardclock()
80 return( tsc ); in mbedtls_timing_hardclock()

Completed in 3 milliseconds