QUESTION
board_init_f 초기화 배열 단계에서 실제로 바뀌는 상태는 무엇인가?
initcall_run_f()의 순서는 단순한 목록이 아니라 의존성 그래프를 일렬로 편 것이다. 한 호출을 옮길 때 그 함수가 읽는 gd 필드와 driver model, timer, console의 준비 여부를 먼저 확인한다.
각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다. 이 문장을 기준으로 코드를 위에서 아래로 읽으면, 함수 이름을 외우는 대신 어느 시점에 어떤 상태를 신뢰할 수 있는지 판단할 수 있다.
STRUCTURE
객체와 주소가 놓이는 구조
각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 `INITCALL`이 즉시 `hang()`으로 진입한다.
gd_t / struct board_f / initcall_run_f()를 중심에 놓고 왼쪽의 입력이 어떤 검사를 거쳐 오른쪽 결과로 공개되는지 표시했다. 실제 디버깅에서는 각 블록의 주소와 크기를 로그에 대입한다.
CALL PATH
실행 흐름
화살표는 단순 호출 순서만 뜻하지 않는다. 각 단계가 성공을 반환할 때 다음 단계가 읽을 수 있는 상태가 무엇인지 함께 확인한다. 오류 반환이 발생하면 바로 다음 화살표로 진행하지 않고 해당 단계의 정리 경로를 따라간다.
STATE LEDGER
단계별 입력과 출력
호출 순서를 함수 이름으로만 외우지 않고, 각 단계가 무엇을 받아 무엇을 공개하는지 적은 표다. 실제 소스에서 생산 필드가 다르면 표를 고치는 방식으로 사용한다.
| # | 단계 | 진입 시 신뢰할 상태 | 성공 뒤 남아야 할 상태 | 다음 소비자 |
|---|---|---|---|---|
| 01 | _main | 부트 CPU의 동기 실행 문맥 | boot flags와 임시 board_f | board_init_f |
| 02 | board_init_f | _main 완료 상태 | CPU·timer·console 준비 | initcall_run_f |
| 03 | initcall_run_f | board_init_f 완료 상태 | DRAM 발견과 상단 예약 | DRAM discovery |
| 04 | DRAM discovery | initcall_run_f 완료 상태 | relocation 인자 | top-down reservation |
| 05 | top-down reservation | DRAM discovery 완료 상태 | relocation 인자 | relocation return |
| 06 | relocation return | top-down reservation 완료 상태 | relocation 인자 | 최종 relocation 전 U-Boot text와 global data 또는 다음 stage |
공통 불변 조건: 각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다. 한 단계의 출력이 다음 단계의 입력 조건을 만족하지 않으면 오류가 실제로 드러난 위치보다 앞의 생산 단계부터 조사한다.
VISUAL WALKTHROUGH
주소와 객체의 이동을 그림으로 읽기
아래 그림은 호출 이름보다 주소, 객체 수명과 handoff 경계를 먼저 볼 수 있도록 구성했다. 실제 주소와 크기는 사용 중인 보드의 bdinfo, map과 linker symbol을 대입한다.
긴 호출 목록은 함수 이름이 아니라 다음 구간이 요구하는 상태를 생산하는 순서로 읽는다.
화살표 왼쪽 함수가 값을 채우고 오른쪽 함수가 그 값을 사용한다.
setup_mon_len→gd->mon_len→reserve_ubootdram_init→gd->ram_size→setup_dest_addrsetup_dest_addr→gd->start_addr_sp→reserve_*reserve_global_data→new gd 주소→relocate_codereserve_fdt→boardf.new_fdt→reloc_fdtsetup_reloc→gd->reloc_off→relocation fixupUPSTREAM SOURCE
원본 코드
아래 코드는 U-Boot v2026.07의 common/board_f.c에서 1007-1095줄을 그대로 가져온 것이다. 설명을 위해 실제 코드를 가짜 의사 코드로 바꾸지 않았다.
1007#endif
1008 INITCALL(reloc_bootstage);
1009 INITCALL(reloc_bloblist);
1010 INITCALL(setup_reloc);
1011#if CONFIG_IS_ENABLED(X86) || CONFIG_IS_ENABLED(ARC)
1012 INITCALL(copy_uboot_to_ram);
1013 INITCALL(do_elf_reloc_fixups);
1014#endif
1015 INITCALL(clear_bss);
1016 /*
1017 * Deregister all cyclic functions before relocation, so that
1018 * gd->cyclic_list does not contain any references to pre-relocation
1019 * devices. Drivers will register their cyclic functions anew when the
1020 * devices are probed again.
1021 *
1022 * This should happen as late as possible so that the window where a
1023 * watchdog device is not serviced is as small as possible.
1024 */
1025 INITCALL(cyclic_unregister_all);
1026#if !CONFIG_IS_ENABLED(ARM) && !CONFIG_IS_ENABLED(SANDBOX)
1027 INITCALL(jump_to_copy);
1028#endif
1029}
1030
1031void board_init_f(ulong boot_flags)
1032{
1033 struct board_f boardf;
1034
1035 gd->flags = boot_flags;
1036 gd->flags &= ~GD_FLG_HAVE_CONSOLE;
1037 gd->boardf = &boardf;
1038
1039 initcall_run_f();
1040
1041#if !defined(CONFIG_ARM) && !defined(CONFIG_SANDBOX) && \
1042 !defined(CONFIG_EFI_APP) && !CONFIG_IS_ENABLED(X86_64) && \
1043 !defined(CONFIG_ARC)
1044 /* NOTREACHED - jump_to_copy() does not return */
1045 hang();
1046#endif
1047}
1048
1049#if defined(CONFIG_X86) || defined(CONFIG_ARC)
1050/*
1051 * For now this code is only used on x86.
1052 *
1053 * Run init functions which are run when U-Boot is executing from Flash with a
1054 * semi-limited 'C' environment.
1055 * The following limitations must be considered when implementing an
1056 * '_f_r' function:
1057 * - 'static' variables are read-only
1058 * - Global Data (gd->xxx) is read/write
1059 *
1060 * The '_f_r' sequence must, as a minimum, copy U-Boot to RAM (if
1061 * supported). It _should_, if possible, copy global data to RAM and
1062 * initialise the CPU caches (to speed up the relocation process)
1063 *
1064 * NOTE: At present only x86 uses this route, but it is intended that
1065 * all archs will move to this when generic relocation is implemented.
1066 */
1067static void initcall_run_f_r(void)
1068{
1069#if !CONFIG_IS_ENABLED(X86_64)
1070 INITCALL(init_cache_f_r);
1071#endif
1072}
1073
1074void board_init_f_r(void)
1075{
1076 initcall_run_f_r();
1077
1078 /*
1079 * The pre-relocation drivers may be using memory that has now gone
1080 * away. Mark serial as unavailable - this will fall back to the debug
1081 * UART if available.
1082 *
1083 * Do the same with log drivers since the memory may not be available.
1084 */
1085 gd->flags &= ~(GD_FLG_SERIAL_READY | GD_FLG_LOG_READY);
1086#ifdef CONFIG_TIMER
1087 gd->timer = NULL;
1088#endif
1089
1090 /*
1091 * U-Boot has been copied into SDRAM, the BSS has been cleared etc.
1092 * Transfer execution from Flash to RAM by calculating the address
1093 * of the in-RAM copy of board_init_r() and calling it
1094 */
1095 (board_init_r + gd->reloc_off)((gd_t *)gd, gd->relocaddr);
LINE BY LINE
1007-1095줄 해설
원본에 보이는 모든 줄을 순서대로 설명한다. 빈 줄도 block 경계로 남겨, 코드와 설명의 위치가 어긋나지 않게 했다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(reloc_bootstage);reloc_bootstage()을 실행한다. bootstage 기록을 새 buffer로 옮겨 relocation 전 timestamp를 보존한다.
INITCALL(reloc_bloblist);reloc_bloblist()을 실행한다. bloblist를 예약된 DRAM 위치로 옮기고 header·entry pointer를 새 주소 체계에 맞춘다.
INITCALL(setup_reloc);setup_reloc()을 실행한다. 현재 image 주소와 목적 주소의 차이인 relocation offset을 계산하고 새 gd에 필요한 relocation metadata를 확정한다.
#if CONFIG_IS_ENABLED(X86) || CONFIG_IS_ENABLED(ARC)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(copy_uboot_to_ram);copy_uboot_to_ram()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(do_elf_reloc_fixups);do_elf_reloc_fixups()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(clear_bss);clear_bss()을 실행한다. configuration과 architecture가 요구하는 시점에 BSS를 0으로 만든다. 아직 필요한 pre-relocation 임시 상태가 BSS에 남아 있지 않아야 한다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Deregister all cyclic functions before relocation, so that원본 주석이 'Deregister all cyclic functions before relocation, so that'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* gd->cyclic_list does not contain any references to pre-relocation원본 주석이 'gd->cyclic_list does not contain any references to pre-relocation'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* devices. Drivers will register their cyclic functions anew when the원본 주석이 'devices. Drivers will register their cyclic functions anew when the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* devices are probed again.원본 주석이 'devices are probed again.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* This should happen as late as possible so that the window where a원본 주석이 'This should happen as late as possible so that the window where a'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* watchdog device is not serviced is as small as possible.원본 주석이 'watchdog device is not serviced is as small as possible.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
INITCALL(cyclic_unregister_all);cyclic_unregister_all()을 실행한다. relocation 전 device 주소를 품은 cyclic callback을 제거한다. 새 주소에서 device가 probe될 때 다시 등록된다.
#if !CONFIG_IS_ENABLED(ARM) && !CONFIG_IS_ENABLED(SANDBOX)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(jump_to_copy);jump_to_copy()을 실행한다. 새 image 주소로 제어를 비복귀 전달한다. 이 호출이 정상 반환하면 바로 뒤의 hang 경로가 실행된다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
}현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.
(빈 줄)}까지의 동작과 void board_init_f(ulong boot_flags)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
void board_init_f(ulong boot_flags)relocation 전 C 초기화 단계의 진입점이다. ARM64에서는 초기 stack과 gd가 준비된 뒤 _main이 호출하며, 이 함수가 반환하면 architecture assembly가 실제 relocation을 계속한다.
{바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 gd_t / struct board_f / initcall_run_f()의 수명에 맞춰 묶어 읽는다.
struct board_f boardf;relocation 계산에만 쓰는 지역 객체를 현재 stack에 만든다. new_fdt, fdt_size, new_bootstage, new_bloblist를 보관하며 board_init_f()가 끝난 뒤에는 수명이 끝난다.
(빈 줄)struct board_f boardf;까지의 동작과 gd->flags = boot_flags;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
gd->flags = boot_flags;이전 stage가 전달한 부트 상태를 global data에 복사한다. 이후 initcall들이 공통으로 읽기 때문에 다른 필드보다 먼저 게시한다.
gd->flags &= ~GD_FLG_HAVE_CONSOLE;console core가 아직 사용 가능하지 않음을 명시한다. serial hardware의 물리 상태와 별개이며 serial_init()과 console_init_f() 전의 잘못된 출력 경로를 막는다.
gd->boardf = &boardf;여러 reserve/relocation 함수가 같은 임시 장부를 쓰도록 주소를 gd에 연결한다. 지역 객체 주소이므로 relocation 이후까지 보존해서는 안 된다.
(빈 줄)gd->boardf = &boardf;까지의 동작과 initcall_run_f();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
initcall_run_f();실제 초기화 정책으로 들어간다. 이 호출 안에서 CPU·timer·console·DRAM 초기화와 top-down 예약이 순서대로 실행되며, 어느 하나라도 0이 아닌 값을 반환하면 hang()으로 끝난다.
(빈 줄)initcall_run_f();까지의 동작과 #if !defined(CONFIG_ARM) && !defined(CONFIG_SANDBOX) && \에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
#if !defined(CONFIG_ARM) && !defined(CONFIG_SANDBOX) && \#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_ARM, CONFIG_SANDBOX이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
!defined(CONFIG_EFI_APP) && !CONFIG_IS_ENABLED(X86_64) && \CONFIG_IS_ENABLED(X86_64)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
!defined(CONFIG_ARC)defined(CONFIG_ARC)를 호출한다. 반환 결과는 현재 줄 또는 다음 /* NOTREACHED - jump_to_copy() does not return */에서 검사되는 흐름이다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
/* NOTREACHED - jump_to_copy() does not return */목록 안에서 jump_to_copy()를 실행하는 architecture는 정상 경로가 여기로 돌아오지 않는다는 설명이다. ARM과 sandbox 등은 별도의 반환·relocation 경로를 사용하므로 전처리 조건에서 제외된다.
hang();비복귀 relocation 함수가 예상과 달리 반환했을 때 더 진행하지 않도록 정지한다. 이 줄에 도달했다면 단순 initcall 실패가 아니라 architecture handoff 계약이 깨진 것이다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
}현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.
(빈 줄)}까지의 동작과 #if defined(CONFIG_X86) || defined(CONFIG_ARC)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
#if defined(CONFIG_X86) || defined(CONFIG_ARC)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_X86, CONFIG_ARC이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* For now this code is only used on x86.원본 주석이 'For now this code is only used on x86.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Run init functions which are run when U-Boot is executing from Flash with a원본 주석이 'Run init functions which are run when U-Boot is executing from Flash with a'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* semi-limited 'C' environment.원본 주석이 'semi-limited 'C' environment.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* The following limitations must be considered when implementing an원본 주석이 'The following limitations must be considered when implementing an'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* '_f_r' function:원본 주석이 ''_f_r' function:'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - 'static' variables are read-only원본 주석이 '- 'static' variables are read-only'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - Global Data (gd->xxx) is read/write원본 주석이 '- Global Data (gd->xxx) is read/write'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* The '_f_r' sequence must, as a minimum, copy U-Boot to RAM (if원본 주석이 'The '_f_r' sequence must, as a minimum, copy U-Boot to RAM (if'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* supported). It _should_, if possible, copy global data to RAM and원본 주석이 'supported). It _should_, if possible, copy global data to RAM and'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* initialise the CPU caches (to speed up the relocation process)원본 주석이 'initialise the CPU caches (to speed up the relocation process)'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* NOTE: At present only x86 uses this route, but it is intended that원본 주석이 'NOTE: At present only x86 uses this route, but it is intended that'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* all archs will move to this when generic relocation is implemented.원본 주석이 'all archs will move to this when generic relocation is implemented.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
static void initcall_run_f_r(void)initcall_run_f_r 함수 정의가 시작된다. 입력은 void이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.
{바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 gd_t / struct board_f / initcall_run_f()의 수명에 맞춰 묶어 읽는다.
#if !CONFIG_IS_ENABLED(X86_64)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(init_cache_f_r);init_cache_f_r()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
}현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.
(빈 줄)}까지의 동작과 void board_init_f_r(void)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
void board_init_f_r(void)board_init_f_r 함수 정의가 시작된다. 입력은 void이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.
{바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 gd_t / struct board_f / initcall_run_f()의 수명에 맞춰 묶어 읽는다.
initcall_run_f_r();initcall_run_f_r(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
(빈 줄)initcall_run_f_r();까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* The pre-relocation drivers may be using memory that has now gone원본 주석이 'The pre-relocation drivers may be using memory that has now gone'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* away. Mark serial as unavailable - this will fall back to the debug원본 주석이 'away. Mark serial as unavailable - this will fall back to the debug'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* UART if available.원본 주석이 'UART if available.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Do the same with log drivers since the memory may not be available.원본 주석이 'Do the same with log drivers since the memory may not be available.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
gd->flags &= ~(GD_FLG_SERIAL_READY | GD_FLG_LOG_READY);gd->flags에 ~(GD_FLG_SERIAL_READY | GD_FLG_LOG_READY)를 &= 연산으로 반영해 gd_t / struct board_f / initcall_run_f()와 연결된 field를 갱신한다. 이후 relocation return 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.
#ifdef CONFIG_TIMER#ifdef 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_TIMER이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
gd->timer = NULL;gd->timer에 NULL를 = 연산으로 반영해 gd_t / struct board_f / initcall_run_f()와 연결된 field를 갱신한다. 이후 relocation return 단계가 이 값을 처음 소비하는 지점을 찾는다. 실패 경로가 이 field를 이전 값으로 되돌리거나 객체 전체를 폐기하는지도 확인한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
(빈 줄)#endif까지의 동작과 /*에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* U-Boot has been copied into SDRAM, the BSS has been cleared etc.원본 주석이 'U-Boot has been copied into SDRAM, the BSS has been cleared etc.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Transfer execution from Flash to RAM by calculating the address원본 주석이 'Transfer execution from Flash to RAM by calculating the address'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* of the in-RAM copy of board_init_r() and calling it원본 주석이 'of the in-RAM copy of board_init_r() and calling it'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
(board_init_r + gd->reloc_off)((gd_t *)gd, gd->relocaddr);원본 1095번 줄의 (board_init_r + gd->reloc_off)((gd_t *)gd, gd->relocaddr);는 앞의 */ 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
RELATED SOURCE
함께 읽어야 하는 원본 코드
첫 코드 조각만으로 동작이 완성되지 않는 경우 호출 매크로, 객체 정의와 실제 실행 목록을 같은 페이지에 묶었다. 각 조각은 같은 기준 commit에서 가져왔다.
01. INITCALL과 INITCALL_EVT의 실제 실패 처리
include/initcall.h 15-42줄이다.
15#define INITCALL(_call) \
16 do { \
17 if (_call()) { \
18 printf("%s(): initcall %s() failed\n", __func__, \
19 #_call); \
20 hang(); \
21 } \
22 } while (0)
23
24#define INITCALL_EVT(_evt) \
25 do { \
26 if (event_notify_null(_evt)) { \
27 printf("%s(): event %d/%s failed\n", __func__, _evt, \
28 event_type_name(_evt)) ; \
29 hang(); \
30 } \
31 } while (0)
32
33#if defined(CONFIG_WATCHDOG) || defined(CONFIG_HW_WATCHDOG)
34#define WATCHDOG_INIT() INITCALL(init_func_watchdog_init)
35#define WATCHDOG_RESET() INITCALL(init_func_watchdog_reset)
36#else
37#define WATCHDOG_INIT()
38#define WATCHDOG_RESET()
39#endif
40
41#endif
42
15-42줄 해설
#define INITCALL(_call) \#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
do { \원본 16번 줄의 do { \는 앞의 #define INITCALL(_call) \ 결과를 받아 다음 if (_call()) { \로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
if (_call()) { \_call())를 호출한다. 반환 결과는 현재 줄 또는 다음 printf("%s(): initcall %s() failed\n", __func__, \에서 검사되는 흐름이다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DRAM 발견과 상단 예약 항목과 대조한다.
printf("%s(): initcall %s() failed\n", __func__, \s(): initcall %s()를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
#_call); \#_call); 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
hang(); \hang(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
} \원본 21번 줄의 } \는 앞의 hang(); \ 결과를 받아 다음 } while (0)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
} while (0)원본 22번 줄의 } while (0)는 앞의 } \ 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
(빈 줄)} while (0)까지의 동작과 #define INITCALL_EVT(_evt) \에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
#define INITCALL_EVT(_evt) \#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
do { \원본 25번 줄의 do { \는 앞의 #define INITCALL_EVT(_evt) \ 결과를 받아 다음 if (event_notify_null(_evt)) { \로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
if (event_notify_null(_evt)) { \event_notify_null(_evt))를 호출한다. 반환 결과는 현재 줄 또는 다음 printf("%s(): event %d/%s failed\n", __func__, _evt, \에서 검사되는 흐름이다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
printf("%s(): event %d/%s failed\n", __func__, _evt, \s(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
event_type_name(_evt)) ; \event_type_name(_evt))를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
hang(); \hang(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
} \원본 30번 줄의 } \는 앞의 hang(); \ 결과를 받아 다음 } while (0)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
} while (0)원본 31번 줄의 } while (0)는 앞의 } \ 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다' 조건이 유지되는지 확인한다.
(빈 줄)} while (0)까지의 동작과 #if defined(CONFIG_WATCHDOG) || defined(CONFIG_HW_WATCHDOG)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
#if defined(CONFIG_WATCHDOG) || defined(CONFIG_HW_WATCHDOG)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_WATCHDOG, CONFIG_HW_WATCHDOG이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#define WATCHDOG_INIT() INITCALL(init_func_watchdog_init)#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#define WATCHDOG_RESET() INITCALL(init_func_watchdog_reset)#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#else#else 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#define WATCHDOG_INIT()#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#define WATCHDOG_RESET()#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
(빈 줄)#endif까지의 동작과 #endif에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
(빈 줄)#endif까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
02. relocation 전용 struct board_f의 필드와 수명
include/board_f.h 8-36줄이다.
8#define __BOARD_F
9
10/**
11 * struct board_f: Information used only before relocation
12 *
13 * This struct is set up in board_init_f() and used to deal with relocation. It
14 * is not available after relocation.
15 */
16struct board_f {
17 /**
18 * @new_fdt: relocated device tree
19 */
20 void *new_fdt;
21 /**
22 * @fdt_size: space reserved for relocated device space
23 */
24 unsigned long fdt_size;
25 /**
26 * @new_bootstage: relocated boot stage information
27 */
28 struct bootstage_data *new_bootstage;
29 /**
30 * @new_bloblist: relocated blob list information
31 */
32 struct bloblist_hdr *new_bloblist;
33};
34
35#endif
36
8-36줄 해설
#define __BOARD_F#define 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
(빈 줄)#define __BOARD_F까지의 동작과 /**에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 CPU·timer·console 준비 상태가 아래 블록의 입력으로 사용되는 경계다.
/**원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* struct board_f: Information used only before relocation원본 주석이 'struct board_f: Information used only before relocation'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* This struct is set up in board_init_f() and used to deal with relocation. It원본 주석이 'This struct is set up in board_init_f() and used to deal with relocation. It'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* is not available after relocation.원본 주석이 'is not available after relocation.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
struct board_f {struct board_f {를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 gd_t / struct board_f / initcall_run_f()를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.
/**원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* @new_fdt: relocated device tree원본 주석이 '@new_fdt: relocated device tree'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
void *new_fdt;void *new_fdt를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 gd_t / struct board_f / initcall_run_f()를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.
/**원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* @fdt_size: space reserved for relocated device space원본 주석이 '@fdt_size: space reserved for relocated device space'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
unsigned long fdt_size;unsigned long fdt_size를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 gd_t / struct board_f / initcall_run_f()를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.
/**원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* @new_bootstage: relocated boot stage information원본 주석이 '@new_bootstage: relocated boot stage information'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
struct bootstage_data *new_bootstage;struct bootstage_data *new_bootstage를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 gd_t / struct board_f / initcall_run_f()를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.
/**원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* @new_bloblist: relocated blob list information원본 주석이 '@new_bloblist: relocated blob list information'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
struct bloblist_hdr *new_bloblist;struct bloblist_hdr *new_bloblist를 선언한다. 함수 안 선언이면 현재 stack frame, file scope와 static이면 image의 data/BSS에 놓인다. 이 값이 gd_t / struct board_f / initcall_run_f()를 직접 소유하는지 pointer만 빌리는지, 부트 CPU의 동기 실행 문맥를 벗어난 뒤에도 참조되는지 다음 대입과 callback 등록까지 따라간다.
};현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.
(빈 줄)};까지의 동작과 #endif에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
(빈 줄)#endif까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
03. initcall_run_f 전체 순서
common/board_f.c 879-1030줄이다.
879static void initcall_run_f(void)
880{
881 /*
882 * Please do not add logic to this function (variables, if (), etc.).
883 * For simplicity it should remain an ordered list of function calls.
884 */
885 INITCALL(setup_mon_len);
886#if CONFIG_IS_ENABLED(OF_CONTROL)
887 INITCALL(fdtdec_setup);
888#endif
889#if CONFIG_IS_ENABLED(TRACE_EARLY)
890 INITCALL(trace_early_init);
891#endif
892 INITCALL(initf_malloc);
893 INITCALL(initf_upl);
894 INITCALL(log_init);
895 INITCALL(initf_bootstage); /* uses its own timer, so does not need DM */
896 INITCALL(event_init);
897 INITCALL(bloblist_maybe_init);
898 INITCALL(setup_spl_handoff);
899#if CONFIG_IS_ENABLED(CONSOLE_RECORD_INIT_F)
900 INITCALL(console_record_init);
901#endif
902 INITCALL_EVT(EVT_FSP_INIT_F);
903 INITCALL(arch_cpu_init); /* basic arch cpu dependent setup */
904 INITCALL(mach_cpu_init); /* SoC/machine dependent CPU setup */
905 INITCALL(initf_dm);
906#if CONFIG_IS_ENABLED(BOARD_EARLY_INIT_F)
907 INITCALL(board_early_init_f);
908#endif
909#if defined(CONFIG_PPC) || defined(CONFIG_SYS_FSL_CLK) || defined(CONFIG_M68K)
910 /* get CPU and bus clocks according to the environment variable */
911 INITCALL(get_clocks); /* get CPU and bus clocks (etc.) */
912#endif
913#if !defined(CONFIG_M68K) || (defined(CONFIG_M68K) && !defined(CONFIG_MCFTMR))
914 INITCALL(timer_init); /* initialize timer */
915#endif
916#if CONFIG_IS_ENABLED(BOARD_POSTCLK_INIT)
917 INITCALL(board_postclk_init);
918#endif
919 INITCALL(env_init); /* initialize environment */
920 INITCALL(init_baud_rate); /* initialze baudrate settings */
921 INITCALL(serial_init); /* serial communications setup */
922 INITCALL(console_init_f); /* stage 1 init of console */
923 INITCALL(display_options); /* say that we are here */
924 INITCALL(display_text_info); /* show debugging info if required */
925 INITCALL(checkcpu);
926#if CONFIG_IS_ENABLED(SYSRESET)
927 INITCALL(print_resetinfo);
928#endif
929 /* display cpu info (and speed) */
930#if CONFIG_IS_ENABLED(DISPLAY_CPUINFO)
931 INITCALL(print_cpuinfo);
932#endif
933#if CONFIG_IS_ENABLED(DTB_RESELECT)
934 INITCALL(embedded_dtb_select);
935#endif
936#if CONFIG_IS_ENABLED(DISPLAY_BOARDINFO)
937 INITCALL(show_board_info);
938#endif
939 WATCHDOG_INIT();
940 INITCALL_EVT(EVT_MISC_INIT_F);
941 WATCHDOG_RESET();
942#if CONFIG_IS_ENABLED(SYS_I2C_LEGACY)
943 INITCALL(init_func_i2c);
944#endif
945 INITCALL(announce_dram_init);
946 INITCALL(dram_init); /* configure available RAM banks */
947#if CONFIG_IS_ENABLED(POST)
948 INITCALL(post_init_f);
949#endif
950 WATCHDOG_RESET();
951#if defined(CFG_SYS_DRAM_TEST)
952 INITCALL(testdram);
953#endif /* CFG_SYS_DRAM_TEST */
954 WATCHDOG_RESET();
955#if CONFIG_IS_ENABLED(POST)
956 INITCALL(init_post);
957#endif
958 WATCHDOG_RESET();
959 /*
960 * Now that we have DRAM mapped and working, we can
961 * relocate the code and continue running from DRAM.
962 *
963 * Reserve memory at end of RAM for (top down in that order):
964 * - area that won't get touched by U-Boot and Linux (optional)
965 * - kernel log buffer
966 * - protected RAM
967 * - LCD framebuffer
968 * - monitor code
969 * - board info struct
970 */
971 INITCALL(setup_dest_addr);
972#if CONFIG_IS_ENABLED(OF_BOARD_FIXUP) && \
973 !CONFIG_IS_ENABLED(OF_INITIAL_DTB_READONLY)
974 INITCALL(fix_fdt);
975#endif
976#ifdef CFG_PRAM
977 INITCALL(reserve_pram);
978#endif
979 INITCALL(reserve_round_4k);
980 INITCALL(setup_relocaddr_from_bloblist);
981 INITCALL(arch_reserve_mmu);
982 INITCALL(reserve_video);
983 INITCALL(reserve_trace);
984 INITCALL(reserve_uboot);
985 INITCALL(reserve_malloc);
986 INITCALL(reserve_board);
987 INITCALL(reserve_global_data);
988 INITCALL(reserve_fdt);
989#if CONFIG_IS_ENABLED(OF_BOARD_FIXUP) && \
990 CONFIG_IS_ENABLED(OF_INITIAL_DTB_READONLY)
991 INITCALL(reloc_fdt);
992 INITCALL(fix_fdt);
993#endif
994 INITCALL(reserve_bootstage);
995 INITCALL(reserve_bloblist);
996 INITCALL(reserve_arch);
997 INITCALL(reserve_stacks);
998 INITCALL(dram_init_banksize);
999 INITCALL(show_dram_config);
1000 WATCHDOG_RESET();
1001 INITCALL(setup_bdinfo);
1002 INITCALL(display_new_sp);
1003 WATCHDOG_RESET();
1004#if !CONFIG_IS_ENABLED(OF_BOARD_FIXUP) || \
1005 !CONFIG_IS_ENABLED(INITIAL_DTB_READONLY)
1006 INITCALL(reloc_fdt);
1007#endif
1008 INITCALL(reloc_bootstage);
1009 INITCALL(reloc_bloblist);
1010 INITCALL(setup_reloc);
1011#if CONFIG_IS_ENABLED(X86) || CONFIG_IS_ENABLED(ARC)
1012 INITCALL(copy_uboot_to_ram);
1013 INITCALL(do_elf_reloc_fixups);
1014#endif
1015 INITCALL(clear_bss);
1016 /*
1017 * Deregister all cyclic functions before relocation, so that
1018 * gd->cyclic_list does not contain any references to pre-relocation
1019 * devices. Drivers will register their cyclic functions anew when the
1020 * devices are probed again.
1021 *
1022 * This should happen as late as possible so that the window where a
1023 * watchdog device is not serviced is as small as possible.
1024 */
1025 INITCALL(cyclic_unregister_all);
1026#if !CONFIG_IS_ENABLED(ARM) && !CONFIG_IS_ENABLED(SANDBOX)
1027 INITCALL(jump_to_copy);
1028#endif
1029}
1030
879-1030줄 해설
static void initcall_run_f(void)initcall_run_f 함수 정의가 시작된다. 입력은 void이며, 부트 CPU의 동기 실행 문맥에서 호출된다는 전제로 반환 전까지의 상태 변화를 읽는다.
{바로 위 함수·조건·초기화의 block이 열린다. 이 scope 안에서 만들어지는 지역 객체와 오류 이동 지점을 gd_t / struct board_f / initcall_run_f()의 수명에 맞춰 묶어 읽는다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Please do not add logic to this function (variables, if (), etc.).원본 주석이 'Please do not add logic to this function (variables, if (), etc.).'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* For simplicity it should remain an ordered list of function calls.원본 주석이 'For simplicity it should remain an ordered list of function calls.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
INITCALL(setup_mon_len);setup_mon_len()을 실행한다. 현재 image의 text·data·BSS 범위를 이용해 monitor 길이를 계산한다. 뒤의 reserve_uboot()가 이 값을 DRAM에서 차감한다.
#if CONFIG_IS_ENABLED(OF_CONTROL)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(fdtdec_setup);fdtdec_setup()을 실행한다. control FDT를 선택하고 최소 접근 경로를 준비한다. 이후 driver model과 board 정보 함수가 이 tree를 읽는다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#if CONFIG_IS_ENABLED(TRACE_EARLY)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(trace_early_init);trace_early_init()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(initf_malloc);initf_malloc()을 실행한다. relocation 전에만 쓰는 제한된 early malloc 영역을 연다. 이 시점의 allocation을 runtime heap 객체처럼 넘겨서는 안 된다.
INITCALL(initf_upl);initf_upl()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(log_init);log_init()을 실행한다. 초기 log category와 기록 경로를 준비한다. console이 열리기 전의 기록이 실제 출력으로 이어지는지는 설정에 따라 다르다.
INITCALL(initf_bootstage); /* uses its own timer, so does not need DM */initf_bootstage()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(event_init);event_init()을 실행한다. event subsystem의 목록을 초기화한다. 이 호출보다 앞에서 일반 event notify를 사용하면 등록 기반이 없다.
INITCALL(bloblist_maybe_init);bloblist_maybe_init()을 실행한다. 이전 stage가 넘긴 bloblist를 검증하거나 새 목록을 만든다. handoff metadata의 주소와 총 길이가 여기서 확정된다.
INITCALL(setup_spl_handoff);setup_spl_handoff()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#if CONFIG_IS_ENABLED(CONSOLE_RECORD_INIT_F)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(console_record_init);console_record_init()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL_EVT(EVT_FSP_INIT_F);INITCALL_EVT(EVT_FSP_INIT_F)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
INITCALL(arch_cpu_init); /* basic arch cpu dependent setup */arch_cpu_init()을 실행한다. architecture 공통 CPU 저수준 설정을 수행한다. system register, cache 또는 exception 상태의 전제가 바뀌는 경계다.
INITCALL(mach_cpu_init); /* SoC/machine dependent CPU setup */mach_cpu_init()을 실행한다. SoC·machine별 CPU와 interconnect 설정을 수행한다. board 코드보다 앞서 공통 hardware 접근 기반을 만든다.
INITCALL(initf_dm);initf_dm()을 실행한다. pre-relocation driver model을 초기화한다. 이후 DM_FLAG_PRE_RELOC 대상 장치를 bind·probe할 기반이 생긴다.
#if CONFIG_IS_ENABLED(BOARD_EARLY_INIT_F)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(board_early_init_f);board_early_init_f()을 실행한다. board 전용 pinmux, clock, GPIO 같은 최소 설정을 수행한다. DRAM과 일반 device probe보다 이른 문맥이라는 제한이 있다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#if defined(CONFIG_PPC) || defined(CONFIG_SYS_FSL_CLK) || defined(CONFIG_M68K)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_PPC, CONFIG_SYS_FSL_CLK, CONFIG_M68K이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
/* get CPU and bus clocks according to the environment variable */원본 주석이 'get CPU and bus clocks according to the environment variable'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
INITCALL(get_clocks); /* get CPU and bus clocks (etc.) */get_clocks()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#if !defined(CONFIG_M68K) || (defined(CONFIG_M68K) && !defined(CONFIG_MCFTMR))#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_M68K, CONFIG_MCFTMR이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(timer_init); /* initialize timer */timer_init()을 실행한다. delay와 timestamp가 사용할 timer를 연다. 뒤의 polling timeout과 성능 측정이 이 시점부터 의미를 가진다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#if CONFIG_IS_ENABLED(BOARD_POSTCLK_INIT)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(board_postclk_init);board_postclk_init()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(env_init); /* initialize environment */env_init()을 실행한다. environment backend를 완전히 읽기보다 접근 방법과 초기 상태를 준비한다. storage driver 준비 여부에 따라 default 환경만 사용할 수 있다.
INITCALL(init_baud_rate); /* initialze baudrate settings */init_baud_rate()을 실행한다. 설정과 기본값에서 baud rate를 골라 global data에 기록한다. serial_init()이 이 값을 소비한다.
INITCALL(serial_init); /* serial communications setup */serial_init()을 실행한다. 선택된 UART hardware와 driver를 초기화한다. 아직 console routing의 완료와는 구분해야 한다.
INITCALL(console_init_f); /* stage 1 init of console */console_init_f()을 실행한다. 초기 console 경로를 공개하고 GD_FLG_HAVE_CONSOLE을 유효하게 만든다. 이후 INITCALL 오류 메시지의 관찰 가능성이 달라진다.
INITCALL(display_options); /* say that we are here */display_options()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(display_text_info); /* show debugging info if required */display_text_info()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(checkcpu);checkcpu()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#if CONFIG_IS_ENABLED(SYSRESET)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(print_resetinfo);print_resetinfo()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
/* display cpu info (and speed) */원본 주석이 'display cpu info (and speed)'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
#if CONFIG_IS_ENABLED(DISPLAY_CPUINFO)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(print_cpuinfo);print_cpuinfo()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#if CONFIG_IS_ENABLED(DTB_RESELECT)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(embedded_dtb_select);embedded_dtb_select()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#if CONFIG_IS_ENABLED(DISPLAY_BOARDINFO)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(show_board_info);show_board_info()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
WATCHDOG_INIT();WATCHDOG_INIT(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
INITCALL_EVT(EVT_MISC_INIT_F);INITCALL_EVT(EVT_MISC_INIT_F)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
WATCHDOG_RESET();WATCHDOG_RESET(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
#if CONFIG_IS_ENABLED(SYS_I2C_LEGACY)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(init_func_i2c);init_func_i2c()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(announce_dram_init);announce_dram_init()을 실행한다. DRAM 초기화 시작을 사용자에게 알리는 표시 단계다. 실제 controller 설정이나 RAM 크기 확정은 다음 dram_init()의 책임이다.
INITCALL(dram_init); /* configure available RAM banks */dram_init()을 실행한다. 사용 가능한 DRAM 크기와 기본 topology를 gd에 기록한다. 이 값이 확정되어야 relocation 목적지와 예약 주소를 계산할 수 있다.
#if CONFIG_IS_ENABLED(POST)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(post_init_f);post_init_f()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
WATCHDOG_RESET();WATCHDOG_RESET(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
#if defined(CFG_SYS_DRAM_TEST)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(testdram);testdram()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif /* CFG_SYS_DRAM_TEST */#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
WATCHDOG_RESET();WATCHDOG_RESET(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
#if CONFIG_IS_ENABLED(POST)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(init_post);init_post()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
WATCHDOG_RESET();WATCHDOG_RESET(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Now that we have DRAM mapped and working, we can원본 주석이 'Now that we have DRAM mapped and working, we can'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* relocate the code and continue running from DRAM.원본 주석이 'relocate the code and continue running from DRAM.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Reserve memory at end of RAM for (top down in that order):원본 주석이 'Reserve memory at end of RAM for (top down in that order):'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - area that won't get touched by U-Boot and Linux (optional)원본 주석이 '- area that won't get touched by U-Boot and Linux (optional)'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - kernel log buffer원본 주석이 '- kernel log buffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - protected RAM원본 주석이 '- protected RAM'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - LCD framebuffer원본 주석이 '- LCD framebuffer'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - monitor code원본 주석이 '- monitor code'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* - board info struct원본 주석이 '- board info struct'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
INITCALL(setup_dest_addr);setup_dest_addr()을 실행한다. RAM top, monitor 길이, 제한 주소를 조합해 top-down 예약의 시작점을 정한다. 이후 reserve 함수들이 같은 cursor를 차례로 낮춘다.
#if CONFIG_IS_ENABLED(OF_BOARD_FIXUP) && \#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
!CONFIG_IS_ENABLED(OF_INITIAL_DTB_READONLY)CONFIG_IS_ENABLED(OF_INITIAL_DTB_READONLY)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
INITCALL(fix_fdt);fix_fdt()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
#ifdef CFG_PRAM#ifdef 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(reserve_pram);reserve_pram()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(reserve_round_4k);reserve_round_4k()을 실행한다. 현재 예약 cursor를 4 KiB 경계로 내림 정렬한다. 이 반올림으로 생긴 간격까지 포함해 이후 주소를 계산해야 한다.
INITCALL(setup_relocaddr_from_bloblist);setup_relocaddr_from_bloblist()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(arch_reserve_mmu);arch_reserve_mmu()을 실행한다. architecture page table 또는 MMU 전용 영역을 예약한다. table 정렬과 실제 enable 코드의 주소 계약이 일치해야 한다.
INITCALL(reserve_video);reserve_video()을 실행한다. framebuffer가 필요하면 DRAM 상단에서 연속 영역을 차감한다. 해상도·pixel format 변경은 뒤의 모든 예약 주소를 움직인다.
INITCALL(reserve_trace);reserve_trace()을 실행한다. trace buffer를 예약해 relocation 전후 기록이 덮이지 않게 한다. 설정이 꺼져 있으면 실질 차감 없이 통과한다.
INITCALL(reserve_uboot);reserve_uboot()을 실행한다. relocation될 U-Boot monitor image 크기를 DRAM에서 차감하고 정렬된 목적 주소를 만든다.
INITCALL(reserve_malloc);reserve_malloc()을 실행한다. relocation 이후 runtime malloc arena를 예약한다. TOTAL_MALLOC_LEN 변경은 stack과 FDT를 포함한 아래쪽 배치를 함께 이동시킨다.
INITCALL(reserve_board);reserve_board()을 실행한다. 새 struct bd_info가 놓일 공간을 예약한다. pointer를 게시하기 전에 주소만 확보하는 단계다.
INITCALL(reserve_global_data);reserve_global_data()을 실행한다. relocation 이후 사용할 새 gd_t 공간을 예약한다. 현재 register가 가리키는 pre-relocation gd와 구분해야 한다.
INITCALL(reserve_fdt);reserve_fdt()을 실행한다. 옮겨질 FDT의 실제 크기와 여유 공간을 반영해 목적 구간을 예약하고 board_f에 기록한다.
#if CONFIG_IS_ENABLED(OF_BOARD_FIXUP) && \#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
CONFIG_IS_ENABLED(OF_INITIAL_DTB_READONLY)CONFIG_IS_ENABLED(OF_INITIAL_DTB_READONLY)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
INITCALL(reloc_fdt);reloc_fdt()을 실행한다. 원래 FDT를 예약한 목적 buffer로 복사하고 active FDT pointer를 새 주소로 바꾼다.
INITCALL(fix_fdt);fix_fdt()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(reserve_bootstage);reserve_bootstage()을 실행한다. bootstage 기록을 relocation 뒤에도 유지하기 위한 새 buffer를 예약한다.
INITCALL(reserve_bloblist);reserve_bloblist()을 실행한다. handoff bloblist 전체를 옮길 구간을 예약한다. header가 선언한 total size와 목적 buffer 크기를 대조해야 한다.
INITCALL(reserve_arch);reserve_arch()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(reserve_stacks);reserve_stacks()을 실행한다. 새 runtime stack과 architecture별 추가 stack을 예약한다. 최종 SP 정렬과 guard 여유를 확인한다.
INITCALL(dram_init_banksize);dram_init_banksize()을 실행한다. 단일 총량을 넘어 bank별 base와 size를 board info에 기록한다. Linux에 넘길 memory topology의 근거가 된다.
INITCALL(show_dram_config);show_dram_config()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
WATCHDOG_RESET();WATCHDOG_RESET(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
INITCALL(setup_bdinfo);setup_bdinfo()을 실행한다. 예약된 board info에 DRAM bank와 platform 정보를 채워 runtime 소비자가 읽을 수 있게 한다.
INITCALL(display_new_sp);display_new_sp()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
WATCHDOG_RESET();WATCHDOG_RESET(인자 없음)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
#if !CONFIG_IS_ENABLED(OF_BOARD_FIXUP) || \#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
!CONFIG_IS_ENABLED(INITIAL_DTB_READONLY)CONFIG_IS_ENABLED(INITIAL_DTB_READONLY)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 gd_t / struct board_f / initcall_run_f()의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 relocation 인자 항목과 대조한다.
INITCALL(reloc_fdt);reloc_fdt()을 실행한다. 원래 FDT를 예약한 목적 buffer로 복사하고 active FDT pointer를 새 주소로 바꾼다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(reloc_bootstage);reloc_bootstage()을 실행한다. bootstage 기록을 새 buffer로 옮겨 relocation 전 timestamp를 보존한다.
INITCALL(reloc_bloblist);reloc_bloblist()을 실행한다. bloblist를 예약된 DRAM 위치로 옮기고 header·entry pointer를 새 주소 체계에 맞춘다.
INITCALL(setup_reloc);setup_reloc()을 실행한다. 현재 image 주소와 목적 주소의 차이인 relocation offset을 계산하고 새 gd에 필요한 relocation metadata를 확정한다.
#if CONFIG_IS_ENABLED(X86) || CONFIG_IS_ENABLED(ARC)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(copy_uboot_to_ram);copy_uboot_to_ram()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
INITCALL(do_elf_reloc_fixups);do_elf_reloc_fixups()을 실행한다. 성공은 0 반환이며, 실패하면 INITCALL 매크로가 함수 이름을 남기고 hang()으로 진행을 중단한다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(clear_bss);clear_bss()을 실행한다. configuration과 architecture가 요구하는 시점에 BSS를 0으로 만든다. 아직 필요한 pre-relocation 임시 상태가 BSS에 남아 있지 않아야 한다.
/*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* Deregister all cyclic functions before relocation, so that원본 주석이 'Deregister all cyclic functions before relocation, so that'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* gd->cyclic_list does not contain any references to pre-relocation원본 주석이 'gd->cyclic_list does not contain any references to pre-relocation'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* devices. Drivers will register their cyclic functions anew when the원본 주석이 'devices. Drivers will register their cyclic functions anew when the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* devices are probed again.원본 주석이 'devices are probed again.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* This should happen as late as possible so that the window where a원본 주석이 'This should happen as late as possible so that the window where a'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
* watchdog device is not serviced is as small as possible.원본 주석이 'watchdog device is not serviced is as small as possible.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
*/원본 주석이 'block boundary'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.
INITCALL(cyclic_unregister_all);cyclic_unregister_all()을 실행한다. relocation 전 device 주소를 품은 cyclic callback을 제거한다. 새 주소에서 device가 probe될 때 다시 등록된다.
#if !CONFIG_IS_ENABLED(ARM) && !CONFIG_IS_ENABLED(SANDBOX)#if 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. 관련 설정은 CONFIG_IS_ENABLED이다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
INITCALL(jump_to_copy);jump_to_copy()을 실행한다. 새 image 주소로 제어를 비복귀 전달한다. 이 호출이 정상 반환하면 바로 뒤의 hang 경로가 실행된다.
#endif#endif 전처리 지시문으로 이 줄 아래의 code가 binary에 존재할지를 결정한다. architecture 또는 build stage 조건을 여닫는다. 현재 .config와 compiler의 -dD -E 출력에서 실제로 남은 branch를 확인한 뒤 line-by-line 흐름에 포함한다.
}현재 block, initializer 또는 호출의 경계를 닫는다. 이 지점까지 획득한 resource가 성공 경로와 실패 경로에서 대칭인지 점검한다.
(빈 줄)}까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 relocation 인자 상태가 아래 블록의 입력으로 사용되는 경계다.
DETAILS
내부 동작을 더 깊게 읽기
진입 조건을 먼저 고정한다
_main에서 들어온 실행은 부트 CPU의 동기 실행 문맥에 놓여 있다. 이때 interrupt, MMU/cache, stack, heap 중 무엇이 이미 준비되었는지 소스의 호출자까지 올라가 확인한다. 같은 함수라도 SPL, relocation 전후, app thread처럼 호출 문맥이 달라지면 허용되는 API와 지연 시간이 달라진다.
initcall_run_f()의 순서는 단순한 목록이 아니라 의존성 그래프를 일렬로 편 것이다. 한 호출을 옮길 때 그 함수가 읽는 gd 필드와 driver model, timer, console의 준비 여부를 먼저 확인한다.
중심 객체의 생성과 공개를 나눈다
이 글의 중심 객체는 gd_t / struct board_f / initcall_run_f()다. 메모리를 확보한 시점, 필드를 채운 시점, 전역 list나 다른 subsystem에 공개한 시점을 구분한다. 공개 뒤 오류가 발생한다면 목록에서 제거하고 child, buffer, reference를 역순으로 정리하는지 확인한다.
빌드 산출물 관점에서는 relocation 전 U-Boot text와 global data 안에 해당 symbol과 section이 실제로 포함되었는지도 map과 objdump로 검증한다.
주소, 크기와 정렬을 계산한다
부트 코드의 오류는 논리보다 주소 계산에서 먼저 드러나는 경우가 많다. source range, destination range, header가 말하는 payload size, block 또는 page 단위를 표로 적고 각 구간의 끝 주소를 직접 계산한다. 끝 주소는 start + size - 1인지 exclusive end인지 API 계약을 확인한다.
각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 INITCALL이 즉시 hang()으로 진입한다.
성공 flag와 실제 완료 시점을 맞춘다
board_init_f → initcall_run_f → DRAM discovery → top-down reservation 구간에서는 부분 초기화 상태가 생길 수 있다. flag, list insertion, callback 등록, storage write 완료 중 무엇이 성공의 기준인지 찾는다. hardware write나 DMA가 포함되면 함수 반환과 장치 완료가 같은 시점인지도 확인한다.
다른 CPU, interrupt handler, USB completion 또는 shell command가 상태를 관찰할 수 있다면 memory ordering과 lock 범위도 함께 읽는다.
마지막 handoff의 계약을 적는다
정상 경로는 relocation return에서 끝난다. 이 단계가 함수 반환인지, scheduler 전환인지, 다른 image로의 비복귀 분기인지 구분한다. 비복귀 handoff라면 cache clean/invalidate, interrupt disable, 장치 quiesce, argument register와 FDT 또는 image address가 최종 점검 항목이다.
반환하는 경로라면 caller가 오류와 부분 성공을 구분하고 다음 후보 또는 복구 경로를 선택하는지 확인한다.
IMPLEMENTATION NOTES
구현을 읽을 때 놓치기 쉬운 부분
board_init_f는 초기화 구현이 아니라 실행 순서를 여는 얇은 진입점이다
board_init_f() 자체에는 CPU clock, DRAM controller, serial driver를 직접 만지는 코드가 없다. 이 함수가 하는 일은 부트 플래그를 gd에 옮기고, 아직 console을 사용할 수 없음을 표시하고, relocation 전에만 필요한 struct board_f를 연결한 뒤 initcall_run_f()를 호출하는 것이다. 따라서 이 글을 함수 본문 19줄에서 끝내면 핵심을 놓친다. 실제 초기화 정책은 initcall_run_f()에 적힌 호출 순서에 있다.
호출 순서는 링크 시 수집되는 Linux initcall 표가 아니라 C 소스에 직접 나열된 목록이다. 전처리 결과에 따라 항목이 사라지므로 소스의 겉모양과 실제 binary의 순서는 다를 수 있다. 분석할 보드의 .config로 common/board_f.c를 전처리한 결과를 함께 봐야 한다.
boot_flags를 복사한 직후 console flag를 지우는 이유
gd->flags = boot_flags는 이전 stage가 넘긴 실행 조건을 보존한다. 바로 다음 줄의 gd->flags &= ~GD_FLG_HAVE_CONSOLE은 serial hardware가 반드시 꺼져 있다는 뜻이 아니라 U-Boot의 console 계층을 아직 호출 가능한 상태로 간주하지 않겠다는 선언이다. serial_init()과 console_init_f()가 끝나기 전에 이 비트를 남겨 두면 출력 함수가 준비되지 않은 console device를 따라갈 수 있다.
이 구간의 실패는 UART에 아무것도 남지 않을 수 있다. JTAG에서 PC를 보거나 GPIO 토글, SRAM trace buffer처럼 console에 의존하지 않는 관찰 수단이 필요하다. INITCALL의 오류 printf()도 console 초기화 전에는 화면에 보인다고 가정할 수 없다.
struct board_f는 relocation 전에만 유효한 임시 장부다
struct board_f boardf는 board_init_f()의 stack 지역 객체이고 gd->boardf가 그 주소를 가리킨다. 여기에는 새 FDT 주소와 예약 크기, 옮겨질 bootstage와 bloblist 주소가 들어간다. 이 정보는 DRAM 상단을 깎아 relocation 목적지를 계산하는 동안만 필요하다.
ARM 경로에서 board_init_f()가 반환하면 지역 객체의 C 수명은 끝난다. 이후 코드는 gd->boardf를 runtime 객체처럼 보관해서는 안 된다. 실제 runtime 상태는 relocation된 FDT, bootstage, bloblist와 새 gd로 넘어간다. 이 수명 경계를 어기면 relocation 전 stack 주소를 DRAM 실행 단계에서 다시 읽는 문제가 생긴다.
초기화 목록은 다섯 구간으로 나눠 읽어야 한다
첫 구간은 image 길이, early malloc, log, event, bloblist처럼 다른 초기화가 사용할 기반을 만든다. 둘째 구간은 architecture와 SoC CPU 설정, driver model, timer, environment, baud rate, serial과 console을 준비한다. 셋째 구간의 dram_init()이 사용 가능한 RAM 크기를 확정해야 비로소 relocation 주소 계산을 시작할 수 있다.
넷째 구간은 setup_dest_addr() 뒤에서 DRAM 상단 주소를 아래로 내리며 PRAM, MMU table, video, trace, U-Boot image, malloc, board info, global data, FDT, bootstage, bloblist, stack을 차례로 예약한다. 마지막 구간은 예약 결과를 실제 포인터와 relocation offset으로 바꾸고 BSS와 cyclic callback을 정리한 뒤 architecture별 relocation 경로로 넘긴다.
DRAM 발견과 DRAM 예약은 같은 단계가 아니다
dram_init()은 controller가 이미 사용할 수 있다는 전제에서 전체 RAM 크기 같은 topology 정보를 gd에 기록한다. 그 다음 setup_dest_addr()와 reserve_*() 함수들은 그 크기를 소비해 U-Boot가 차지할 구간을 계산한다. dram_init_banksize()는 더 뒤에서 bd->bi_dram[] 같은 bank별 정보를 채운다. 이름이 비슷해도 생산하는 필드와 호출 시점이 다르다.
예약 함수들은 allocator처럼 독립적으로 빈 공간을 찾지 않는다. 공통 cursor인 gd->start_addr_sp 또는 relocation 관련 주소를 위에서 아래로 줄인다. 한 함수의 정렬 반올림과 차감 크기가 틀리면 이후 모든 주소가 함께 밀리므로, 마지막 fault 주소만 보고 원인을 찾기 어렵다.
INITCALL의 실패 계약은 복구가 아니라 정지다
INITCALL(fn)은 fn()의 반환값이 0이 아니면 함수 이름을 출력하고 hang()을 호출한다. 여기에는 자동 rollback이나 다음 후보로 넘어가는 정책이 없다. 따라서 각 init 함수는 실패 전에 외부에 공개한 device, list, clock 상태를 스스로 정리하거나, 정리할 수 없는 상태라면 reset 전까지 안전하게 멈출 수 있어야 한다.
watchdog이 활성화된 보드에서는 hang()이 영구 정지로 관찰되지 않고 일정 시간 뒤 reset으로 보일 수 있다. console 준비 이전 실패, console 준비 이후 실패, watchdog reset 누락을 구분하려면 reset cause register와 마지막으로 완료된 initcall 번호를 함께 남기는 편이 낫다.
ARM과 x86/ARC의 relocation 경로를 한 문장으로 묶으면 안 된다
목록 끝의 copy_uboot_to_ram()과 do_elf_reloc_fixups()는 x86 또는 ARC에서만 포함된다. ARM은 board_init_f()가 반환한 뒤 crt0_64.S 같은 architecture 진입 코드가 relocate_code를 호출한다. 같은 board_init_f()를 읽더라도 비복귀 지점과 stack 전환 위치가 architecture마다 다르다.
디버거에서 initcall_run_f() 다음 PC를 예상할 때 현재 architecture의 전처리 결과를 기준으로 해야 한다. ARM에서 목록 안의 jump_to_copy()를 찾거나, x86에서 ARM assembly의 반환 경로를 대입하면 relocation 직전의 제어 흐름을 잘못 해석하게 된다.
OBJECT LIFETIME
객체와 수명
| 대상 | 만들어지는 시점 | 유효 범위 | 확인할 조건 |
|---|---|---|---|
gd_t / struct board_f / initcall_run_f() | board_init_f | relocation return 또는 오류 정리 완료까지 | 각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 `INITCALL`이 즉시 `hang()`으로 진입한다. |
| 입력 buffer / metadata | _main | parse와 검증이 끝날 때까지 | 길이, 정렬, 소유권, 변조 가능성 |
| 등록된 list / descriptor | initcall_run_f | subsystem 종료 또는 image handoff까지 | 이중 등록, dangling pointer, 오류 unwind |
| hardware 또는 persistent state | 실제 write/probe가 완료된 뒤 | reset 또는 명시적 해제·갱신까지 | flush, timeout, 전원 차단, rollback |
relocation 전 U-Boot text와 global data | link/image 생성 시점 | 다음 stage가 새 image로 교체할 때까지 | load address, entry, section과 header 일치 |
FAILURE PATH
실패 지점과 증상
| # | 조건 | 관찰되는 증상 | 먼저 볼 단계 |
|---|---|---|---|
| 01 | timer 이전 delay 호출 | watchdog 또는 polling loop가 끝나지 않음 | board_init_f |
| 02 | DRAM 크기 미확정 상태의 reserve | `gd->relocaddr`와 stack 주소가 실제 RAM 밖에 놓임 | initcall_run_f |
| 03 | console 전 오류 | 실패 메시지를 출력할 장치가 없어 무출력 reset처럼 보임 | DRAM discovery |
로그가 끊긴 마지막 함수만 고치지 않는다. 그 함수가 받은 주소, size, flag가 만들어진 앞 단계까지 올라가고, 오류 뒤 등록 객체와 hardware 상태가 남았는지도 확인한다.
EVIDENCE
소스 밖에서 확인할 증거
소스 해석은 실제 빌드 산출물과 target 로그로 닫아야 한다. 아래 명령의 보드 이름과 toolchain prefix는 사용 중인 빌드 환경에 맞게 바꾼다.
| # | 목적 | 명령 또는 계측 | 판정 기준 |
|---|---|---|---|
| 01 | 전처리 결과 | make <board>_defconfig && make V=1 | 선택된 CONFIG와 실제 compile/link 명령을 보관한다. |
| 02 | symbol과 section | ${CROSS_COMPILE}nm -n u-boot | grep 'void board_init_f' | symbol 주소가 기대한 stage와 image에 들어갔는지 확인한다. |
| 03 | 어셈블리 대조 | ${CROSS_COMPILE}objdump -drS u-boot | C 한 줄이 실제 branch, relocation, memory access로 어떻게 바뀌었는지 본다. |
| 04 | 주소 배치 | bdinfo | relocaddr, malloc, FDT, stack과 DRAM bank 주소를 한 번에 기록한다. |
| 05 | runtime 관찰 | dm tree; dm uclass; printenv | driver model과 환경이 이 단계에서 실제로 공개되었는지 확인한다. |
LAB
직접 확인할 실험
- 01`INITCALL`에 임시 timestamp와 함수 이름 출력을 넣어 실제 순서 측정
board_init_f진입 전후에 boot flags와 임시 board_f의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 `INITCALL`이 즉시 `hang()`으로 진입한다. 조건이 처음 깨지는 줄을 기록한다. - 02`dram_init`, `setup_dest_addr`, `reserve_uboot`, `setup_reloc` 전후의 gd 필드 비교
initcall_run_f진입 전후에 CPU·timer·console 준비의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 `INITCALL`이 즉시 `hang()`으로 진입한다. 조건이 처음 깨지는 줄을 기록한다. - 03임의 initcall에 오류 반환을 주입하고 console 준비 전후의 관찰 차이 기록
DRAM discovery진입 전후에 DRAM 발견과 상단 예약의 주소·크기·반환값과 timestamp를 함께 남긴다. 결과는 정상 부팅 여부로 끝내지 말고 각 initcall은 다음 호출이 읽을 상태를 성공 시 완전히 게시해야 하며, 실패를 반환하면 `INITCALL`이 즉시 `hang()`으로 진입한다. 조건이 처음 깨지는 줄을 기록한다.
PRIMARY REFERENCES