Michael McInerney b7f2a1fb6f mcs: remove unused tcbReply field from tcb struct ... The pointer to a reply object, if any, can be accessed via the replyObject in the thread state Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>		2022-09-13 13:21:20 +02:00
..
cap.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
cnode.h	remove slot_range_t	2021-03-19 11:29:51 +11:00
endpoint.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
interrupt.h	avoid passing extra_caps_t by value	2021-03-19 11:29:51 +11:00
notification.h	mcs: Only unbind extant donated ntfn sc	2021-04-29 12:07:07 +10:00
objecttype.h	remove slot_range_t	2021-03-19 11:29:51 +11:00
reply.h	mcs: add tcb argument to reply_unlink	2020-10-02 12:38:39 +10:00
schedcontext.h	avoid passing extra_caps_t by value	2021-03-19 11:29:51 +11:00
schedcontrol.h	avoid passing extra_caps_t by value	2021-03-19 11:29:51 +11:00
structures.h	mcs: remove unused tcbReply field from tcb struct	2022-09-13 13:21:20 +02:00
structures_32.bf	Convert license tags to SPDX identifiers	2020-03-09 13:21:49 +08:00
structures_64.bf	structures: fix MCS object sizes	2022-07-19 14:01:45 +10:00
tcb.h	avoid passing extra_caps_t by value	2021-03-19 11:29:51 +11:00
untyped.h	remove slot_range_t	2021-03-19 11:29:51 +11:00