Searched refs:tcb_base (Results 1 – 1 of 1) sorted by relevance
59 static vaddr_t tcb_base; variable84 if (!tcb_base) in tee_time_get_sys_time()88 cv1 = io_read32(tcb_base + TCB_CV(1)); in tee_time_get_sys_time()89 cv0 = io_read32(tcb_base + TCB_CV(0)); in tee_time_get_sys_time()90 } while (io_read32(tcb_base + TCB_CV(1)) != cv1); in tee_time_get_sys_time()108 io_write32(tcb_base + TCB_WPMR, TCB_WPMR_WAKEY); in atmel_tcb_configure()111 io_write32(tcb_base + TCB_IDR(0), 0xff); in atmel_tcb_configure()112 io_write32(tcb_base + TCB_IDR(1), 0xff); in atmel_tcb_configure()123 io_write32(tcb_base + TCB_CMR(0), in atmel_tcb_configure()126 io_write32(tcb_base + TCB_RC(0), 0x80000000); in atmel_tcb_configure()[all …]