89db981280
Removing a Cap_index from Capability_map in core can happen twice, via
Cap_session_component or destructor of a Cap_mapping. That it's checked
whether the index is part of the map before removing it. This patch puts
the check into the remove method, so both operations are within the same
lock context, to remove a race condition.
This is a follow up fix for commit
|
||
|---|---|---|
| .. | ||
| base | ||
| bootstrap | ||
| core | ||
| kernel | ||
| platform | ||
| sigma0 | ||