SPL의 image 선택과 적재

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

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

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

!ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

spl_image->boot_device에 bootdev를 = 연산으로 반영해 struct spl_image_info / spl_boot_device와 연결된 field를 갱신한다. 이후 U-Boot proper 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

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

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

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

!CONFIG_IS_ENABLED(SILENT_CONSOLE)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

CONFIG_IS_ENABLED(SHOW_ERRORS)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 661번 줄의 "Unsupported Boot Device %d\n",는 앞의 printf(PHASE_PROMPT 결과를 받아 다음 bootdev);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 662번 줄의 bootdev);는 앞의 "Unsupported Boot Device %d\n", 결과를 받아 다음 else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 663번 줄의 else는 앞의 bootdev); 결과를 받아 다음 printf(PHASE_PROMPT로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

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

원본 665번 줄의 "Unsupported Boot Device!\n");는 앞의 printf(PHASE_PROMPT 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

}까지의 동작과 void board_init_r(gd_t *dummy1, ulong dummy2)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DRAM destination 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 674번 줄의 u32 spl_boot_list[] = {는 앞의 { 결과를 받아 다음 BOOT_DEVICE_NONE,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 675번 줄의 BOOT_DEVICE_NONE,는 앞의 u32 spl_boot_list[] = { 결과를 받아 다음 BOOT_DEVICE_NONE,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 676번 줄의 BOOT_DEVICE_NONE,는 앞의 BOOT_DEVICE_NONE, 결과를 받아 다음 BOOT_DEVICE_NONE,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 677번 줄의 BOOT_DEVICE_NONE,는 앞의 BOOT_DEVICE_NONE, 결과를 받아 다음 BOOT_DEVICE_NONE,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 678번 줄의 BOOT_DEVICE_NONE,는 앞의 BOOT_DEVICE_NONE, 결과를 받아 다음 BOOT_DEVICE_NONE,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

원본 679번 줄의 BOOT_DEVICE_NONE,는 앞의 BOOT_DEVICE_NONE, 결과를 받아 다음 };로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

void *fdt;까지의 동작과 debug(">>" PHASE_PROMPT "board_init_r()\n");에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DRAM destination 상태가 아래 블록의 입력으로 사용되는 경계다.

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

debug(">>" PHASE_PROMPT "board_init_r()\n");까지의 동작과 spl_set_bd();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DRAM destination 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

IS_ENABLED(CONFIG_SPL_SYS_MALLOC)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

gd->flags에 GD_FLG_FULL_MALLOC_INIT를 |= 연산으로 반영해 struct spl_image_info / spl_boot_device와 연결된 field를 갱신한다. 이후 U-Boot proper 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

!(gd->flags & GD_FLG_SPL_INIT)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

spl_init()를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

timer_init(인자 없음)를 호출한다. 반환 결과는 현재 줄 또는 다음 if (CONFIG_IS_ENABLED(BLOBLIST)) {에서 검사되는 흐름이다. pointer 인자는 struct spl_image_info / spl_boot_device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DRAM destination 항목과 대조한다.

CONFIG_IS_ENABLED(BLOBLIST)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

debug(인자 없음)를 호출한다. 반환 결과는 현재 줄 또는 다음 __func__, ret);에서 검사되는 흐름이다. pointer 인자는 struct spl_image_info / spl_boot_device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DRAM destination 항목과 대조한다.

원본 703번 줄의 __func__, ret);는 앞의 debug("%s: Failed to set up bloblist: ret=%d\n", 결과를 받아 다음 puts(PHASE_PROMPT "Cannot set up bloblist\n");로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건이 유지되는지 확인한다.

puts(PHASE_PROMPT "Cannot set up bloblist\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct spl_image_info / spl_boot_device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DRAM destination 항목과 대조한다.

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

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

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

CONFIG_IS_ENABLED(HANDOFF)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

puts(PHASE_PROMPT "Cannot set up SPL handoff\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 struct spl_image_info / spl_boot_device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DRAM destination 항목과 대조한다.

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

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

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

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

CONFIG_IS_ENABLED(SOC_INIT)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

spl_soc_init();까지의 동작과 if (IS_ENABLED(CONFIG_SPL_WATCHDOG) && CONFIG_IS_ENABLED(WDT))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DRAM destination 상태가 아래 블록의 입력으로 사용되는 경계다.

IS_ENABLED(CONFIG_SPL_WATCHDOG) && CONFIG_IS_ENABLED(WDT)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

initr_watchdog();까지의 동작과 if (IS_ENABLED(CONFIG_SPL_OS_BOOT) || CONFIG_IS_ENABLED(HANDOFF) ||에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DRAM destination 상태가 아래 블록의 입력으로 사용되는 경계다.

CONFIG_IS_ENABLED(HANDOFF)를 호출한다. 반환 결과는 현재 줄 또는 다음 IS_ENABLED(CONFIG_SPL_ATF) || IS_ENABLED(CONFIG_SPL_NET))에서 검사되는 흐름이다. pointer 인자는 struct spl_image_info / spl_boot_device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DRAM destination 항목과 대조한다.

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

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

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

IS_ENABLED(CONFIG_SPL_LMB)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

lmb_init();까지의 동작과 if (CONFIG_IS_ENABLED(PCI) && !(gd->flags & GD_FLG_DM_DEAD)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DRAM destination 상태가 아래 블록의 입력으로 사용되는 경계다.

CONFIG_IS_ENABLED(PCI) && !(gd->flags & GD_FLG_DM_DEAD)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '선택된 loader는 검증된 크기와 주소를 제공하고 제어권 이전 전에 cache와 실행 환경을 정리해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 주석이 'Don't fail. We still can try other boot methods.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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