Symbol: _dev_mounted
usr/src/cmd/eject/eject.c
318
if (_dev_mounted(name)) {
usr/src/cmd/eject/eject.c
73
int _dev_mounted(char *path);
usr/src/cmd/fdformat/fdformat.c
132
int _dev_mounted(char *path);
usr/src/cmd/fdformat/fdformat.c
361
if (_dev_mounted(real_name)) {
usr/src/cmd/rmformat/rmf_misc.c
84
int _dev_mounted(char *path);