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

/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h11 uint32_t ic_type; /* 0x004 */ member in struct:gic_dist_map_t
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c65 int nirqs = 32 * ((gic_dist->ic_type & 0x1f) + 1);
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Dgic_v2.h50 uint32_t ic_type; /* 0x004 */ member in struct:gic_dist_map

Completed in 46 milliseconds