Home
last modified time | relevance | path

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

/optee_os/core/drivers/
H A Dstm32_tamp.c1442 static TEE_Result __maybe_unused stm32_tamp_write_mcounter(int cnt_idx) in stm32_tamp_write_mcounter() argument
1446 if (cnt_idx < 0 || !stm32_tamp_dev->pdata.compat || in stm32_tamp_write_mcounter()
1447 cnt_idx >= stm32_tamp_dev->pdata.compat->nb_monotonic_counter) in stm32_tamp_write_mcounter()
1450 io_write32(base + _TAMP_COUNTR + cnt_idx * sizeof(uint32_t), 1); in stm32_tamp_write_mcounter()
1455 static uint32_t __maybe_unused stm32_tamp_read_mcounter(int cnt_idx) in stm32_tamp_read_mcounter() argument
1459 if (cnt_idx < 0 || !stm32_tamp_dev->pdata.compat || in stm32_tamp_read_mcounter()
1460 cnt_idx >= stm32_tamp_dev->pdata.compat->nb_monotonic_counter) in stm32_tamp_read_mcounter()
1463 return io_read32(base + _TAMP_COUNTR + cnt_idx * sizeof(uint32_t)); in stm32_tamp_read_mcounter()