Searched defs:ext_num (Results 1 – 1 of 1) sorted by relevance
464 uint16 ext_num = p_mark.node_num; in extend_dict1() local541 uint16 ext_num = p_mark.node_num; in extend_dict2() local