SRMMU_MAXMEM
#define SRMMU_NOCACHE_VADDR (KERNBASE + SRMMU_MAXMEM)
if (max_low_pfn > pfn_base + (SRMMU_MAXMEM >> PAGE_SHIFT)) {
highstart_pfn = pfn_base + (SRMMU_MAXMEM >> PAGE_SHIFT);
unsigned long tmp = pfn_base + (SRMMU_MAXMEM >> PAGE_SHIFT);
const unsigned long max_vaddr = PAGE_OFFSET + SRMMU_MAXMEM;