printk("They asked me for state %d\n", state); 
printk("They asked me for state %d\n", state.event); 
pci_power_t pci_choose_state(struct pci_dev *dev, pm_message_t state){	int ret;	if (!pci_find_capability(dev, PCI_CAP_ID_PM))		return PCI_D0;	if (platform_pci_choose_state) {		ret = platform_pci_choose_state(dev, state);		if (ret >= 0)			state = ret;	} 	switch (state) {	case 0: return PCI_D0;	case 3: return PCI_D3hot;	default:		printk("They asked me for state %d\n", state);		BUG();	}	return PCI_D0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ca078bae813dd46c0f9b102fdfb4a3384641ff48/pci.c/clean/drivers/pci/pci.c