Lines Matching refs:tcb_base
59 static vaddr_t tcb_base; variable
84 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()
127 io_write32(tcb_base + TCB_RA(0), 0x1); in atmel_tcb_configure()
128 io_write32(tcb_base + TCB_CCR(0), TCB_CCR_CLKEN); in atmel_tcb_configure()
131 io_write32(tcb_base + TCB_CMR(1), TCB_CMR_XC1 | TCB_CMR_WAVE); in atmel_tcb_configure()
132 io_write32(tcb_base + TCB_CCR(1), TCB_CCR_CLKEN); in atmel_tcb_configure()
135 io_write32(tcb_base + TCB_BMR, TCB_BMR_TC1XC1S_TIOA0); in atmel_tcb_configure()
138 io_write32(tcb_base + TCB_BCR, TCB_BCR_SYNC); in atmel_tcb_configure()
141 io_write32(tcb_base + TCB_WPMR, TCB_WPMR_WAKEY | 1); in atmel_tcb_configure()
146 if (!tcb_base) in atmel_tcb_check()
167 if (tcb_base) in atmel_tcb_probe()
181 if (dt_map_dev(fdt, node, &tcb_base, &size, DT_MAP_AUTO) < 0) in atmel_tcb_probe()