pub const DEVICE_REGION_START: usize = 0x3800_0000;Expand description
GPU / フレームバッファ / MMIO が始まる物理アドレス。
ここ以上は Device(uncached) としてマップされる。 通常メモリ(キャッシュ有効)として使ってよいのはこの値未満だけ。
【2026-08-25】この境界は 3 箇所に直書きされていた
(mmu.rs のマップ判定、fs/mod.rs の RAMDisk 上限、
draw.rs の領域表示)。RAMDisk がヒープ外の物理 RAM を
直接使うようになり、この値を間違えるとフレームバッファを壊す。
権威はマップを決めている此処に置き、他はここを参照する。