PIIXPM_DELAY      217 dev/pci/piixpm.c 		DELAY(PIIXPM_DELAY);
PIIXPM_DELAY      275 dev/pci/piixpm.c 		DELAY(PIIXPM_DELAY);
PIIXPM_DELAY      281 dev/pci/piixpm.c 			DELAY(PIIXPM_DELAY);
PIIXPM_DELAY      307 dev/pci/piixpm.c 	DELAY(PIIXPM_DELAY);