95 bool stm32_rif_semaphore_is_available(vaddr_t addr)  in stm32_rif_semaphore_is_available()  argument
97 	return !(io_read32(addr) & _SEMCR_MUTEX);  in stm32_rif_semaphore_is_available()
100 TEE_Result stm32_rif_acquire_semaphore(vaddr_t addr, unsigned int nb_cid_supp)  in stm32_rif_acquire_semaphore()  argument
105 	io_setbits32(addr, _SEMCR_MUTEX);  in stm32_rif_acquire_semaphore()
108 	if (stm32_rif_semaphore_is_available(addr) ||  in stm32_rif_acquire_semaphore()
109 	    ((io_read32(addr) & scid_mask) >> _CIDCFGR_SCID_SHIFT) != RIF_CID1)  in stm32_rif_acquire_semaphore()
115 TEE_Result stm32_rif_release_semaphore(vaddr_t addr, unsigned int nb_cid_supp)  in stm32_rif_release_semaphore()  argument
119 	if (stm32_rif_semaphore_is_available(addr))  in stm32_rif_release_semaphore()
123 	io_clrbits32(addr, _SEMCR_MUTEX);  in stm32_rif_release_semaphore()
126 	if (!stm32_rif_semaphore_is_available(addr) &&  in stm32_rif_release_semaphore()
127 	    ((io_read32(addr) & scid_mask) >> _CIDCFGR_SCID_SHIFT) == RIF_CID1)  in stm32_rif_release_semaphore()