gasket_cleanup_pci 1516 drivers/staging/gasket/gasket_core.c 	gasket_cleanup_pci(gasket_dev);
gasket_cleanup_pci 1554 drivers/staging/gasket/gasket_core.c 	gasket_cleanup_pci(gasket_dev);