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

/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v2.c142 i = gic_cpuiface->int_ack;
145 i = gic_cpuiface->int_ack;
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h94 uint32_t int_ack; /* 0x00C */ member in struct:gic_cpu_iface_map
162 active_irq[CURRENT_CPU_INDEX()] = gic_cpuiface->int_ack;
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dplatform_init.c157 uint32_t int_ack; member in struct:gicc_map
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dplatform_init.c157 uint32_t int_ack; member in struct:gicc_map
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dplatform_init.c233 uint32_t int_ack; member in struct:gicc_map
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dplatform_init.c233 uint32_t int_ack; member in struct:gicc_map

Completed in 38 milliseconds