Symbol: PFIXLEN
usr/src/common/dis/i386/dis_tables.c
3760
x->d86_seg_prefix, PFIXLEN);
usr/src/common/dis/i386/dis_tables.h
62
char d86_prefix[PFIXLEN]; /* any prefix string or "" */