[PATCH 17/19] score: __RTEMS_DO_NOT_INLINE_CORE_MUTEX_SEIZE__

[Chris Johns]

On 03/05/2016 15:28, Sebastian Huber wrote:
>
> This documentation is not from me. I will rewrite and restructure the
> CORE mutex soon, so all this will be hopefully fixed as a side-effect.
>

I know and that is fine.

Chris