fastboot boot의 임시 image 실행

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

(table->magic != DEV_TREE_MAGIC) && (table->version != DEV_TREE_VERSION)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dprintf(CRITICAL, "ERROR: Cannot validate Device Tree Table \n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -1;에서 검사되는 흐름이다. pointer 인자는 fastboot download buffer / boot_img_hdr의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocated payloads 항목과 대조한다.

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

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

}까지의 동작과 /* Calculate the offset of device tree within device tree table */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

(dt_entry_ptr = dev_tree_get_entry_ptr(table)) == NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dprintf(CRITICAL, "ERROR: Getting device tree address failed\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -1;에서 검사되는 흐름이다. pointer 인자는 fastboot download buffer / boot_img_hdr의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 kernel entry 항목과 대조한다.

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

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

}까지의 동작과 /* Read device device tree in the "tags_add */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 1225번 줄의 boot_image_start + dt_image_offset + dt_entry_ptr->offset,는 앞의 memmove((void*) hdr->tags_addr, 결과를 받아 다음 dt_entry_ptr->size);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건이 유지되는지 확인한다.

원본 1226번 줄의 dt_entry_ptr->size);는 앞의 boot_image_start + dt_image_offset + dt_entry_ptr->offset, 결과를 받아 다음 } else로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건이 유지되는지 확인한다.

원본 1227번 줄의 } else는 앞의 dt_entry_ptr->size); 결과를 받아 다음 return -1;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건이 유지되는지 확인한다.

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

return -1;까지의 동작과 /* Everything looks fine. Return success. */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

#endif까지의 동작과 void cmd_boot(const char *arg, void *data, unsigned sz)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

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

uint8_t dtb_copied = 0;까지의 동작과 if (sz < sizeof(hdr)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

sz < sizeof(hdr)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

fastboot_fail("invalid bootimage header")를 호출한다. 반환 결과는 현재 줄 또는 다음 return;에서 검사되는 흐름이다. pointer 인자는 fastboot download buffer / boot_img_hdr의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 kernel entry 항목과 대조한다.

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

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

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

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

hdr = (struct boot_img_hdr *)data;까지의 동작과 /* ensure commandline is terminated */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

hdr->cmdline[BOOT_ARGS_SIZE-1]에 0를 = 연산으로 반영해 fastboot download buffer / boot_img_hdr와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 boot_linux 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

hdr->cmdline[BOOT_ARGS_SIZE-1] = 0;까지의 동작과 if(target_is_emmc_boot() && hdr->page_size) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

target_is_emmc_boot() && hdr->page_size를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

}까지의 동작과 kernel_actual = ROUND_TO_PAGE(hdr->kernel_size, page_mask);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

ramdisk_actual = ROUND_TO_PAGE(hdr->ramdisk_size, page_mask);까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 주석이 'Update the kernel/ramdisk/tags address if the boot image header'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

원본 주석이 'the boot image is flashed using fastboot flash:raw'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

update_ker_tags_rdisk_addr(hdr);까지의 동작과 /* Get virtual addresses since the hdr saves physical addresses. */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

hdr->tags_addr = VA(hdr->tags_addr);까지의 동작과 /* sz should have atleast raw boot image */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

page_size + kernel_actual + ramdisk_actual > sz를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

fastboot_fail("incomplete bootimage")를 호출한다. 반환 결과는 현재 줄 또는 다음 return;에서 검사되는 흐름이다. pointer 인자는 fastboot download buffer / boot_img_hdr의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 kernel entry 항목과 대조한다.

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

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

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

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

원본 주석이 'find correct dtb and copy it to right location'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

ret = copy_dtb(data);까지의 동작과 dtb_copied = !ret ? 1 : 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

memmove((void*) hdr->ramdisk_addr, ptr + page_size + kernel_actual, hdr->ramdisk_size)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fastboot download buffer / boot_img_hdr의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 kernel entry 항목과 대조한다.

memmove((void*) hdr->kernel_addr, ptr + page_size, hdr->kernel_size)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 fastboot download buffer / boot_img_hdr의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 kernel entry 항목과 대조한다.

memmove((void*) hdr->kernel_addr, ptr + page_size, hdr->kernel_size);까지의 동작과 #if DEVICE_TREE에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel entry 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 주석이 'If dtb is not found look for appended DTB in the kernel.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'If appended dev tree is found, update the atags with'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'memory address to the DTB appended location on RAM.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'Else update with the atags address in the kernel header'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

!dtb_copied를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '검증된 download size 안에 모든 header와 payload가 포함되고 copy 순서가 overlap에 안전해야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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