On Fri, Dec 19, 2008 at 12:33 PM, Kyle McMartin <kyle@xxxxxxxxxxxxx> wrote: > On Fri, Dec 19, 2008 at 12:28:40PM -0500, Carlos O'Donell wrote: >> On Fri, Dec 19, 2008 at 11:44 AM, Kyle McMartin <kyle@xxxxxxxxxxxxx> wrote: >> > SPACEID_SHIFT is the number of spaceid bits, which is 32 on 64-bit. >> >> On 64-bit SPACEID_SHIFT is 11 bits. Verified by hand and by gcc -E/-dM >> and test program. >> >> On 32-bit SPACEID_SHIFT is 0 bits. Verified by hand. >> > > I just assumed MAX_ADDRBITS was 64. Anyway the point is moot. > I was just crossing the T's and dotting the I's. In case we need to remember what SPACEID_SHIFT value was if we see something sketchy. On 64-bit if you are not using 4kb pages, then SPACEID_SHIFT is 0 bits like a 32-bit kernel. c. -- To unsubscribe from this list: send the line "unsubscribe linux-parisc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
