Android boot image의 kernel·ramdisk 적재

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

enter_critical_section();까지의 동작과 /* do any platform specific cleanup before kernel entry */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 kernel payload 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

platform_uninit();까지의 동작과 arch_disable_cache(UCACHE);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

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

arch_disable_cache(UCACHE);까지의 동작과 #if ARM_WITH_MMU에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

entry(0, machtype, (unsigned*)tags_phys)를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

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

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

unsigned page_size = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned page_mask = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned page_mask = 0;까지의 동작과 #define ROUND_TO_PAGE(x,y) (((x) + (y)) & (~(y)))에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

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

#define ROUND_TO_PAGE(x,y) (((x) + (y)) & (~(y)))까지의 동작과 static unsigned char buf[4096]; //Equal to max-supported pagesize에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 501번 줄의 static unsigned char buf[4096]; //Equal to max-supported pagesize는 앞의 이전 block 경계 결과를 받아 다음 #if DEVICE_TREE로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건이 유지되는지 확인한다.

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

static unsigned char dt_buf[4096]를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

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

#endif까지의 동작과 int boot_linux_from_mmc(void)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

boot_linux_from_mmc 함수 정의가 시작된다. 입력은 void이며, classic aboot storage boot path에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

struct boot_img_hdr *hdr = (void*) buf를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

struct boot_img_hdr *uhdr를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned offset = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned long long ptn = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int index = INVALID_PTN를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

int index = INVALID_PTN;까지의 동작과 unsigned char *image_addr = 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

unsigned char *image_addr = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned kernel_actual를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned ramdisk_actual를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned imagesize_actual를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned second_actual = 0를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned second_actual = 0;까지의 동작과 #if DEVICE_TREE에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

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

struct dt_table *table를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

struct dt_entry *dt_entry_ptr를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

unsigned dt_table_offset를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

원본 524번 줄의 uint32_t dt_actual;는 앞의 unsigned dt_table_offset; 결과를 받아 다음 #endif로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건이 유지되는지 확인한다.

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

#endif까지의 동작과 uhdr = (struct boot_img_hdr *)EMMC_BOOT_IMG_HEADER_ADDR;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

uhdr = (struct boot_img_hdr *)EMMC_BOOT_IMG_HEADER_ADDR를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 boot_img_hdr / image buffers를 직접 소유하는지 pointer만 빌리는지, classic aboot storage boot path를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.

!memcmp(uhdr->magic, BOOT_MAGIC, BOOT_MAGIC_SIZE)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dprintf(INFO, "Unified boot method!\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 boot_img_hdr / image buffers의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 tags/DT area 항목과 대조한다.

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

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

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

!boot_into_recovery를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

ptn == 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dprintf(CRITICAL, "ERROR: No boot partition found\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -1;에서 검사되는 흐름이다. pointer 인자는 boot_img_hdr / image buffers의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 tags/DT area 항목과 대조한다.

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

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

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

원본 541번 줄의 else {는 앞의 } 결과를 받아 다음 index = partition_get_index("recovery");로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건이 유지되는지 확인한다.

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

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

ptn == 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dprintf(CRITICAL, "ERROR: No recovery partition found\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -1;에서 검사되는 흐름이다. pointer 인자는 boot_img_hdr / image buffers의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 tags/DT area 항목과 대조한다.

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

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

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

}까지의 동작과 if (mmc_read(ptn + offset, (unsigned int *) buf, page_size)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

mmc_read(ptn + offset, (unsigned int *) buf, page_size)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

}까지의 동작과 if (memcmp(hdr->magic, BOOT_MAGIC, BOOT_MAGIC_SIZE)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

memcmp(hdr->magic, BOOT_MAGIC, BOOT_MAGIC_SIZE)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

dprintf(CRITICAL, "ERROR: Invalid boot image header\n")를 호출한다. 반환 결과는 현재 줄 또는 다음 return -1;에서 검사되는 흐름이다. pointer 인자는 boot_img_hdr / image buffers의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 tags/DT area 항목과 대조한다.

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

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

}까지의 동작과 if (hdr->page_size && (hdr->page_size != page_size)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 tags/DT area 상태가 아래 블록의 입력으로 사용되는 경계다.

hdr->page_size && (hdr->page_size != page_size)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 payload의 rounded read range와 destination range가 storage와 RAM의 허용 범위 안에 있어야 한다' 조건을 보존하는지 다음 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가 성공 경로와 실패 경로에서 대칭인지 점검한다.

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

원본 주석이 '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 인자는 boot_img_hdr / image buffers의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 tags/DT area 항목과 대조한다.