BBU update handler와 self-update

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

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

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

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

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

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

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

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

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

struct bbu_handler *handler;까지의 동작과 if (list_empty(&bbu_image_handlers))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

list_empty(&bbu_image_handlers)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

printf("(none)\n");까지의 동작과 list_for_each_entry(handler, &bbu_image_handlers, list)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

'list_for_each_entry(handler, &bbu_image_handlers, list)'가 목록이나 후보를 순회한다. 반복 중 struct bbu_handler / target cdev / update image를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

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

원본 305번 줄의 handler->flags & BBU_HANDLER_FLAG_DEFAULT ?는 앞의 printf("%s%-11s -> %-10s\n", 결과를 받아 다음 "* " : " ",로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

원본 306번 줄의 "* " : " ",는 앞의 handler->flags & BBU_HANDLER_FLAG_DEFAULT ? 결과를 받아 다음 handler->name,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

원본 307번 줄의 handler->name,는 앞의 "* " : " ", 결과를 받아 다음 handler->devicefile);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

원본 308번 줄의 handler->devicefile);는 앞의 handler->name, 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

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

bbu_find_handler_by_name(handler->name)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return -EBUSY;까지의 동작과 if (handler->flags & BBU_HANDLER_FLAG_DEFAULT &&에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 319번 줄의 if (handler->flags & BBU_HANDLER_FLAG_DEFAULT &&는 앞의 이전 block 경계 결과를 받아 다음 bbu_find_handler_by_name(NULL))로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

bbu_find_handler_by_name(NULL))를 호출한다. 반환 결과는 현재 줄 또는 다음 return -EBUSY;에서 검사되는 흐름이다. pointer 인자는 struct bbu_handler / target cdev / update image의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 update flags 항목과 대조한다.

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

return -EBUSY;까지의 동작과 list_add_tail(&handler->list, &bbu_image_handlers);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

list_add_tail(&handler->list, &bbu_image_handlers);까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

};까지의 동작과 int bbu_mmcboot_handler(struct bbu_handler *handler, struct bbu_data *data,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

char *devicefile에 NULL, *bootpartvar = NULL, *bootackvar = NULL를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 erase/write/verify 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

원본 339번 줄의 const char *bootpart;는 앞의 char *devicefile = NULL, *bootpartvar = NULL, *bootackvar = NULL; 결과를 받아 다음 const char *devname = devpath_to_name(data->devicefile);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

const char *devname에 devpath_to_name(data->devicefile)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 erase/write/verify 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

const char *devname = devpath_to_name(data->devicefile);까지의 동작과 ret = device_detect_by_name(devname);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

pr_err("Couldn't detect device '%s'\n", devname)를 호출한다. 반환 결과는 현재 줄 또는 다음 return ret;에서 검사되는 흐름이다. pointer 인자는 struct bbu_handler / target cdev / update image의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 update flags 항목과 대조한다.

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

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

}까지의 동작과 ret = asprintf(&bootpartvar, "%s.boot", devname);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ret < 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

!bootpart를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

'goto out;'로 직선 경로를 벗어난다. 이동 대상에서 struct bbu_handler / target cdev / update image에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

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

}까지의 동작과 if (!strcmp(bootpart, "boot0")) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

!strcmp(bootpart, "boot0")를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 360번 줄의 } else {는 앞의 bootpart = "boot1"; 결과를 받아 다음 bootpart = "boot0";로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건이 유지되는지 확인한다.

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

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

}까지의 동작과 ret = asprintf(&devicefile, "/dev/%s.%s", devname, bootpart);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ret < 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'goto out;'로 직선 경로를 벗어난다. 이동 대상에서 struct bbu_handler / target cdev / update image에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

goto out;까지의 동작과 _data.devicefile = devicefile;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

_data.devicefile에 devicefile를 = 연산으로 반영해 struct bbu_handler / target cdev / update image와 연결된 field를 갱신한다. 이후 erase/write/verify 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

_data.devicefile = devicefile;까지의 동작과 ret = chained_handler(handler, &_data);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

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

ret < 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'goto out;'로 직선 경로를 벗어난다. 이동 대상에서 struct bbu_handler / target cdev / update image에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

goto out;까지의 동작과 if (handler->flags & BBU_HANDLER_FLAG_MMC_BOOT_ACK) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 update flags 상태가 아래 블록의 입력으로 사용되는 경계다.

handler->flags & BBU_HANDLER_FLAG_MMC_BOOT_ACK를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret < 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '새 image가 검증되고 완전히 기록되기 전에는 현재 부팅 가능한 copy를 잃지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

'goto out;'로 직선 경로를 벗어난다. 이동 대상에서 struct bbu_handler / target cdev / update image에 걸린 lock, allocation, list 등록을 어디까지 되돌리는지 이어서 확인한다.

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