portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Edward Pierzchalski 8bf7c55de4 Dedup user_data and user_data_device definitions. 
These are reasonably expected to exist on every platform by the
UMM type generator. They also had identical definitions, so we
consolidate them.
2018-12-06 15:04:41 +11:00
..
cap.h Generalise finaliseCap to more than just IRQs 2018-02-23 10:03:50 +11: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 Arch abstract for postCapDeletion 2018-02-23 10:03:50 +11:00
structures.h Dedup user_data and user_data_device definitions. 2018-12-06 15:04:41 +11:00
structures_32.bf Move cnode_capdata to libsel4 shared types bitfield 2017-10-27 12:14:44 +11:00
structures_64.bf x64: Declare virtual addresses as 48-bits instead of 49-bits 2017-12-19 16:13:08 +11:00
tcb.h SELFOUR-331: add seL4_TCB_SetSchedParams 2018-02-26 11:24:42 +11:00
untyped.h SELFOUR-444: Preemptible zeroing for retype. 2016-11-01 17:05:36 +11:00