On 28/11/15 14:28, Julia Lawall wrote:> The gnttab_ops structure is never modified, so declare it as const.> > Done with the help of Coccinelle.Applied to for-linus-4.5, thanks.David