gasket_free_dev  1451 drivers/staging/gasket/gasket_core.c 	gasket_free_dev(gasket_dev);
gasket_free_dev  1460 drivers/staging/gasket/gasket_core.c 	gasket_free_dev(gasket_dev);