Searched refs:sgi_pending_clr (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h43 uint32_t sgi_pending_clr[4]; /* [0xF10, 0xF20) */ member in struct:gic_dist_map_t
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c129 gic_dist->sgi_pending_clr[i >> 2] = IRQ_SET_ALL;
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h82 uint32_t sgi_pending_clr[4]; /* [0xF10, 0xF20) */ member in struct:gic_dist_map

Completed in 39 milliseconds