Re: Page table cache problem

David S. Miller (
Sun, 26 Jul 1998 15:43:02 -0700

Date: Sun, 26 Jul 1998 13:57:04 -0700 (PDT)
From: Linus Torvalds <>

Looks good, applied,

? Isn't it much nicer and cheaper to just check the high water mark
and free_page() if we were about to go over it?

David S. Miller

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
Please read the FAQ at