checkrev
if (check && checkrev(ipfname) == -1) {
(void) checkrev(device);
if (checkrev(device) == -1) {
if (checkrev(IPL_NAME) == -1) {
extern int checkrev __P((char *));