Searched refs:icfg (Results 1 – 1 of 1) sorted by relevance
709 uint32_t icfg = 0; in gic_it_set_type() local714 icfg = GICD_ICFGR_TYPE_EDGE; in gic_it_set_type()716 icfg = GICD_ICFGR_TYPE_LEVEL; in gic_it_set_type()719 SHIFT_U32(icfg, shift), in gic_it_set_type()