Re: [PATCH] mm/gup: documentation fix for pin_user_pages*() APIs

From: Pankaj Gupta
Date: Sun May 31 2020 - 09:00:47 EST


Acked-by: Pankaj Gupta <pankaj.gupta.linux@xxxxxxxxx>