Searched refs:cntfrq (Results 1 – 4 of 4) sorted by relevance
19 uint32_t cntfrq = read_cntfrq(); 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()
99 static uint32_t cntfrq; variable265 assert(cntfrq == 0); in primary_save_cntfrq()271 cntfrq = read_cntfrq(); in primary_save_cntfrq()276 assert(cntfrq != 0); in secondary_init_cntfrq()277 write_cntfrq(cntfrq); in secondary_init_cntfrq()
33 DEFINE_REG_READ_FUNC_(cntfrq, uint32_t, cntfrq_el0)
478 DEFINE_REG_READ_FUNC_(cntfrq, uint32_t, cntfrq_el0) in DEFINE_U32_REG_READWRITE_FUNCS()