PPMI_D3           774 dev/pci/maestro.c 	maestro_power(sc, PPMI_D3);
PPMI_D3          1517 dev/pci/maestro.c 		maestro_power(sc, PPMI_D3);