usr/src/cmd/biosdev/biosdev.c

606

BIOSPROPNAME_TMPL, i + STARTING_DRVNUM);

usr/src/cmd/biosdev/biosdev.c

619

i + STARTING_DRVNUM);

usr/src/cmd/biosdev/biosdev.c

626

(void) printf("0x%x %s\n", i + STARTING_DRVNUM,

usr/src/cmd/biosdev/biosdev.c

657

i + STARTING_DRVNUM,

usr/src/cmd/biosdev/biosdev.c

679

i + STARTING_DRVNUM);

usr/src/cmd/biosdev/biosdev.c

685

(void) printf("0x%x %s\n", i + STARTING_DRVNUM,

usr/src/cmd/biosdev/biosdev.c

703

i + STARTING_DRVNUM);

usr/src/cmd/biosdev/biosdev.c

710

(void) printf("0x%x %s\n", i + STARTING_DRVNUM,

usr/src/cmd/biosdev/biosdev.c

715

i + STARTING_DRVNUM,