Searched refs:icfgr (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v3.c303 uint32_t icfgr = 0; local
305 icfgr = gic_rdist_sgi_ppi_map[core]->icfgr1;
307 icfgr = gic_dist->icfgrn[word];
311 icfgr |= (2 << bit);
313 icfgr &= ~(3 << bit);
317 gic_rdist_sgi_ppi_map[core]->icfgr1 = icfgr;
322 gic_dist->icfgrn[word] = icfgr;
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v3.h174 uint32_t icfgr = 0; local
182 icfgr = gic_rdist_sgi_ppi_map[CURRENT_CPU_INDEX()]->icfgr1;
184 icfgr = gic_dist->icfgrn[word];
187 return !!(icfgr & BIT(bit + 1));

Completed in 48 milliseconds