r7               2459 dev/pci/pccbb.c 		int r1, r2, r3, r4, r5, r6, r7 = 0;
r7               2469 dev/pci/pccbb.c 			r7 = Pcic_read(ph, 0x40 + win);
r7               2476 dev/pci/pccbb.c 			DPRINTF((" %02x", r7));