Symbol: get_max_memory
usr/src/tools/smatch/src/smatch.h
1302
unsigned long get_max_memory(void);
usr/src/tools/smatch/src/smatch_flow.c
1943
sm_msg("mem: %luKb", get_max_memory());