This is xnu-8019. See this file in:
Directory listing for xnu-8019//tools/cocci
OSAtomic_rewrite.cocci
c11_atomic_builtin_rewrite.cocci
hw_atomic_rewrite.cocci
mcache_atomic_rewrite.cocci
os_atomic_normalize.cocci
zalloc-data.cocci
zalloc-nofail.cocci
zalloc-zero.cocci
zalloc.iso