trace_gasket_ioctl_integer_data  309 drivers/staging/gasket/gasket_ioctl.c 		trace_gasket_ioctl_integer_data(arg);
trace_gasket_ioctl_integer_data  315 drivers/staging/gasket/gasket_ioctl.c 		trace_gasket_ioctl_integer_data(arg);
trace_gasket_ioctl_integer_data  319 drivers/staging/gasket/gasket_ioctl.c 		trace_gasket_ioctl_integer_data(gasket_dev->num_page_tables);
trace_gasket_ioctl_integer_data  343 drivers/staging/gasket/gasket_ioctl.c 		trace_gasket_ioctl_integer_data(0);
trace_gasket_ioctl_integer_data  350 drivers/staging/gasket/gasket_ioctl.c 		trace_gasket_ioctl_integer_data(arg);