On Thu, 17 Apr 2014 14:17:37 +0800 Hu Tao <hu...@cn.fujitsu.com> wrote:
> max ram shouldn't exceed unused memory range above 4g > (UINT64_MAX - 0x100000000 - above_4g_mem_size), that is: "max_ram" is not amount of RAM after initial RAM, but rather RAM limit including initial RAM. There should be check at somewhere in pc_memory_init() that the last RAM address won't got beyond arch supported limit.
