gasket_handle_ioctl 1336 drivers/staging/gasket/gasket_core.c 	return gasket_handle_ioctl(filp, cmd, argp);
gasket_handle_ioctl   18 drivers/staging/gasket/gasket_ioctl.h long gasket_handle_ioctl(struct file *filp, uint cmd, void __user *argp);