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