start_barebox와 초기 runtime

이전 block 경계까지의 동작과 if (current_autoboot != AUTOBOOT_MENU) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 global runtime 상태가 아래 블록의 입력으로 사용되는 경계다.

current_autoboot != AUTOBOOT_MENU를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

원본 426번 줄의 if (current_autoboot == AUTOBOOT_ABORT &&는 앞의 if (current_autoboot != AUTOBOOT_MENU) { 결과를 받아 다음 current_autoboot == global_autoboot_state)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

원본 427번 줄의 current_autoboot == global_autoboot_state)는 앞의 if (current_autoboot == AUTOBOOT_ABORT && 결과를 받아 다음 watchdog_inhibit_all();로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

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

원본 433번 줄의 do {는 앞의 이전 block 경계 결과를 받아 다음 /*로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

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

원본 주석이 'Let's run the command once at least, so an error'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'message is printed if the file doesn't exist'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

} while (stat(MENUFILE, &s) == 0);까지의 동작과 hang();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

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

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

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

IS_ENABLED(CONFIG_COMMAND_SUPPORT) ? run_init : NULL;까지의 동작과 void __noreturn start_barebox(void)에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

원본 450번 줄의 initcall_t *initcall;는 앞의 { 결과를 받아 다음 int result;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

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

int result;까지의 동작과 for (initcall = __barebox_initcalls_start;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

'for (initcall = __barebox_initcalls_start;'가 목록이나 후보를 순회한다. 반복 중 Barebox runtime globals / root device를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

원본 454번 줄의 initcall < __barebox_initcalls_end; initcall++) {는 앞의 for (initcall = __barebox_initcalls_start; 결과를 받아 다음 pr_debug("initcall-> %pS\n", *initcall);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

pr_debug("initcall-> %pS\n", *initcall)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 Barebox runtime globals / root device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 main thread 항목과 대조한다.

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

result를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

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

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

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

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

pr_debug("initcalls done\n");까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

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

IS_ENABLED(CONFIG_SELFTEST_AUTORUN)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

barebox_main를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

IS_ENABLED(CONFIG_SHELL_NONE)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

pr_crit("Nothing left to do\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 Barebox runtime globals / root device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 main thread 항목과 대조한다.

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

원본 475번 줄의 } else {는 앞의 poweroff_machine(0); 결과를 받아 다음 while (1)로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

'while (1)'가 목록이나 후보를 순회한다. 반복 중 Barebox runtime globals / root device를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

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

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

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

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

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

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

puts("### ERROR ### Please RESET the board ###\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 Barebox runtime globals / root device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 main thread 항목과 대조한다.

'for (;;);'가 목록이나 후보를 순회한다. 반복 중 Barebox runtime globals / root device를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

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

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

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

원본 주석이 'Should be called before starting an OS to get'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

원본 493번 줄의 exitcall_t *exitcall;는 앞의 { 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

exitcall_t *exitcall;까지의 동작과 barebox_system_state = BAREBOX_EXITING;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

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

barebox_system_state = BAREBOX_EXITING;까지의 동작과 for (exitcall = __barebox_exitcalls_start;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

'for (exitcall = __barebox_exitcalls_start;'가 목록이나 후보를 순회한다. 반복 중 Barebox runtime globals / root device를 제거·추가하는 호출이 있는지와 loop 종료 뒤 iterator가 유효한지 확인한다.

원본 498번 줄의 exitcall < __barebox_exitcalls_end; exitcall++) {는 앞의 for (exitcall = __barebox_exitcalls_start; 결과를 받아 다음 pr_debug("exitcall-> %pS\n", *exitcall);로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

pr_debug("exitcall-> %pS\n", *exitcall)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 Barebox runtime globals / root device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 main thread 항목과 대조한다.

원본 500번 줄의 (*exitcall)();는 앞의 pr_debug("exitcall-> %pS\n", *exitcall); 결과를 받아 다음 }로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

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

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

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

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

}까지의 동작과 BAREBOX_MAGICVAR(global.autoboot,에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.

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

countdown(default), abort, halt, menu, boot")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 Barebox runtime globals / root device의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 main thread 항목과 대조한다.

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

원본 509번 줄의 "Which key allows to interrupt autoboot. Possible values: 'any', 'ctrl-c' or any other single ascii character.");는 앞의 BAREBOX_MAGICVAR(global.autoboot_abort_key, 결과를 받아 다음 BAREBOX_MAGICVAR(global.autoboot_timeout,로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

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

원본 511번 줄의 "Timeout before autoboot starts in seconds");는 앞의 BAREBOX_MAGICVAR(global.autoboot_timeout, 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 'initcall 실행 전에 필수 memory allocator와 core registries가 일관된 초기 상태여야 한다' 조건이 유지되는지 확인한다.

"Timeout before autoboot starts in seconds");까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 main thread 상태가 아래 블록의 입력으로 사용되는 경계다.