Function condattr_clock_offset 

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