_rmdevtabrec
if (!(_rmdevtabrec(device))) switch(errno) {
extern int _rmdevtabrec __P((char *device));
extern int _rmdevtabrec(char *);