Searched refs:itr_type (Results 1 – 1 of 1) sorted by relevance
678 uint32_t itr_type = 0; in add_optee_dt_node() local692 itr_type = GIC_SPI; in add_optee_dt_node()696 itr_type = GIC_PPI; in add_optee_dt_node()702 val[0] = TEE_U32_TO_BIG_ENDIAN(itr_type); in add_optee_dt_node()