ARM Linux のカーネル メモリ レイアウトを見ると、仮想アドレス 0xffff1000 ～ 0xffff7fff が「予約済みです。プラットフォームはこのアドレス範囲を使用してはなりません」とわかります。ソースにドキュメントや何かが見つからないようです。
Linux カーネル 2.6 をハイパーバイザー上で実行する実験を行っています。Integrator CP ARM プラットフォームでは、ハイパーバイザーが 0xfff00000 ～ 0xffffffff の仮想アドレス空間を取得できると考えていました。これらのアドレスを使用できるかどうかは誰にもわかりませんか? 高い仮想アドレスは、XScale などの特定のプラットフォームや、私が使用していないその他のもの用のようです。Cpu ベクター ページは引き続き 0xffff0000 を取得します。
メモリ レイアウトは、http://www.kernel.org/doc/Documentation/arm/memory.txtから入手できます。