portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Miki Tanaka 4ee1f90a7d mcs: add tcb argument to reply_unlink 
reply_unlink takes a reply and remove the link between that reply
and its tcb. This link always exists at the call site and the tcb
information is always avaialble, or can be made available.

This commit adds this tcb as an extra argument to aid varification.

Signed-off-by: Miki Tanaka <miki.tanaka@data61.csiro.au>
2020-10-02 12:38:39 +10:00
..
cap.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
cnode.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
endpoint.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
interrupt.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
notification.h Check for reschedule on sched context return 2020-08-12 10:10:31 +10:00
objecttype.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
reply.h mcs: add tcb argument to reply_unlink 2020-10-02 12:38:39 +10:00
schedcontext.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
schedcontrol.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
structures.h fix TCB_PTR_DEBUG_PTR debug macro 2020-08-31 16:23:32 +10:00
structures_32.bf Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
structures_64.bf Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
tcb.h debug: create debug_tcb_t struct 2020-07-22 00:31:18 +10:00
untyped.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00