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

/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c140 uint32_t ic_type; member in struct:gicd_map
167 int nirqs = 32 * ((gicd->ic_type & 0x1f) + 1);
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c140 uint32_t ic_type; member in struct:gicd_map
167 int nirqs = 32 * ((gicd->ic_type & 0x1f) + 1);
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c216 uint32_t ic_type; member in struct:gicd_map
243 int nirqs = 32 * ((gicd->ic_type & 0x1f) + 1);
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c216 uint32_t ic_type; member in struct:gicd_map
243 int nirqs = 32 * ((gicd->ic_type & 0x1f) + 1);
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c65 int nirqs = 32 * ((gic_dist->ic_type & 0x1f) + 1);
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h50 uint32_t ic_type; /* 0x004 */ member in struct:gic_dist_map

Completed in 86 milliseconds