僕のVAIO type Z (VGN-Z90S)にはメモリを4GB積んでいる。メモリアドレスの上位の1GBくらいはmemory mapped I/Oに使われていて、このアドレスと重なるメモリはOSから見えないので、4GBのうち3GB程度しか実際には使えない。この空間のメモリを使うには、BIOSか…