Driver Model root와 uclass

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

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

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

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

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

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

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

!urt를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_msg_ret("urt", -ENOMEM)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 gd->dm_root / uclass_root를 정리하거나 다음 단계로 진행하는지 확인한다.

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

gd_set_dm_udevice_rt(urt);까지의 동작과 /* Now allocate space for the priv/plat data, and copy it in */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Now allocate space for the priv/plat data, and copy it in'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

size = __priv_data_end - __priv_data_start;까지의 동작과 base = calloc(1, size);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

!base를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_msg_ret("priv", -ENOMEM)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 gd->dm_root / uclass_root를 정리하거나 다음 단계로 진행하는지 확인한다.

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

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

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

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

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

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

}까지의 동작과 int dm_init(bool of_live)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

gd->dm_root를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dm_warn("Virtual root driver already exists!\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -EINVAL;에서 검사되는 흐름이다. pointer 인자는 gd->dm_root / uclass_root의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 bound devices 항목과 대조한다.

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

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

CONFIG_IS_ENABLED(OF_PLATDATA_INST)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 104번 줄의 } else {는 앞의 gd->uclass_root = &uclass_head; 결과를 받아 다음 gd->uclass_root = &DM_UCLASS_ROOT_S_NON_CONST;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

CONFIG_IS_ENABLED(OF_PLATDATA_INST)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dm_setup_inst() failed: %d\n", ret)를 호출한다. 반환 결과는 현재 줄 또는 다음 return ret;에서 검사되는 흐름이다. pointer 인자는 gd->dm_root / uclass_root의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 bound devices 항목과 대조한다.

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

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

원본 115번 줄의 } else {는 앞의 } 결과를 받아 다음 ret = device_bind_by_name(NULL, false, &root_info,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건이 유지되는지 확인한다.

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

원본 117번 줄의 &DM_ROOT_NON_CONST);는 앞의 ret = device_bind_by_name(NULL, false, &root_info, 결과를 받아 다음 if (ret)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건이 유지되는지 확인한다.

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

CONFIG_IS_ENABLED(OF_CONTROL)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

ofnode_root())를 호출한다. 반환 결과는 현재 줄 또는 다음 ret = device_probe(DM_ROOT_NON_CONST);에서 검사되는 흐름이다. pointer 인자는 gd->dm_root / uclass_root의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 bound devices 항목과 대조한다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'DM root와 uclass root는 모든 자식 bind보다 먼저 유효해야 하며 중복 초기화 시 기존 트리를 보존해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

}까지의 동작과 INIT_LIST_HEAD((struct list_head *)&gd->dmtag_list);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

INIT_LIST_HEAD((struct list_head *)&gd->dmtag_list);까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

}까지의 동작과 int dm_uninit(void)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

gd->dm_root에 NULL를 = 연산으로 반영해 gd->dm_root / uclass_root와 연결된 field를 갱신한다. 이후 FDT scan 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

gd->dm_root = NULL;까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

device_remove(dm_root(), flags);까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bound devices 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

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

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

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

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