TXX9_DIRECTMAP_BASE
if (offset >= TXX9_DIRECTMAP_BASE &&
offset < TXX9_DIRECTMAP_BASE + 0x400000)
(unsigned long)(int)(TXX9_DIRECTMAP_BASE & 0xffffffff);