portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Anna Lyons ef4ba6b69a mcs: Introduce firstPhase flag to invocations 
Some invocations contain two phases, and certain operations cannot be
allowed to run in the first phase as it could effect the currently
running thread and result in an invalid system state for the second
phase. This change filters those invocations, preventing them from being
used in the first phase of a two-phase, blocking system call.
2019-08-22 11:22:41 +10:00
..
cap.h Generalise finaliseCap to more than just IRQs 2018-02-23 10:03:50 +11:00
cnode.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
endpoint.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
interrupt.h [SMP] Abstracted IRQ indexing to handle PPIs 2019-07-19 16:37:03 +10:00
notification.h mcs: order EP and NTFN queues 2019-08-22 11:22:35 +10:00
objecttype.h mcs: Introduce firstPhase flag to invocations 2019-08-22 11:22:41 +10:00
reply.h mcs: Use cancelIPC instead of reply_clear 2019-08-22 11:22:39 +10:00
schedcontext.h mcs: add seL4_SchedContext_YieldTo 2019-08-22 11:22:38 +10:00
schedcontrol.h mcs: Add a scheduling context object 2019-08-22 11:22:34 +10:00
structures.h mcs: Refactor replies to solve revoke problems 2019-08-22 11:22:39 +10:00
structures_32.bf mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
structures_64.bf mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
tcb.h mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
untyped.h style: consistently align pointer with name 2019-03-19 14:04:54 +11:00