Re: [PATCH v6] coccinelle: api: add kvfree script

[Denis Efremov]

Is there a difference from cocci point of view between:

... when != !is_vmalloc_addr(E)

and 

... when != is_vmalloc_addr(E)

Should the latter one be used in most cases?

Thanks,
Denis