Timestamp:
05/27/16 13:41:41 (8 years ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
5, master
Children:
0b713f89
Parents:
5a598ac
git-author:
Sebastian Huber <sebastian.huber@…> (05/27/16 13:41:41)
git-committer:
Sebastian Huber <sebastian.huber@…> (05/30/16 14:16:23)
Message:

score: Rework CORE priority ceiling mutex

Rework seize and surrender methods to use CORE_ceiling_mutex_Control.
This eliminates CORE_mutex_Disciplines.

(No files)

Note: See TracChangeset for help on using the changeset viewer.