portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/src/object
History
Curtis Millar 3bb899bc5f SchedControl_ConfigureFlags requires 3 + 2 args 
The flags argument means that the call requires 2 time args (period,
budget) and 3 words (extra refills, badge, flags).

Signed-off-by: Curtis Millar <curtis@curtism.me>
2021-06-30 17:41:10 +10:00
..
cnode.c avoid passing extra_caps_t by value 2021-03-19 11:29:51 +11:00
endpoint.c mcs: Add explicit checks to not unblock current SC 2021-04-14 15:24:40 +10:00
interrupt.c avoid passing extra_caps_t by value 2021-03-19 11:29:51 +11:00
notification.c mcs: move maybeReturnSc to end of receiveSignal 2021-04-29 11:58:37 +10:00
objecttype.c mcs: Fix derefrence of scheduling context 2021-05-05 11:03:27 +10:00
reply.c mcs: further refactor reply_pop 2021-05-04 13:47:12 +10:00
schedcontext.c trivial: negate flipped assertion 2021-04-29 14:37:38 +10:00
schedcontrol.c SchedControl_ConfigureFlags requires 3 + 2 args 2021-06-30 17:41:10 +10:00
tcb.c avoid passing extra_caps_t by value 2021-03-19 11:29:51 +11:00
untyped.c remove slot_range_t 2021-03-19 11:29:51 +11:00