Function miri::shims::unix::sync::is_mutex_kind_normal

source ยท
fn is_mutex_kind_normal<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    kind: i32,
) -> InterpResult<'tcx, bool>