Illumos/gate eb44bcc — usr/src/tools/smatch Makefile, usr/src/tools/smatch/src smatch_kernel_user_data.c check_arm64_tagged.c
12013 fix smatch build for GCC4 Reviewed by: Dan McDonald <danmcd at joyent.com> Approved by: Robert Mustacchi <rm at fingolfin.org>