Function pi_mutex_release_owned 

pub unsafe fn pi_mutex_release_owned(
    lock: PiMutexRef<'_>,
    old_owner: ThreadId,
) -> Result<(), TaskError>

Publishes a raw-mutex-owner PI handoff and wakes the selected waiter.

Safety

old_owner must be the executing identity passed to [PiMutexCoreView::try_release_owned] on lock, and the caller must retain the higher-level raw-mutex owner authority until this complete release transaction returns.