Searched refs:enable_set (Results 1 - 9 of 9) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c21 uint32_t enable_set; member in struct:combiner_gmap
66 return !!(regs->g[gidx].enable_set & BIT(shift));
78 regs->g[gidx].enable_set = BIT(shift);
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c21 uint32_t enable_set; member in struct:combiner_gmap
66 return !!(regs->g[gidx].enable_set & BIT(shift));
78 regs->g[gidx].enable_set = BIT(shift);
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h56 uint32_t enable_set[32]; /* [0x100, 0x180) */ member in struct:gic_dist_map
155 gic_dist->enable_set[word] = BIT(bit);
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/
H A Dintc.c36 uint32_t enable_set[2]; /* +0x030 */ member in struct:intctl
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dintc.c36 uint32_t enable_set[2]; /* +0x030 */ member in struct:intctl
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c144 uint32_t enable_set[32]; member in struct:gicd_map
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c144 uint32_t enable_set[32]; member in struct:gicd_map
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c220 uint32_t enable_set[32]; member in struct:gicd_map
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c220 uint32_t enable_set[32]; member in struct:gicd_map

Completed in 93 milliseconds