revstr           1165 dev/pci/if_msk.c 	char *revstr = NULL;
revstr           1312 dev/pci/if_msk.c 			revstr = "A0";
revstr           1315 dev/pci/if_msk.c 			revstr = "A1";
revstr           1318 dev/pci/if_msk.c 			revstr = "A2";
revstr           1321 dev/pci/if_msk.c 			revstr = "A3";
revstr           1331 dev/pci/if_msk.c 			revstr = "A1";
revstr           1334 dev/pci/if_msk.c 			revstr = "A2";
revstr           1337 dev/pci/if_msk.c 			revstr = "A3";
revstr           1347 dev/pci/if_msk.c 			revstr = "A0";
revstr           1350 dev/pci/if_msk.c 			revstr = "A1";
revstr           1359 dev/pci/if_msk.c 	if (revstr != NULL)
revstr           1360 dev/pci/if_msk.c 		printf(" rev. %s", revstr);
revstr           1301 dev/pci/if_sk.c 	char *revstr = NULL;
revstr           1469 dev/pci/if_sk.c 			revstr = "A0";
revstr           1472 dev/pci/if_sk.c 			revstr = "A1";
revstr           1475 dev/pci/if_sk.c 			revstr = "A3";
revstr           1484 dev/pci/if_sk.c 	if (revstr != NULL)
revstr           1485 dev/pci/if_sk.c 		printf(" rev. %s", revstr);