Elliot Nunn
7fdc813d8f
Reverse userspace sync primitives
...
Namely queues, semaphores, critical regions, event groups and
"notifications". The MP calls implementing these services have been
named after their MPLibrary wrapper functions. This convention will be
followed in the future (no more NKCreateEvent).
2018-02-18 01:24:20 +08:00
Elliot Nunn
f0696e5ceb
Fix a mistake with the coherence group structure
...
There is a global linked list of all coherence groups. Coherence groups
and CPUs have a one-to-many relationship.
2018-02-18 01:24:20 +08:00
Elliot Nunn
73c3eece94
Insert calls to known linked-list macros
...
The presence of InitList, InsertAsNext, InsertAsPrev and RemoveFromList
calls should make some hitherto unexplored code easier to read.
2018-02-18 01:24:19 +08:00
Elliot Nunn
4d5929ffd8
Reverse Area-related MP calls
...
- MPCreateArea
- MPCreateAliasArea
- MPSetAreaBackingProvider
- MPSetAreaAccess (only renamed from KC...)
2018-02-18 01:24:19 +08:00
Elliot Nunn
423b809e87
Update Area struct
...
Most Area fields and flags now have meaningful names, thanks largely to
Daniel's reversal work.
2018-02-18 01:24:19 +08:00
Elliot Nunn
fba585b5e3
Use new _AssertAndRelease macro
...
This is the usual way to release a lock. Most MP calls employ it
indirectly, through their return path.
2018-02-18 01:24:19 +08:00
Elliot Nunn
b27256fbb6
Reverse Event Group MP calls
2018-02-18 01:24:18 +08:00
Elliot Nunn
c5c5b784cb
Initial commit
2018-02-18 01:24:10 +08:00
