Searched refs:tcb_rate (Results 1 – 1 of 1) sorted by relevance
60 static uint32_t tcb_rate; variable94 time->seconds = cv0 / tcb_rate; in tee_time_get_sys_time()95 time->millis = (cv0 % tcb_rate) / (tcb_rate / TEE_TIME_MILLIS_BASE); in tee_time_get_sys_time()186 tcb_rate = clk_get_rate(clk); in atmel_tcb_probe()187 assert(tcb_rate); in atmel_tcb_probe()