device_probe와 의존 장치 활성화

이전 block 경계까지의 동작과 if (!CONFIG_IS_ENABLED(DM_DMA) || !parent || !dev_has_ofnode(parent))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound device 상태가 아래 블록의 입력으로 사용되는 경계다.

!CONFIG_IS_ENABLED(DM_DMA) || !parent || !dev_has_ofnode(parent)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

원본 주석이 'We start parsing for dma-ranges from the device's bus node. This is'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

ret에 dev_get_dma_range(parent, &cpu, &bus, &size)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 바로 다음 /* Don't return an error if no 'dma-ranges' were found */가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

원본 주석이 'Don't return an error if no 'dma-ranges' were found'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

ret && ret != -ENOENT를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dm_warn("%s: failed to get DMA range, %d\n", dev->name, ret)를 호출한다. 반환 결과는 현재 줄 또는 다음 return ret;에서 검사되는 흐름이다. pointer 인자는 struct udevice flags / private data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 active hardware 항목과 대조한다.

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

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

}까지의 동작과 #if CONFIG_IS_ENABLED(DM_DMA)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 active hardware 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

dev->dma_size에 size를 = 연산으로 반영해 struct udevice flags / private data와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 active flag 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

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

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

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

device_probe 함수 정의가 시작된다. 입력은 struct udevice *dev이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

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

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

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

!dev를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return -EINVAL;까지의 동작과 if (dev_get_flags(dev) & DM_FLAG_ACTIVATED)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 active hardware 상태가 아래 블록의 입력으로 사용되는 경계다.

dev_get_flags(dev) & DM_FLAG_ACTIVATED를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

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

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

goto fail;까지의 동작과 /* Ensure all parents are probed */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 active hardware 상태가 아래 블록의 입력으로 사용되는 경계다.

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

dev->parent를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

goto fail;까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 active hardware 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 주석이 'The device might have already been probed during'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'the call to device_probe() on its parent device'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 '(e.g. PCI bridge devices). Test the flags again'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'so that we don't mess up the device.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

dev_get_flags(dev) & DM_FLAG_ACTIVATED를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

dev_or_flags(dev, DM_FLAG_ACTIVATED);까지의 동작과 if (CONFIG_IS_ENABLED(POWER_DOMAIN) && dev->parent &&에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 active hardware 상태가 아래 블록의 입력으로 사용되는 경계다.

CONFIG_IS_ENABLED(POWER_DOMAIN)를 호출한다. 반환 결과는 현재 줄 또는 다음 (device_get_uclass_id(dev) != UCLASS_POWER_DOMAIN) &&에서 검사되는 흐름이다. pointer 인자는 struct udevice flags / private data의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 active hardware 항목과 대조한다.

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

원본 527번 줄의 !(drv->flags & DM_FLAG_DEFAULT_PD_CTRL_OFF)) {는 앞의 (device_get_uclass_id(dev) != UCLASS_POWER_DOMAIN) && 결과를 받아 다음 ret = dev_power_domain_on(dev);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건이 유지되는지 확인한다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

원본 주석이 'Process pinctrl for everything except the root device, and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'continue regardless of the result of pinctrl. Don't process pinctrl'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'settings for pinctrl devices since the device may not yet be'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 주석이 'This call can produce some non-intuitive results. For example, on an'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'x86 device where dev is the main PCI bus, the pinctrl device may be'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'child or grandchild of that bus, meaning that the child will be'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'probed here. If the child happens to be the P2SB and the pinctrl'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'device is a child of that, then both the pinctrl and P2SB will be'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'probed by this call. This works because the DM_FLAG_ACTIVATED flag'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'is set just above. However, the PCI bus' probe() method and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'associated uclass methods have not yet been called.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

dev->parent && device_get_uclass_id(dev) != UCLASS_PINCTRL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'ACTIVE 상태는 모든 필수 resource와 driver callback이 성공한 뒤에만 관찰 가능해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

ret에 pinctrl_select_state(dev, "default")를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 active flag 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.