Re: Doubt regarding PageLocked in Linux kernel source