BL2 image descriptor와 순차 적재

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

#endif까지의 동작과 return load_image(image_id, image_data);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 image_info_t 상태가 아래 블록의 입력으로 사용되는 경계다.

load_image(image_id, image_data)를 호출자에게 반환한다. caller가 이 값을 검사한 뒤 부분 초기화된 bl_mem_params_node_t / bl_params_t를 정리하거나 다음 단계로 진행하는지 확인한다.

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

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

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

원본 주석이 'Generic function to load and authenticate an image. The image is actually'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'loaded by calling the 'load_image()' function. Therefore, it returns the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'same error codes if the loading operation failed, or -EAUTH if the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'authentication failed. In addition, this function uses recursion to'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'authenticate the parent images up to the root of trust (if TBB is enabled).'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

load_auth_image 함수 정의가 시작된다. 입력은 unsigned int image_id, image_info_t *image_data이며, BL2 trusted boot stage에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

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

int err;까지의 동작과 if ((plat_try_img_ops == NULL) || (plat_try_img_ops->next_instance == NULL)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

(plat_try_img_ops == NULL) || (plat_try_img_ops->next_instance == NULL)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 223번 줄의 } else {는 앞의 err = load_auth_image_internal(image_id, image_data); 결과를 받아 다음 do {로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

원본 224번 줄의 do {는 앞의 } else { 결과를 받아 다음 err = load_auth_image_internal(image_id, image_data);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

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

err != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

plat_try_img_ops->next_instance(image_id) != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

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

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

err == 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

원본 주석이 'If loading of the image gets passed (along with its'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'authentication in case of Trusted-Boot flow) then measure'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

err != 0를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

원본 주석이 'Flush the image to main memory so that it can be executed'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'later by any CPU, regardless of cache and MMU state.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 250번 줄의 image_data->image_size);는 앞의 flush_dcache_range(image_data->image_base, 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

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

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

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

print_entry_point_info 함수 정의가 시작된다. 입력은 const entry_point_info_t *ep_info이며, BL2 trusted boot stage에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

INFO("Entry point address에 0x%lx\n", ep_info->pc)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

INFO("SPSR에 0x%x\n", ep_info->spsr)를 = 연산으로 반영해 현재 scope의 계산 결과를 저장한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

INFO("SPSR = 0x%x\n", ep_info->spsr);까지의 동작과 #define PRINT_IMAGE_ARG(n) \에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 266번 줄의 (unsigned long long) ep_info->args.arg##n)는 앞의 VERBOSE("Argument #" #n " = 0x%llx\n", \ 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

(unsigned long long) ep_info->args.arg##n)까지의 동작과 PRINT_IMAGE_ARG(0);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

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

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

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

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

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

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

원본 주석이 'This function creates the list of executable images, by populating and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'linking each bl_params_node_t type node, using the internal array of'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

원본 주석이 'and returns bl_params_t type structure that contains head of the list'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

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

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

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

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

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

원본 139번 줄의 bl_mem_params_node_t *desc_ptr;는 앞의 bl_params_node_t *bl_last_exec_node = NULL; 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

bl_mem_params_node_t *desc_ptr;까지의 동작과 /* If there is no image to start with, return NULL */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'If there is no image to start with, return NULL'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

bl_mem_params_desc_num == 0U를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return NULL;까지의 동작과 /* Get the list HEAD */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

'for (count = 0U; count < bl_mem_params_desc_num; count++) {'가 목록이나 후보를 순회한다. 반복 중 bl_mem_params_node_t / bl_params_t를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

for (count = 0U; count < bl_mem_params_desc_num; count++) {까지의 동작과 desc_ptr = &bl_mem_params_desc_ptr[count];에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

desc_ptr = &bl_mem_params_desc_ptr[count];까지의 동작과 if ((EP_GET_EXE(desc_ptr->ep_info.h.attr) == EXECUTABLE) &&에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

EP_GET_EXE(desc_ptr->ep_info.h.attr) == EXECUTABLE)를 호출한다. 반환 결과는 현재 줄 또는 다음 (EP_GET_FIRST_EXE(desc_ptr->ep_info.h.attr) == EP_FIRST_EXE)) {에서 검사되는 흐름이다. pointer 인자는 bl_mem_params_node_t / bl_params_t의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 bl_params_t 항목과 대조한다.

EP_GET_FIRST_EXE(desc_ptr->ep_info.h.attr) == EP_FIRST_EXE))를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 bl_mem_params_node_t / bl_params_t의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 bl_params_t 항목과 대조한다.

next_bl_params.head에 &desc_ptr->params_node_mem를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

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

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

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

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

assert(next_bl_params.head !에 NULL)를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

assert(next_bl_params.head != NULL);까지의 동작과 /* Populate the HEAD information */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

SET_PARAM_HEAD(&next_bl_params, PARAM_BL_PARAMS, VERSION_2, 0U);까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

원본 주석이 'Go through the image descriptor array and create the list.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'This bounded loop is to make sure that we are not looping forever.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

'for (count = 0U; count < bl_mem_params_desc_num; count++) {'가 목록이나 후보를 순회한다. 반복 중 bl_mem_params_node_t / bl_params_t를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

for (count = 0U; count < bl_mem_params_desc_num; count++) {까지의 동작과 desc_ptr = &bl_mem_params_desc_ptr[link_index];에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

desc_ptr = &bl_mem_params_desc_ptr[link_index];까지의 동작과 /* Make sure the image is executable */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

assert(EP_GET_EXE(desc_ptr->ep_info.h.attr)에 = EXECUTABLE)를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

assert(EP_GET_EXE(desc_ptr->ep_info.h.attr) == EXECUTABLE);까지의 동작과 /* Get the memory for current node */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

bl_current_exec_node = &desc_ptr->params_node_mem;까지의 동작과 /* Populate the image information */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

bl_current_exec_node->image_id에 desc_ptr->image_id를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

bl_current_exec_node->image_info에 &desc_ptr->image_info를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

bl_current_exec_node->ep_info에 &desc_ptr->ep_info를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 주소·크기 값이면 단위와 정렬, 덧셈 overflow를 함께 검산한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

bl_current_exec_node->ep_info = &desc_ptr->ep_info;까지의 동작과 if (bl_last_exec_node != NULL) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

bl_last_exec_node != NULL를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

assert(bl_last_exec_node->next_params_info에 = NULL)를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

assert(bl_last_exec_node->next_params_info == NULL);까지의 동작과 /* Link the previous node to the current one */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

bl_last_exec_node->next_params_info에 bl_current_exec_node를 = 연산으로 반영해 bl_mem_params_node_t / bl_params_t와 연결된 field를 갱신한다. 이후 BL31 params 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.

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

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

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

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

bl_last_exec_node = bl_current_exec_node;까지의 동작과 /* If no next hand-off image then break out */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'If no next hand-off image then break out'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

img_id == INVALID_IMAGE_ID를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

break;까지의 동작과 /* Get the index for the next hand-off image */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

원본 주석이 'Get the index for the next hand-off image'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 202번 줄의 (link_index < bl_mem_params_desc_num));는 앞의 assert((link_index > 0U) && 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

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

}까지의 동작과 /* Invalid image is expected to terminate the loop */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

assert(img_id == INVALID_IMAGE_ID);까지의 동작과 return &next_bl_params;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 bl_params_t 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

원본 주석이 'This function populates the entry point information with the corresponding'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'config file for all executable BL images described in bl_params.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

populate_next_bl_params_config 함수 정의가 시작된다. 입력은 bl_params_t *bl2_to_next_bl_params이며, BL2 trusted boot stage에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.

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

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

원본 주석이 'With Firmware Handoff configuration data is shared dynamically, most of'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'the *_CONFIG files will be deprecated. Avoid populating the entry point'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'arguments with their information as they're discarded anyway.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

원본 223번 줄의 bl_params_node_t *params_node;는 앞의 #if !TRANSFER_LIST 결과를 받아 다음 unsigned int fw_config_id;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

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

원본 225번 줄의 uintptr_t fw_config_base;는 앞의 unsigned int fw_config_id; 결과를 받아 다음 bl_mem_params_node_t *mem_params;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.

원본 226번 줄의 bl_mem_params_node_t *mem_params;는 앞의 uintptr_t fw_config_base; 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 image의 destination은 허용된 secure/non-secure 영역에 있고 선행 인증서와 payload 인증이 성공한 뒤 executable parameter에 공개되어야 한다' 조건이 유지되는지 확인한다.