* Yinghai Lu [2008-07-14 00:11]: > > should use min_t(u64, 1ULL<<32, max_low_pfn<<PAGE_SHIFT) replace ULONG_MAX Shouldn't we use min_t(u64, ULLONG_MAX, max_low_pfn<<PAGE_SHIFT), i.e. should we really limit the crashkernel to a 32 bit address on a 64 bit system? Bernhard -- Bernhard Walle, SUSE LINUX Products GmbH, Architecture Development