Take mpt_req_on_{free,pending}_list() out from under INVARIANTS as these
are generally useful and not just for debugging.
Description
Description
Details
Details
- Provenance
marius Authored on Sep 24 2010, 11:54 PM - Parents
- rG709d8161a6b1: Make the vast majority of Simple Executive files standard. Perhaps some of
- Branches
- Unknown
- Tags