Symbol: DTRACE_JSON_NUMBER
usr/src/uts/common/dtrace/dtrace.c
3896
case DTRACE_JSON_NUMBER:
usr/src/uts/common/dtrace/dtrace.c
4010
state = DTRACE_JSON_NUMBER;