Symbol: __GNUC_PATCHLEVEL__
usr/src/tools/smatch/src/lib.c
66
int gcc_patchlevel = __GNUC_PATCHLEVEL__;
usr/src/uts/common/sys/ccompile.h
49
(__GNUC__ * 10000 + __GNUC_MINOR__ * 100 + __GNUC_PATCHLEVEL__)