PIIX_SMB_HD0      252 dev/pci/piixpm.c 			    PIIX_SMB_HD0, b[0]);
PIIX_SMB_HD0      354 dev/pci/piixpm.c 			    PIIX_SMB_HD0);