seL4/include/api
Adrian Danis 617df4a723 Rationalize standard types
This commit aims to rationalize how we represent different types
for compatiblity between ARM and x86, as well as between 32 and
64 bit code. The choices being made here is to declare that a
uint32_t has a type of 'int', this allows uint32_t to be declared
consistently across 32 and 64 bit (at least in GCC).
The word_t type is declared using a 'long' (not a uint32_t or uint64_t) to
allow for a word_t to be backed by the same type on both 32 and 64 bit
All other types that want to be declared as the size of a native word
get declared in terms of a word_t
2015-12-10 10:45:17 +11:00
..
constants.h Use CONFIG_NUM_PRIORITIES when defining seL4_MaxPrio (Fixes SELFOUR-261) 2015-07-28 15:10:16 +10:00
errors.h Release snapshot 2014-07-18 05:03:59 +10:00
failures.h Release snapshot 2014-07-18 05:03:59 +10:00
faults.h Release snapshot 2014-07-18 05:03:59 +10:00
Makefile Release snapshot 2014-07-18 05:03:59 +10:00
objecttype.h AEP -> Notification: deprecate old API syscalls, functions and constants that refer to AEP's and introduce new ones that refer to Notifications 2015-10-13 13:26:04 +11:00
syscall.h Release snapshot 2014-07-18 05:03:59 +10:00
syscall.xml SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects. 2015-11-20 15:28:18 +11:00
syscall.xsd Config sections in syscall.xml files take a condition which is passed to #if. 2015-09-03 11:39:31 +10:00
types.bf Release snapshot 2014-07-18 05:03:59 +10:00
types.h Rationalize standard types 2015-12-10 10:45:17 +11:00