온라인으로 하다 보니 바로바로 써서 보여 드리기 힘들고,

갑자기 행아웃이 죽어 버리니.. 어떻게 해결이 안되네요 ㅎㅎ..

해결해야 될 문제로 보입니다.;;

start 값이 0xFFFF 8800 0000 0000 값을 가지는건 딱히 설명 안 드려도 될 듯 합니다.

그래도 그림으로 정리 했으니 참고 해 주세요

매크로를 풀어 쓰면 저렇게 되겠죠..

그리고 pgd도 매크로를 풀어 쓰면 다음과 같을 겁니다.

level4_pgt 배열에 index 값을 가져 올려고 pgd_index() 매크로를 사용 하는데, start 값을 고려하여 계산하면

저렇게 나옵니다.. 제가(256+16 이라고 한 부분)

결국 273번 째 배열의 주소값을 pgd가 가지게 되는 것이죠..

start값이 0인데, 저렇게 계산하면 항상 PAGE_OFFSET 값 때문에 저 값이 나올텐데, 더 적은 index 값을 가져 올려면 어떻게 할 지

의문이 좀 듭니다. 

여튼 값에 대한 정리는 저렇게 할 수 있을 듯 합니다.

온라인으로 하다보니 조금 어려움이 있네요 ㅎㅎ..