Searched refs:cntpct (Results 1 – 3 of 3) sorted by relevance
19 uint64_t cntpct = barrier_read_counter_timer(); in arm_cntpct_get_sys_time() local22 time->seconds = cntpct / cntfrq; in arm_cntpct_get_sys_time()23 time->millis = (cntpct % cntfrq) / (cntfrq / TEE_TIME_MILLIS_BASE); in arm_cntpct_get_sys_time()
34 DEFINE_REG_READ_FUNC_(cntpct, uint64_t, cntpct_el0)
403 DEFINE_REG_READ_FUNC_(cntpct, uint64_t, cntpct_el0)
Completed in 5 milliseconds