Searched refs:cntpct (Results 1 – 3 of 3) sorted by relevance
18 uint64_t cntpct = barrier_read_counter_timer(); in tee_time_get_sys_time() local21 time->seconds = cntpct / cntfrq; in tee_time_get_sys_time()22 time->millis = (cntpct % cntfrq) / (cntfrq / TEE_TIME_MILLIS_BASE); in tee_time_get_sys_time()
34 DEFINE_REG_READ_FUNC_(cntpct, uint64_t, cntpct_el0)
480 DEFINE_REG_READ_FUNC_(cntpct, uint64_t, cntpct_el0) in DEFINE_U32_REG_READWRITE_FUNCS()