XADD             1256 kernel/bpf/core.c 	INSN_3(STX, XADD, W),			\
XADD             1257 kernel/bpf/core.c 	INSN_3(STX, XADD, DW),			\