device_probe와 Linux식 driver binding

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

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

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

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

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

}까지의 동작과 int get_free_deviceid_from(const char *name_template, int id_from)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

'while (1) {'가 목록이나 후보를 순회한다. 반복 중 struct device / struct driver를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

!get_device_by_name_id(name_template, id_from)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 108번 줄의 id_from++;는 앞의 return id_from; 결과를 받아 다음 };로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

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

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

}까지의 동작과 static void dev_report_permanent_probe_deferral(struct device *dev)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

dev->deferred_probe_reason를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 116번 줄의 dev->deferred_probe_reason);는 앞의 dev_err(dev, "probe permanently deferred (%s)\n", 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

원본 117번 줄의 else는 앞의 dev->deferred_probe_reason); 결과를 받아 다음 dev_err(dev, "probe permanently deferred\n");로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

dev_err(dev, "probe permanently deferred\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct device / struct driver의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 probe state and defer list 항목과 대조한다.

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

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

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

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

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

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

int ret;까지의 동작과 ret = of_feature_controller_check(dev->of_node);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ret < 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret == FEATCTRL_GATED를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dev_dbg(dev, "feature gated, skipping probe\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -ENODEV;에서 검사되는 흐름이다. pointer 인자는 struct device / struct driver의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 probe state and defer list 항목과 대조한다.

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

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

}까지의 동작과 depth++;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 134번 줄의 depth++;는 앞의 이전 block 경계 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

depth++;까지의 동작과 pr_report_probe("%*sprobe-> %s\n", depth * 4, "", dev_name(dev));에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

pr_report_probe("%*sprobe-> %s\n", depth * 4, "", dev_name(dev));까지의 동작과 pinctrl_select_state_default(dev);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

of_clk_set_defaults(dev->of_node, false);까지의 동작과 list_add(&dev->active, &active_device_list);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

list_add(&dev->active, &active_device_list);까지의 동작과 if (dev->bus->probe)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

dev->bus->probe를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

dev->driver->probe를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 147번 줄의 else는 앞의 ret = dev->driver->probe(dev); 결과를 받아 다음 ret = 0;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

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

ret = 0;까지의 동작과 depth--;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 150번 줄의 depth--;는 앞의 이전 block 경계 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

depth--;까지의 동작과 switch (ret) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 152번 줄의 switch (ret) {는 앞의 이전 block 경계 결과를 받아 다음 case 0:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

원본 153번 줄의 case 0:는 앞의 switch (ret) { 결과를 받아 다음 return 0;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

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

원본 155번 줄의 case -EPROBE_DEFER:는 앞의 return 0; 결과를 받아 다음 /*로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

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

원본 주석이 '-EPROBE_DEFER should never appear on a deep-probe machine so'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

deep_probe_is_supported()를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

}까지의 동작과 list_move(&dev->active, &deferred);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

list_move(&dev->active, &deferred);까지의 동작과 dev_dbg(dev, "probe deferred\n");에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

dev_dbg(dev, "probe deferred\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -EPROBE_DEFER;에서 검사되는 흐름이다. pointer 인자는 struct device / struct driver의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 probe state and defer list 항목과 대조한다.

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

원본 169번 줄의 case -ENODEV:는 앞의 return -EPROBE_DEFER; 결과를 받아 다음 case -ENXIO:로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

원본 170번 줄의 case -ENXIO:는 앞의 case -ENODEV: 결과를 받아 다음 dev_dbg(dev, "probe failed: %pe\n", ERR_PTR(ret));로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

}까지의 동작과 list_del_init(&dev->active);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

list_del_init(&dev->active);까지의 동작과 return ret;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 probe state and defer list 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

!dev->detect를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '성공으로 표시된 device는 driver private state와 필수 provider를 모두 소유해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.