add pthread_mutex_protects_3() -- semantic helper

This will be our helper for making modifications of code.
It hints as to what data items a mutex protects. It
does not hing at run time code for production and in-tree.

Signed-off-by: Luis R. Rodriguez <mcgrof@kernel.org>