Adrian Danis f86435c0f8 Refactor some common elements across arm and x86 structures.h files. ... This change purely changes the ordering of C symbols, as well as adding some extra checking		2015-06-15 17:17:07 +10:00
..
asyncendpoint.h	Release snapshot	2014-07-18 05:03:59 +10:00
cnode.h	Release snapshot	2014-07-18 05:03:59 +10:00
endpoint.h	Release snapshot	2014-07-18 05:03:59 +10:00
interrupt.h	ioapic: refactored C code and first attempt at haskell spec	2014-09-02 16:22:40 +10:00
objecttype.h	Release snapshot	2014-07-18 05:03:59 +10:00
structures.bf	Fixed quoted size in thread state comment	2015-06-02 14:59:26 +10:00
structures.h	Refactor some common elements across arm and x86 structures.h files.	2015-06-15 17:17:07 +10:00
tcb.h	Add ability to set a human readable thread name when running kernel in debug mode	2015-05-14 09:32:58 +10:00
untyped.h	Release snapshot	2014-07-18 05:03:59 +10:00