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

/optee_os-3.20.0/core/drivers/
A D	atmel_tcb.c	55 static uint32_t tcb_rate; variable 89 time->seconds = cv0 / tcb_rate; in atmel_tcb_get_sys_time() 90 time->millis = (cv0 % tcb_rate) / (tcb_rate / TEE_TIME_MILLIS_BASE); in atmel_tcb_get_sys_time() 185 tcb_rate = clk_get_rate(clk); in atmel_tcb_probe() 186 assert(tcb_rate); in atmel_tcb_probe()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023