Searched refs:pending_clr (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c72 gic_dist->pending_clr[i >> 5] = IRQ_SET_ALL;
116 gic_dist->pending_clr[0] = IRQ_SET_ALL;
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h59 uint32_t pending_clr[32]; /* [0x280, 0x300) */ member in struct:gic_dist_map
140 gic_dist->pending_clr[word] = BIT(bit);
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dspi.c115 uint32_t pending_clr; member in struct:spi_regs
217 spi_bus->regs->pending_clr = 0xff;
374 spi_bus->regs->pending_clr = 0xFFFFFFFF;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dspi.c115 uint32_t pending_clr; member in struct:spi_regs
217 spi_bus->regs->pending_clr = 0xff;
374 spi_bus->regs->pending_clr = 0xFFFFFFFF;
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c147 uint32_t pending_clr[32]; member in struct:gicd_map
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c147 uint32_t pending_clr[32]; member in struct:gicd_map
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c223 uint32_t pending_clr[32]; member in struct:gicd_map
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c223 uint32_t pending_clr[32]; member in struct:gicd_map

Completed in 41 milliseconds