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

/seL4-l4v-master/l4v/spec/haskell/include/
H A Dgic.h55 uint32_t int_ack; /* 0x00C */ member in struct:gic_cpu_iface_map
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dgic_v2.c142 i = gic_cpuiface->int_ack;
145 i = gic_cpuiface->int_ack;
/seL4-l4v-master/seL4/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;

Completed in 94 milliseconds