__gasket_remove_device 1517 drivers/staging/gasket/gasket_core.c 	__gasket_remove_device(internal_desc, gasket_dev);
__gasket_remove_device 1555 drivers/staging/gasket/gasket_core.c 	__gasket_remove_device(internal_desc, gasket_dev);