>603 系のやつは、VM_MIN_KERNEL_ADDRESS が 0xd0000000 に >なっているので、カーネル空間はここからなのでしょうが、 カーネル自体はこの中には入っていません。 で最初の 256MB が bat で pa == va にマップされていて、 静的に確保されるものはこっちにあります。