HIGHEST_VA        154 writeckpt.cpp      if (area.addr >= HIGHEST_VA && area.addr == (VA)0xffffe000)
HIGHEST_VA        160 writeckpt.cpp      if (area.addr >= HIGHEST_VA && area.addr == (VA)0xffffffffff600000)