On Thu, May 06, 2021 at 11:42:59PM -0700, John Hubbard wrote:> +static void set_mm_has_pinned_flag(unsigned long *mm_flags)mm_set_has_pinned_flag(struct mm_struct *mm), please.