044: Upgrade lock by wrong TCB

Explanation

A user attempted to upgrade a user lock to exclusive, but the user is not the one who holds the lock shared.

Module

MVPXUT (via MVPXGFL)