Symbol: release_SIGINT
usr/src/cmd/rmformat/rmf_menu.c
405
release_SIGINT();
usr/src/cmd/rmformat/rmf_menu.c
78
extern void release_SIGINT();