ARM memory area와 MMU 초기화

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

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

원본 주석이 'This code will become much less complex once we switch over to using'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

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

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

원본 148번 줄의 resource_size_t pos;는 앞의 struct resource *rsv; 결과를 받아 다음 다음 block 경계로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '같은 physical range가 충돌하는 memory attribute로 중복 mapping되지 않아야 한다' 조건이 유지되는지 확인한다.

resource_size_t pos;까지의 동작과 pos = bank->res->start;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

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

pos = bank->res->start;까지의 동작과 /* Skip reserved regions */에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

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

for_each_reserved_region(bank, rsv)를 호출한다. 반환 결과는 현재 줄 또는 다음 if (pos != rsv->start)에서 검사되는 흐름이다. pointer 인자는 memory banks / translation tables의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DMA/MMIO attributes 항목과 대조한다.

pos != rsv->start를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '같은 physical range가 충돌하는 memory attribute로 중복 mapping되지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

remap_range_end_sans_image(pos, rsv->start, MAP_CACHED)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 memory banks / translation tables의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DMA/MMIO attributes 항목과 대조한다.

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

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

}까지의 동작과 remap_range_end_sans_image(pos, bank->res->end + 1, MAP_CACHED);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

remap_range_end_sans_image(pos, bank->res->end + 1, MAP_CACHED)를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 memory banks / translation tables의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DMA/MMIO attributes 항목과 대조한다.

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

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

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

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

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

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

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

efi_is_payload()를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '같은 physical range가 충돌하는 memory attribute로 중복 mapping되지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

return 0;까지의 동작과 if (list_empty(&memory_banks)) {에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

list_empty(&memory_banks)를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '같은 physical range가 충돌하는 memory attribute로 중복 mapping되지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

원본 171번 줄의 resource_size_t start;는 앞의 if (list_empty(&memory_banks)) { 결과를 받아 다음 int ret;로 넘기는 중간 연산이다. 이 줄이 바꾸는 register·field·list link를 찾고, 변경 뒤에도 '같은 physical range가 충돌하는 memory attribute로 중복 mapping되지 않아야 한다' 조건이 유지되는지 확인한다.

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

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

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

원본 주석이 'If you see this it means you have no memory registered.'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'This can be done either with arm_add_mem_device() in an'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

원본 주석이 'initcall prior to mmu_initcall or via devicetree in the'라고 기록한 줄이다. 바로 아래 구현이 이 전제와 같은 순서·단위를 사용하는지 대조한다.

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

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

pr_emerg("No memory bank registered. Limping along with initial memory\n")를 호출한다. 반환값을 직접 사용하지 않으므로 이 함수가 실패를 내부 처리하는지 확인해야 한다. pointer 인자는 memory banks / translation tables의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DMA/MMIO attributes 항목과 대조한다.

pr_emerg("No memory bank registered. Limping along with initial memory\n");까지의 동작과 start = arm_mem_membase_get();에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

arm_mem_endmem_get() - start)를 호출한다. 반환 결과는 현재 줄 또는 다음 if (ret)에서 검사되는 흐름이다. pointer 인자는 memory banks / translation tables의 소유권을 넘기는지 호출 동안만 빌리는지 구분하고, 호출 뒤 공개되는 상태를 DMA/MMIO attributes 항목과 대조한다.

ret를 검사해 진행 여부를 가른다. 거짓 경로와 참 경로 중 어느 쪽이 '같은 physical range가 충돌하는 memory attribute로 중복 mapping되지 않아야 한다' 조건을 보존하는지 다음 return 또는 goto까지 따라간다.

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

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

}까지의 동작과 __mmu_init(get_cr() & CR_M);에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

mmu_remap_memory_banks();까지의 동작과 return 0;에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.

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

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

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

mmu_initcall(mmu_init);까지의 동작과 다음 block 경계에서 시작하는 동작을 나누는 빈 줄이다. 앞 블록이 만든 DMA/MMIO attributes 상태가 아래 블록의 입력으로 사용되는 경계다.