Stephen Sherratt 5a0bdb7480 Store active irq in global variable on kzm ... The first time the irq number is read from the controller, the interrupt is acknowledged. Subsequent reads of the irq number result in an invalid irq number being read. This modifies the kzm interrupt controller driver to save the current irq number when it's first read from the interrupt controller, preventing the need for future reads from the controller until the next interrupt arrives.		2016-09-14 13:43:35 +10:00
..
api	SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING	2016-07-15 12:30:17 +10:00
arch	SELFOUR-556: Rationalize BITS vs INDEX_BITS	2016-08-31 09:24:47 +10:00
fastpath	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
kernel	SELFOUR-615: arm entry point stubs	2016-08-24 10:42:36 +10:00
machine	SELFOUR-624: fix ia32 debug build	2016-08-24 11:10:12 +10:00
model	SELFOUR-518: User-level log buffer	2016-08-15 15:06:38 +10:00
object	SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING	2016-07-15 12:30:17 +10:00
plat	Store active irq in global variable on kzm	2016-09-14 13:43:35 +10:00
api.h	Release snapshot	2014-07-18 05:03:59 +10:00
assert.h	Always have compile_assert enabled	2015-11-11 11:09:24 +11:00
basic_types.h	Rename uint32_t -> word_t in any relevant places	2015-12-10 10:45:20 +11:00
benchmark.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_tracepoints_types.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_track.h	SELFOUR-615: arm entry point stubs	2016-08-24 10:42:36 +10:00
benchmark_track_types.h	SELFOUR-446 Benchmark: Share kernel entry types with user-level	2016-06-07 09:19:31 +10:00
benchmark_utilisation.h	Remove #include <stdbool.h>	2016-06-24 15:05:44 +10:00
benchmark_utilisation_types.h	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10:00
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
config.h	x86: Port some of the IOMMU changes on the experimental branch	2015-12-18 15:06:39 +11:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile	Release snapshot	2014-07-18 05:03:59 +10:00
object.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
stdarg.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdint.h	conversion: fixed unnecessary word_t change	2015-12-10 10:45:22 +11:00
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h	ia32: added the option to disable prefetchers	2015-04-15 14:38:55 +10:00
util.h	Merge pull request #274 in SEL4/sel4 from ~MFERNANDEZ/sel4:8dafd43a-daa8-4d38-ad7e-3ac425d50087 to master	2016-07-21 05:03:02 +00:00