H. Peter Anvin wrote:> Or simplified:>> PAGE_TABLE_SIZE(((1 << 32)-PAGE_OFFSET) >> PAGE_SHIFT) << PAGE_SHIFTWas worried about 1<<32 overflowing. Never really sure what gas's type system is. J