Symbol: save12
usr/src/cmd/vi/port/ex_cmdsub.c
573
save12(), undkind = UNDCHANGE;
usr/src/cmd/vi/port/ex_cmdsub.c
988
save12();
usr/src/cmd/vi/port/ex_re.c
263
save12(), undkind = UNDCHANGE;