 pciehprm_cleanup(); 
static void __exit pcied_cleanup(void){	dbg("unload_pciehpd()\n");	unload_pciehpd();	pciehprm_cleanup();	dbg("pcie_port_service_unregister\n");	pcie_port_service_unregister(&hpdriver_portdrv);	info(DRIVER_DESC " version: " DRIVER_VERSION " unloaded\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a8a2be949267cb0d1d933a92d9fb43eda4f4fe88/pciehp_core.c/buggy/drivers/pci/hotplug/pciehp_core.c