check_free_strict: New stricter cross function use after free check
[smatch.git] / smatch_data / kernel.ioctls
blobc668d2a9147df2887069d0f6f5655c044d234ed6
1 aac_cfg_ioctl
2 ac_ioctl
3 acq_ioctl
4 adpt_unlocked_ioctl
5 adsp_ioctl
6 advwdt_ioctl
7 adx_wdt_ioctl
8 agp_ioctl
9 ali_ioctl
10 anslcd_ioctl
11 apm_ioctl
12 ar7_wdt_ioctl
13 asr_ioctl
14 at32_wdt_ioctl
15 at91_wdt_ioctl
16 audamrnb_ioctl
17 audevrc_ioctl
18 audio_in_ioctl
19 audio_ioctl
20 audpp_ioctl
21 audpre_ioctl
22 audqcelp_ioctl
23 autofs_root_ioctl
24 bcm47xx_wdt_ioctl
25 bcm_char_ioctl
26 bfin_otp_ioctl
27 bfin_wdt_ioctl
28 booke_wdt_ioctl
29 bridge_ioctl
30 capi_unlocked_ioctl
31 chd_dec_ioctl
32 ch_ioctl
33 chsc_ioctl
34 cmm_ioctl
35 coh901327_ioctl
36 comedi_unlocked_ioctl
37 cosa_chardev_ioctl
38 cpu5wdt_ioctl
39 cpwd_ioctl
40 _ctl_ioctl
41 ctrl_cdev_ioctl
42 d7s_ioctl
43 dabusb_ioctl
44 davinci_wdt_ioctl
45 dev_ioctl
46 dm_ctl_ioctl
47 drm_ioctl
48 ds1620_unlocked_ioctl
49 dsp56k_ioctl
50 dst_ca_ioctl
51 dtlk_ioctl
52 dv1394_ioctl
53 dvb_ca_en50221_io_ioctl
54 dvb_demux_ioctl
55 dvb_dvr_ioctl
56 dvb_generic_ioctl
57 dvb_net_ioctl
58 easycap_ioctl
59 easysnd_ioctl
60 efi_rtc_ioctl
61 envctrl_ioctl
62 ep93xx_wdt_ioctl
63 ep_ioctl
64 epx_c3_ioctl
65 erst_dbg_ioctl
66 esb_ioctl
67 eurwdt_ioctl
68 evdev_ioctl
69 evtchn_ioctl
70 fb_ioctl
71 ffs_ep0_ioctl
72 ffs_epfile_ioctl
73 fitpc2_wdt_ioctl
74 flash_ioctl
75 fop_ioctl
76 fs3270_ioctlioctl
77 ft1000_ChIoctl
78 fw_device_op_ioctl
79 gdth_unlocked_ioctl
80 gef_wdt_ioctl
81 gen_rtc_unlocked_ioctl
82 geodewdt_ioctl
83 GLOB_SBD_unlocked_ioctl
84 gru_file_unlocked_ioctl
85 hiddev_ioctl
86 hidraw_ioctl
87 hpet_ioctl
88 hp_sdc_rtc_unlocked_ioctl
89 hpwdt_ioctl
90 hub_ioctl
91 hung_up_tty_ioctl
92 i2cdev_ioctl
93 i2o_cfg_ioctl
94 i810_ioctl
95 i830_ioctl
96 i8k_ioctl
97 ib_umad_ioctl
98 ibwdt_ioctl
99 idetape_chrdev_ioctl
100 imx2_wdt_ioctl
101 indydog_ioctl
102 intel_sst_ioctl
103 ioctl
104 ioctl_rio
105 iop_wdt_ioctl
106 iowarrior_ioctl
107 ip2_ipl_ioctl
108 ipmi_unlocked_ioctl
109 ir_lirc_ioctl
110 isdn_divert_ioctl
111 isdn_unlocked_ioctl
112 it8712f_wdt_ioctl
113 iTCO_wdt_ioctl
114 ivtv_v4l2_ioctl
115 ixj_ioctl
116 ixp2000_wdt_ioctl
117 ixp4xx_wdt_ioctl
118 joydev_ioctl
119 jsf_ioctl
120 ks8695_wdt_ioctl
121 lcd_ioctl
122 lirc_dev_fop_ioctl
123 lirc_ioctl
124 lp_ioctl
125 macvtap_ioctl
126 max63xx_wdt_ioctl
127 megadev_unlocked_ioctl
128 megasas_mgmt_ioctl
129 memrar_ioctl
130 mISDN_ioctl
131 mixcomwd_ioctl
132 mmtimer_ioctl
133 mon_bin_ioctl
134 mon_stat_ioctl
135 mpc8xxx_wdt_ioctl
136 mpcore_wdt_ioctl
137 mptctl_ioctl
138 mraid_mm_unlocked_ioctl
139 msm_ioctl_config
140 msm_ioctl_control
141 msm_ioctl_frame
142 mtd_unlocked_ioctl
143 mtx1_wdt_ioctl
144 mv64x60_wdt_ioctl
145 mwave_ioctl
146 nosy_ioctl
147 nuc900_wdt_ioctl
148 nvram_ioctl
149 nvram_unlocked_ioctl
150 octeon_wdt_ioctl
151 omap_wdt_ioctl
152 openprom_ioctl
153 orion_wdt_ioctl
154 osd_uld_ioctl
155 osst_ioctl
156 pc87413_ioctl
157 pcipcwd_ioctl
158 pcwd_ioctl
159 phantom_ioctl
160 pikawdt_ioctl
161 pkt_ctl_ioctl
162 pmcraid_chr_ioctl
163 pmem_ioctl
164 pmu_unlocked_ioctl
165 pnx4008_wdt_ioctl
166 pnx833x_wdt_ioctl
167 pp_ioctl
168 ppp_ioctl
169 pps_cdev_ioctl
170 printer_ioctl
171 proc_bus_pci_ioctl
172 pt_ioctl
173 random_ioctl
174 raw1394_ioctl
175 raw_ctl_ioctl
176 raw_ioctl
177 rc32434_wdt_ioctl
178 rdc321x_wdt_ioctl
179 rio_fw_ioctl
180 riowd_ioctl
181 rtc_dev_ioctl
182 rtc_ioctl
183 s3c2410wdt_ioctl
184 sa1100dog_ioctl
185 sbwdog_ioctl
186 sc1200wdt_ioctl
187 sch311x_wdt_ioctl
188 scx200_wdt_ioctl
189 sg_unlocked_ioctl
190 sh_wdt_ioctl
191 smb_ioctl
192 snd_ioctl
193 softdog_ioctl
194 sonypi_misc_ioctl
195 sp805_wdt_ioctl
196 spidev_ioctl
197 st_ioctl
198 stli_memioctl
199 stl_memioctl
200 stmp3xxx_wdt_ioctl
201 sx_fw_ioctl
202 tapechar_ioctl
203 tosh_ioctl
204 ts72xx_wdt_ioctl
205 tty_ioctl
206 tun_chr_ioctl
207 twa_chrdev_ioctl
208 tw_chrdev_ioctl
209 twl4030_wdt_ioctl
210 twl_chrdev_ioctl
211 txx9wdt_ioctl
212 ubi_cdev_ioctl
213 uctrl_ioctl
214 uinput_ioctl
215 usbdev_ioctl
216 usblp_ioctl
217 usb_pcwd_ioctl
218 usbtest_ioctl
219 usbtmc_ioctl
220 uv_mmtimer_ioctl
221 v4l2_ioctl
222 vfd_ioctl
223 vhost_net_ioctl
224 video1394_ioctl
225 video_ioctl2
226 video_ioctl2V4L2ioctlhandler
227 vino_ioctl
228 viotap_unlocked_ioctl
229 vmcp_ioctl
230 vme_user_unlocked_ioctl
231 vmwdt_ioctl
232 vmw_unlocked_ioctl
233 vol_cdev_ioctl
234 wafwdt_ioctl
235 watchdog_ioctl
236 wb_smsc_wdt_ioctl
237 wdrtas_ioctl
238 wdt977_ioctl
239 wdt_ioctl
240 wdtpci_ioctl
241 wdt_unlocked_ioctl
242 wm831x_wdt_ioctl
243 wm8350_wdt_ioctl
244 zcrypt_unlocked_ioctl
245 zfcp_cfdc_dev_ioctl
246 zf_ioctl