Function rwlock_init_offset 

fn rwlock_init_offset<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
) -> InterpResult<'tcx, Size>