Function mutexattr_kind_offset 

fn mutexattr_kind_offset<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
) -> InterpResult<'tcx, u64>