bootstd와 bootflow 탐색

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

ret = bootdev_get_bootflow(dev, iter, bflow);까지의 동작과 /* If we got a valid bootflow, return it */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bootmeth registry 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'If we got a valid bootflow, return it'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

!ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 521번 줄의 dev->name, iter->part, iter->method->name);는 앞의 log_debug("Bootdev '%s' part %d method '%s': Found bootflow\n", 결과를 받아 다음 return 0;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건이 유지되는지 확인한다.

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

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

}까지의 동작과 /* Unless there is nothing more to try, move to the next device */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Unless there is nothing more to try, move to the next device'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

ret != BF_NO_MORE_PARTS && ret != -ENOSYS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

log_debug(인자 없음)를 호출한다. 반환 결과는 현재 줄 또는 다음 dev->name, iter->part, iter->method->name, ret);에서 검사되는 흐름이다. pointer 인자는 struct bootflow_iter / struct bootflow의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 selected entry 항목과 대조한다.

원본 528번 줄의 dev->name, iter->part, iter->method->name, ret);는 앞의 log_debug("Bootdev '%s' part %d method '%s': Error %d\n", 결과를 받아 다음 /*로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

iter->flags & BOOTFLOWIF_ALL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

}까지의 동작과 return log_msg_ret("check", ret);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

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

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

dev || label를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

bootflow_iter_init(iter, flags);까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 주석이 'Set up the ordering of bootmeths. This sets iter->doing_global and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'iter->first_glob_method if we are starting with the global bootmeths'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return log_msg_ret("obmeth", -ENODEV);까지의 동작과 /* Find the first bootmeth (there must be at least one!) */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Find the first bootmeth (there must be at least one!)'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

iter->method에 iter->method_order[iter->cur_method]를 = 연산으로 반영해 struct bootflow_iter / struct bootflow와 연결된 field를 갱신한다. 이후 ready bootflow 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

iter->method = iter->method_order[iter->cur_method];까지의 동작과 if (!IS_ENABLED(CONFIG_BOOTMETH_GLOBAL) || !iter->doing_global) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

!IS_ENABLED(CONFIG_BOOTMETH_GLOBAL) || !iter->doing_global를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

int method_flags;까지의 동작과 ret = bootdev_setup_iter(iter, label, &dev, &method_flags);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return log_msg_ret("obdev", -ENODEV);까지의 동작과 bootflow_iter_set_dev(iter, dev, method_flags);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

IS_ENABLED(CONFIG_BOOTMETH_GLOBAL)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

iter->methods_done에 BIT(iter->cur_method)를 |= 연산으로 반영해 struct bootflow_iter / struct bootflow와 연결된 field를 갱신한다. 바로 다음 log_debug("methods_done now %x\n", iter->cur_method);가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

log_debug("methods_done now %x\n", iter->cur_method)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct bootflow_iter / struct bootflow의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 selected entry 항목과 대조한다.

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

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret != BF_NO_MORE_PARTS && ret != -ENOSYS를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

iter->flags & BOOTFLOWIF_ALL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

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

}까지의 동작과 int bootflow_scan_next(struct bootflow_iter *iter, struct bootflow *bflow)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

원본 596번 줄의 do {는 앞의 이전 block 경계 결과를 받아 다음 ret = iter_incr(iter);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건이 유지되는지 확인한다.

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

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

ret == BF_NO_MORE_DEVICES를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return log_msg_ret("done", ret);까지의 동작과 if (!ret) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 selected entry 상태가 아래 블록의 입력으로 사용되는 경계다.

!ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

IS_ENABLED(CONFIG_BOOTMETH_GLOBAL)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 후보의 device, method, partition, filename과 state는 같은 탐색 시도의 결과를 가리켜야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

iter->methods_done에 BIT(iter->cur_method)를 |= 연산으로 반영해 struct bootflow_iter / struct bootflow와 연결된 field를 갱신한다. 이후 ready bootflow 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.