Symbol: declare_builtins
usr/src/tools/smatch/src/lib.c
1602
declare_builtins();
usr/src/tools/smatch/src/symbol.h
308
extern void declare_builtins(void);