Searched refs:itr_type (Results 1 – 1 of 1) sorted by relevance
677 uint32_t itr_type = 0; in add_optee_dt_node() local691 itr_type = GIC_SPI; in add_optee_dt_node()695 itr_type = GIC_PPI; in add_optee_dt_node()701 val[0] = TEE_U32_TO_BIG_ENDIAN(itr_type); in add_optee_dt_node()