Bootchooser의 A/B 시도 횟수와 우선순위

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

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

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

원본 주석이 'Reset the priorities counter of all targets to their default'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

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

struct bootchooser_target *target;까지의 동작과 bootchooser_for_each_target(bc, target)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

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

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

원본 주석이 'When no bootchooser is initialized this function allocates the bootchooser'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'and initializes it with the different globalvars and state variables. The'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'bootchooser is returned. Subsequent calls will return a reference to the same'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

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

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

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

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

원본 356번 줄의 uint32_t last_chosen;는 앞의 int ret, id = 1; 결과를 받아 다음 static int attempts_resetted;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

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

원본 358번 줄의 uint32_t locked;는 앞의 static int attempts_resetted; 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

uint32_t locked;까지의 동작과 if (bootchooser) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

bootchooser를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

원본 361번 줄의 bootchooser->refs++;는 앞의 if (bootchooser) { 결과를 받아 다음 return bootchooser;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

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

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

}까지의 동작과 bc = xzalloc(sizeof(*bc));에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

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

bc = xzalloc(sizeof(*bc));까지의 동작과 if (*state_prefix) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

*state_prefix를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

IS_ENABLED(CONFIG_STATE)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

원본 369번 줄의 char *state_devname;는 앞의 if (IS_ENABLED(CONFIG_STATE)) { 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

char *state_devname;까지의 동작과 delim = strchr(state_prefix, '.');에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

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

delim를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 374번 줄의 else는 앞의 state_devname = xstrndup(state_prefix, delim - state_prefix); 결과를 받아 다음 state_devname = xstrdup(state_prefix);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

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

bc->state_prefix에 xstrdup(state_prefix)를 = 연산으로 반영해 struct bootchooser / bootchooser_target와 연결된 field를 갱신한다. 이후 boot and decrement 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

bc->state에 state_by_name(state_devname)를 = 연산으로 반영해 struct bootchooser / bootchooser_target와 연결된 field를 갱신한다. 바로 다음 if (!bc->state) {가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

!bc->state를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 380번 줄의 state_devname);는 앞의 pr_err("Cannot get state '%s'\n", 결과를 받아 다음 free(state_devname);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

free(state_devname)를 호출한다. 반환 결과는 현재 줄 또는 다음 ret = -ENODEV;에서 검사되는 흐름이다. pointer 인자는 struct bootchooser / bootchooser_target의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 state backend 항목과 대조한다.

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

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

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

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

원본 386번 줄의 } else {는 앞의 free(state_devname); 결과를 받아 다음 pr_err("barebox-state backend selected (nv.bootchooser.state_prefix=%s) but CONFIG_STATE is disabled\n",로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

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

원본 388번 줄의 state_prefix);는 앞의 pr_err("barebox-state backend selected (nv.bootchooser.state_prefix=%s) but CONFIG_STATE is disabled\n", 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

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

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

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

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

원본 393번 줄의 } else {는 앞의 } 결과를 받아 다음 bc->state_prefix = xstrdup("nv.bootchooser");로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건이 유지되는지 확인한다.

bc->state_prefix에 xstrdup("nv.bootchooser")를 = 연산으로 반영해 struct bootchooser / bootchooser_target와 연결된 field를 갱신한다. 이후 boot and decrement 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

bc->state_prefix = xstrdup("nv.bootchooser");까지의 동작과 /* NV is available as a fallback, but shouldn't be used in에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'NV is available as a fallback, but shouldn't be used in'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'production, because it's not power-fail safe.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

pr_warn("using non-redundant NV instead of barebox-state\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct bootchooser / bootchooser_target의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 state backend 항목과 대조한다.

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

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

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

bc->attempts_locked에 attempts_locked를 = 연산으로 반영해 struct bootchooser / bootchooser_target와 연결된 field를 갱신한다. 바로 다음 ret = getenv_u32(bc->state_prefix, "attempts_locked", &locked);가 이 값을 다시 읽으므로 그 전까지 완성된 값이어야 한다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

!ret && locked를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

bc->attempts_locked에 true를 = 연산으로 반영해 struct bootchooser / bootchooser_target와 연결된 field를 갱신한다. 이후 boot and decrement 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

bc->attempts_locked = true;까지의 동작과 if (bc->attempts_locked)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

bc->attempts_locked를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '부팅을 시도한 target의 attempts 감소가 제어권 이전 전에 내구성 있게 저장되어야 무한 재시도를 막을 수 있다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

pr_debug("remaining attempt counter is locked\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct bootchooser / bootchooser_target의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 state backend 항목과 대조한다.

pr_debug("remaining attempt counter is locked\n");까지의 동작과 INIT_LIST_HEAD(&bc->targets);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.

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

INIT_LIST_HEAD(&bc->targets);까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 state backend 상태가 아래 블록의 입력으로 사용되는 경계다.