Home
last modified time | relevance | path

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

/optee_os/core/drivers/firewall/
H A Dstm32_rifsc.c739 unsigned int resource_id = 0; in stm32_rifsc_check_access() local
758 resource_id = firewall->args[0] & RIF_PER_ID_MASK; in stm32_rifsc_check_access()
759 if (resource_id >= RIMU_ID_OFFSET) in stm32_rifsc_check_access()
762 reg_id = resource_id / _PERIPH_IDS_PER_REG; in stm32_rifsc_check_access()
763 periph_offset = resource_id % _PERIPH_IDS_PER_REG; in stm32_rifsc_check_access()
764 cid_reg_offset = _OFFSET_PERX_CIDCFGR * resource_id; in stm32_rifsc_check_access()
797 unsigned int resource_id = 0; in stm32_rifsc_acquire_access() local
812 resource_id = firewall->args[0] & RIF_PER_ID_MASK; in stm32_rifsc_acquire_access()
813 if (resource_id >= RIMU_ID_OFFSET) in stm32_rifsc_acquire_access()
816 reg_id = resource_id / _PERIPH_IDS_PER_REG; in stm32_rifsc_acquire_access()
[all …]