Searched refs:icfg (Results 1 – 1 of 1) sorted by relevance
717 uint32_t icfg = 0; in gic_it_set_type() local722 icfg = GICD_ICFGR_TYPE_EDGE; in gic_it_set_type()724 icfg = GICD_ICFGR_TYPE_LEVEL; in gic_it_set_type()727 SHIFT_U32(icfg, shift), in gic_it_set_type()