device_bind와 장치 객체 생성

'fail_alloc2' label이다. 이곳을 참조하는 branch를 역검색하고 각 진입 경로의 register, stack, lock 조건이 같은지 확인한다.

CONFIG_IS_ENABLED(DM_DEVICE_REMOVE)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dev_get_flags(dev) & DM_FLAG_ALLOC_PDATA를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dev_get_plat(dev))를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

dev_set_plat(dev, NULL)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

'fail_alloc1' label이다. 이곳을 참조하는 branch를 역검색하고 각 진입 경로의 register, stack, lock 조건이 같은지 확인한다.

devres_release_all(dev)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

devres_release_all(dev);까지의 동작과 free(dev);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

free(dev)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

free(dev);까지의 동작과 return ret;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 int device_bind_with_driver_data(struct udevice *parent,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

device_bind_with_driver_data(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

원본 241번 줄의 const struct driver *drv, const char *name,는 앞의 int device_bind_with_driver_data(struct udevice *parent, 결과를 받아 다음 ulong driver_data, ofnode node,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건이 유지되는지 확인한다.

원본 242번 줄의 ulong driver_data, ofnode node,는 앞의 const struct driver *drv, const char *name, 결과를 받아 다음 struct udevice **devp)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건이 유지되는지 확인한다.

struct udevice **devp)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 struct udevice를 직접 소유하는지 pointer만 빌리는지, relocation 후 driver-model 관리 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 struct udevice의 수명에 맞춰 묶어 읽는다.

device_bind_common(parent, drv, name, NULL, driver_data, node,를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

원본 246번 줄의 0, devp);는 앞의 return device_bind_common(parent, drv, name, NULL, driver_data, node, 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건이 유지되는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 int device_bind(struct udevice *parent, const struct driver *drv,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

device_bind(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

원본 250번 줄의 const char *name, void *plat, ofnode node,는 앞의 int device_bind(struct udevice *parent, const struct driver *drv, 결과를 받아 다음 struct udevice **devp)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건이 유지되는지 확인한다.

struct udevice **devp)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 struct udevice를 직접 소유하는지 pointer만 빌리는지, relocation 후 driver-model 관리 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 struct udevice의 수명에 맞춰 묶어 읽는다.

device_bind_common(parent, drv, name, plat, 0, node, 0,를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

원본 254번 줄의 devp);는 앞의 return device_bind_common(parent, drv, name, plat, 0, node, 0, 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건이 유지되는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 int device_bind_by_name(struct udevice *parent, bool pre_reloc_only,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

device_bind_by_name(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

원본 258번 줄의 const struct driver_info *info, struct udevice **devp)는 앞의 int device_bind_by_name(struct udevice *parent, bool pre_reloc_only, 결과를 받아 다음 {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건이 유지되는지 확인한다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 struct udevice의 수명에 맞춰 묶어 읽는다.

struct driver *drv를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 struct udevice를 직접 소유하는지 pointer만 빌리는지, relocation 후 driver-model 관리 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

uint plat_size에 0를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 child list 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

int ret를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 struct udevice를 직접 소유하는지 pointer만 빌리는지, relocation 후 driver-model 관리 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int ret;까지의 동작과 drv = lists_driver_lookup_name(info->name);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

drv에 lists_driver_lookup_name(info->name)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 바로 다음 if (!drv)가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

!drv를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

-ENOENT를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

pre_reloc_only && !(drv->flags & DM_FLAG_PRE_RELOC)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

-EPERM를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

return -EPERM;까지의 동작과 #if CONFIG_IS_ENABLED(OF_PLATDATA)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

plat_size에 info->plat_size를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 child list 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.

device_bind_common(parent, drv, info->name, (void *)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

ofnode_null(), plat_size, devp)를 호출한다. 반환 결과는 현재 줄 또는 다음 if (ret)에서 검사되는 흐름이다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

return ret;까지의 동작과 return ret;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

ret를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 int device_reparent(struct udevice *dev, struct udevice *new_parent)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

device_reparent 함수 정의가 시작된다. 입력은 struct udevice *dev, struct udevice *new_parent이며, relocation 후 driver-model 관리 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 struct udevice의 수명에 맞춰 묶어 읽는다.

struct udevice *pos, *n를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 struct udevice를 직접 소유하는지 pointer만 빌리는지, relocation 후 driver-model 관리 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

struct udevice *pos, *n;까지의 동작과 assert(dev);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

assert(dev)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

assert(new_parent)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

assert(new_parent);까지의 동작과 device_foreach_child_safe(pos, n, dev->parent) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

device_foreach_child_safe(pos, n, dev->parent)를 호출한다. 반환 결과는 현재 줄 또는 다음 if (pos->driver != dev->driver)에서 검사되는 흐름이다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

pos->driver != dev->driver를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'continue;'로 직선 경로를 벗어난다. 이동 대상에서 struct udevice에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

continue;까지의 동작과 list_del(&dev->sibling_node);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

list_del(&dev->sibling_node)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

list_add_tail(&dev->sibling_node, &new_parent->child_head)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

dev->parent에 new_parent를 = 연산으로 반영해 struct udevice와 연결된 field를 갱신한다. 이후 child list 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

dev->parent = new_parent;까지의 동작과 break;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

'break;'로 직선 경로를 벗어난다. 이동 대상에서 struct udevice에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

0를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 struct udevice를 정리하거나 다음 단계로 진행하는지 확인한다.

현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.

}까지의 동작과 static void *alloc_priv(int size, uint flags)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

alloc_priv(int size, uint flags)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 struct udevice의 수명에 맞춰 묶어 읽는다.

void *priv를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 struct udevice를 직접 소유하는지 pointer만 빌리는지, relocation 후 driver-model 관리 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

void *priv;까지의 동작과 if (flags & DM_FLAG_ALLOC_PRIV_DMA) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

flags & DM_FLAG_ALLOC_PRIV_DMA를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

size에 ROUND(size, ARCH_DMA_MINALIGN)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 priv = memalign(ARCH_DMA_MINALIGN, size);가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

priv에 memalign(ARCH_DMA_MINALIGN, size)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 if (priv) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

priv를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '목록에 공개되는 udevice는 parent, driver와 uclass 연결이 모두 일관된 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

memset(priv, '\0', size)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct udevice의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 uclass membership 항목과 대조한다.

memset(priv, '\0', size);까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 uclass membership 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'Ensure that the zero bytes are flushed to memory.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.