Symbol: DRT_DECIMAL
sys/ddb/db_lex.c
177
case DRT_DECIMAL:
sys/net/debugnet.c
941
t = db_read_token_flags(DRT_WSPACE | DRT_DECIMAL);