portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Adrian Danis d2644e8ab7 Declare and check IPC buffer size 
Adds a named constant of the IPC buffer size bits that can be used when checking the
size/alignment of an IPC buffer. This constant has a compile time assertion to ensure
it corresponds to the actual IPC buffer
2017-10-27 16:12:18 +11:00
..
cap.h Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
cnode.h Remove recycle 2016-11-18 14:10:01 +11:00
endpoint.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
interrupt.h x86: IOAPIC/MSI syscalls 2016-02-02 15:58:18 +11:00
notification.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
objecttype.h SELFOUR-567: use seL4_CapRights_t from libsel4 2016-11-25 12:29:07 +11:00
structures.h Declare and check IPC buffer size 2017-10-27 16:12:18 +11:00
structures_32.bf Move cnode_capdata to libsel4 shared types bitfield 2017-10-27 12:14:44 +11:00
structures_64.bf Increase badge size for endpoints on 64-bit platforms 2017-10-27 12:15:09 +11:00
tcb.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
untyped.h SELFOUR-444: Preemptible zeroing for retype. 2016-11-01 17:05:36 +11:00