1# 1 "ldv/68_1/drivers/input/tablet/kbtab.ko/safe.cil.out.i"
2# 1 "<built-in>"
3# 1 "<command-line>"
4# 1 "ldv/68_1/drivers/input/tablet/kbtab.ko/safe.cil.out.i"
5# 19 "include/asm-generic/int-ll64.h"
6typedef signed char __s8;
7# 20 "include/asm-generic/int-ll64.h"
8typedef unsigned char __u8;
9# 22 "include/asm-generic/int-ll64.h"
10typedef short __s16;
11# 23 "include/asm-generic/int-ll64.h"
12typedef unsigned short __u16;
13# 25 "include/asm-generic/int-ll64.h"
14typedef int __s32;
15# 26 "include/asm-generic/int-ll64.h"
16typedef unsigned int __u32;
17# 29 "include/asm-generic/int-ll64.h"
18typedef long long __s64;
19# 30 "include/asm-generic/int-ll64.h"
20typedef unsigned long long __u64;
21# 43 "include/asm-generic/int-ll64.h"
22typedef unsigned char u8;
23# 46 "include/asm-generic/int-ll64.h"
24typedef unsigned short u16;
25# 49 "include/asm-generic/int-ll64.h"
26typedef unsigned int u32;
27# 51 "include/asm-generic/int-ll64.h"
28typedef long long s64;
29# 52 "include/asm-generic/int-ll64.h"
30typedef unsigned long long u64;
31# 11 "include/asm-generic/types.h"
32typedef unsigned short umode_t;
33# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
34typedef unsigned int __kernel_mode_t;
35# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
36typedef int __kernel_pid_t;
37# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
38typedef unsigned int __kernel_uid_t;
39# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
40typedef unsigned int __kernel_gid_t;
41# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
42typedef unsigned long __kernel_size_t;
43# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
44typedef long __kernel_ssize_t;
45# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
46typedef long __kernel_time_t;
47# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
48typedef long __kernel_clock_t;
49# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
50typedef int __kernel_timer_t;
51# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
52typedef int __kernel_clockid_t;
53# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
54typedef long long __kernel_loff_t;
55# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
56typedef __kernel_uid_t __kernel_uid32_t;
57# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
58typedef __kernel_gid_t __kernel_gid32_t;
59# 21 "include/linux/types.h"
60typedef __u32 __kernel_dev_t;
61# 24 "include/linux/types.h"
62typedef __kernel_dev_t dev_t;
63# 26 "include/linux/types.h"
64typedef __kernel_mode_t mode_t;
65# 29 "include/linux/types.h"
66typedef __kernel_pid_t pid_t;
67# 34 "include/linux/types.h"
68typedef __kernel_clockid_t clockid_t;
69# 37 "include/linux/types.h"
70typedef _Bool bool;
71# 39 "include/linux/types.h"
72typedef __kernel_uid32_t uid_t;
73# 40 "include/linux/types.h"
74typedef __kernel_gid32_t gid_t;
75# 53 "include/linux/types.h"
76typedef __kernel_loff_t loff_t;
77# 62 "include/linux/types.h"
78typedef __kernel_size_t size_t;
79# 67 "include/linux/types.h"
80typedef __kernel_ssize_t ssize_t;
81# 77 "include/linux/types.h"
82typedef __kernel_time_t time_t;
83# 110 "include/linux/types.h"
84typedef __s32 int32_t;
85# 116 "include/linux/types.h"
86typedef __u32 uint32_t;
87# 141 "include/linux/types.h"
88typedef unsigned long sector_t;
89# 142 "include/linux/types.h"
90typedef unsigned long blkcnt_t;
91# 154 "include/linux/types.h"
92typedef u64 dma_addr_t;
93# 177 "include/linux/types.h"
94typedef __u16 __le16;
95# 201 "include/linux/types.h"
96typedef unsigned int gfp_t;
97# 202 "include/linux/types.h"
98typedef unsigned int fmode_t;
99# 212 "include/linux/types.h"
100struct __anonstruct_atomic_t_7 {
101 int counter ;
102};
103# 212 "include/linux/types.h"
104typedef struct __anonstruct_atomic_t_7 atomic_t;
105# 217 "include/linux/types.h"
106struct __anonstruct_atomic64_t_8 {
107 long counter ;
108};
109# 217 "include/linux/types.h"
110typedef struct __anonstruct_atomic64_t_8 atomic64_t;
111# 222 "include/linux/types.h"
112struct list_head {
113 struct list_head *next ;
114 struct list_head *prev ;
115};
116# 226 "include/linux/types.h"
117struct hlist_node;
118# 226 "include/linux/types.h"
119struct hlist_node;
120# 226 "include/linux/types.h"
121struct hlist_head {
122 struct hlist_node *first ;
123};
124# 230 "include/linux/types.h"
125struct hlist_node {
126 struct hlist_node *next ;
127 struct hlist_node **pprev ;
128};
129# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
130struct module;
131# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
132struct module;
133# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
134struct module;
135# 145 "include/linux/init.h"
136typedef void (*ctor_fn_t)(void);
137# 10 "include/asm-generic/bug.h"
138struct bug_entry {
139 int bug_addr_disp ;
140 int file_disp ;
141 unsigned short line ;
142 unsigned short flags ;
143};
144# 113 "include/linux/kernel.h"
145struct completion;
146# 113 "include/linux/kernel.h"
147struct completion;
148# 113 "include/linux/kernel.h"
149struct completion;
150# 114 "include/linux/kernel.h"
151struct pt_regs;
152# 114 "include/linux/kernel.h"
153struct pt_regs;
154# 114 "include/linux/kernel.h"
155struct pt_regs;
156# 322 "include/linux/kernel.h"
157struct pid;
158# 322 "include/linux/kernel.h"
159struct pid;
160# 322 "include/linux/kernel.h"
161struct pid;
162# 12 "include/linux/thread_info.h"
163struct timespec;
164# 12 "include/linux/thread_info.h"
165struct timespec;
166# 12 "include/linux/thread_info.h"
167struct timespec;
168# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page.h"
169struct page;
170# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page.h"
171struct page;
172# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page.h"
173struct page;
174# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
175struct task_struct;
176# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
177struct task_struct;
178# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
179struct task_struct;
180# 7 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
181struct task_struct;
182# 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
183struct mm_struct;
184# 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
185struct mm_struct;
186# 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
187struct mm_struct;
188# 99 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
189struct pt_regs {
190 unsigned long r15 ;
191 unsigned long r14 ;
192 unsigned long r13 ;
193 unsigned long r12 ;
194 unsigned long bp ;
195 unsigned long bx ;
196 unsigned long r11 ;
197 unsigned long r10 ;
198 unsigned long r9 ;
199 unsigned long r8 ;
200 unsigned long ax ;
201 unsigned long cx ;
202 unsigned long dx ;
203 unsigned long si ;
204 unsigned long di ;
205 unsigned long orig_ax ;
206 unsigned long ip ;
207 unsigned long cs ;
208 unsigned long flags ;
209 unsigned long sp ;
210 unsigned long ss ;
211};
212# 136 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
213struct task_struct;
214# 141 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
215struct kernel_vm86_regs {
216 struct pt_regs pt ;
217 unsigned short es ;
218 unsigned short __esh ;
219 unsigned short ds ;
220 unsigned short __dsh ;
221 unsigned short fs ;
222 unsigned short __fsh ;
223 unsigned short gs ;
224 unsigned short __gsh ;
225};
226# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h"
227union __anonunion____missing_field_name_14 {
228 struct pt_regs *regs ;
229 struct kernel_vm86_regs *vm86 ;
230};
231# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h"
232struct math_emu_info {
233 long ___orig_eip ;
234 union __anonunion____missing_field_name_14 __annonCompField5 ;
235};
236# 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
237struct task_struct;
238# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
239typedef unsigned long pgdval_t;
240# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
241typedef unsigned long pgprotval_t;
242# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
243struct pgprot {
244 pgprotval_t pgprot ;
245};
246# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
247typedef struct pgprot pgprot_t;
248# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
249struct __anonstruct_pgd_t_17 {
250 pgdval_t pgd ;
251};
252# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
253typedef struct __anonstruct_pgd_t_17 pgd_t;
254# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
255typedef struct page *pgtable_t;
256# 293 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
257struct file;
258# 293 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
259struct file;
260# 293 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
261struct file;
262# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
263struct seq_file;
264# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
265struct seq_file;
266# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
267struct seq_file;
268# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
269struct __anonstruct____missing_field_name_22 {
270 unsigned int a ;
271 unsigned int b ;
272};
273# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
274struct __anonstruct____missing_field_name_23 {
275 u16 limit0 ;
276 u16 base0 ;
277 unsigned int base1 : 8 ;
278 unsigned int type : 4 ;
279 unsigned int s : 1 ;
280 unsigned int dpl : 2 ;
281 unsigned int p : 1 ;
282 unsigned int limit : 4 ;
283 unsigned int avl : 1 ;
284 unsigned int l : 1 ;
285 unsigned int d : 1 ;
286 unsigned int g : 1 ;
287 unsigned int base2 : 8 ;
288};
289# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
290union __anonunion____missing_field_name_21 {
291 struct __anonstruct____missing_field_name_22 __annonCompField7 ;
292 struct __anonstruct____missing_field_name_23 __annonCompField8 ;
293};
294# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
295struct desc_struct {
296 union __anonunion____missing_field_name_21 __annonCompField9 ;
297} __attribute__((__packed__)) ;
298# 45 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
299struct page;
300# 46 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
301struct thread_struct;
302# 46 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
303struct thread_struct;
304# 46 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
305struct thread_struct;
306# 49 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
307struct mm_struct;
308# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
309struct desc_struct;
310# 51 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
311struct task_struct;
312# 52 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
313struct cpumask;
314# 52 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
315struct cpumask;
316# 52 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
317struct cpumask;
318# 322 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
319struct arch_spinlock;
320# 322 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
321struct arch_spinlock;
322# 322 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
323struct arch_spinlock;
324# 13 "include/linux/cpumask.h"
325struct cpumask {
326 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
327};
328# 13 "include/linux/cpumask.h"
329typedef struct cpumask cpumask_t;
330# 622 "include/linux/cpumask.h"
331typedef struct cpumask *cpumask_var_t;
332# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/system.h"
333struct task_struct;
334# 11 "include/linux/personality.h"
335struct pt_regs;
336# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
337struct i387_fsave_struct {
338 u32 cwd ;
339 u32 swd ;
340 u32 twd ;
341 u32 fip ;
342 u32 fcs ;
343 u32 foo ;
344 u32 fos ;
345 u32 st_space[20] ;
346 u32 status ;
347};
348# 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
349struct __anonstruct____missing_field_name_31 {
350 u64 rip ;
351 u64 rdp ;
352};
353# 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
354struct __anonstruct____missing_field_name_32 {
355 u32 fip ;
356 u32 fcs ;
357 u32 foo ;
358 u32 fos ;
359};
360# 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
361union __anonunion____missing_field_name_30 {
362 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
363 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
364};
365# 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
366union __anonunion____missing_field_name_33 {
367 u32 padding1[12] ;
368 u32 sw_reserved[12] ;
369};
370# 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
371struct i387_fxsave_struct {
372 u16 cwd ;
373 u16 swd ;
374 u16 twd ;
375 u16 fop ;
376 union __anonunion____missing_field_name_30 __annonCompField14 ;
377 u32 mxcsr ;
378 u32 mxcsr_mask ;
379 u32 st_space[32] ;
380 u32 xmm_space[64] ;
381 u32 padding[12] ;
382 union __anonunion____missing_field_name_33 __annonCompField15 ;
383} __attribute__((__aligned__(16))) ;
384# 331 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
385struct i387_soft_struct {
386 u32 cwd ;
387 u32 swd ;
388 u32 twd ;
389 u32 fip ;
390 u32 fcs ;
391 u32 foo ;
392 u32 fos ;
393 u32 st_space[20] ;
394 u8 ftop ;
395 u8 changed ;
396 u8 lookahead ;
397 u8 no_update ;
398 u8 rm ;
399 u8 alimit ;
400 struct math_emu_info *info ;
401 u32 entry_eip ;
402};
403# 351 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
404struct ymmh_struct {
405 u32 ymmh_space[64] ;
406};
407# 356 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
408struct xsave_hdr_struct {
409 u64 xstate_bv ;
410 u64 reserved1[2] ;
411 u64 reserved2[5] ;
412} __attribute__((__packed__)) ;
413# 362 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
414struct xsave_struct {
415 struct i387_fxsave_struct i387 ;
416 struct xsave_hdr_struct xsave_hdr ;
417 struct ymmh_struct ymmh ;
418} __attribute__((__packed__, __aligned__(64))) ;
419# 369 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
420union thread_xstate {
421 struct i387_fsave_struct fsave ;
422 struct i387_fxsave_struct fxsave ;
423 struct i387_soft_struct soft ;
424 struct xsave_struct xsave ;
425};
426# 376 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
427struct fpu {
428 union thread_xstate *state ;
429};
430# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
431struct kmem_cache;
432# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
433struct kmem_cache;
434# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
435struct perf_event;
436# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
437struct perf_event;
438# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
439struct perf_event;
440# 425 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
441struct thread_struct {
442 struct desc_struct tls_array[3] ;
443 unsigned long sp0 ;
444 unsigned long sp ;
445 unsigned long usersp ;
446 unsigned short es ;
447 unsigned short ds ;
448 unsigned short fsindex ;
449 unsigned short gsindex ;
450 unsigned long fs ;
451 unsigned long gs ;
452 struct perf_event *ptrace_bps[4] ;
453 unsigned long debugreg6 ;
454 unsigned long ptrace_dr7 ;
455 unsigned long cr2 ;
456 unsigned long trap_no ;
457 unsigned long error_code ;
458 struct fpu fpu ;
459 unsigned long *io_bitmap_ptr ;
460 unsigned long iopl ;
461 unsigned int io_bitmap_max ;
462};
463# 23 "include/asm-generic/atomic-long.h"
464typedef atomic64_t atomic_long_t;
465# 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
466struct arch_spinlock {
467 unsigned int slock ;
468};
469# 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
470typedef struct arch_spinlock arch_spinlock_t;
471# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
472struct __anonstruct_arch_rwlock_t_36 {
473 unsigned int lock ;
474};
475# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
476typedef struct __anonstruct_arch_rwlock_t_36 arch_rwlock_t;
477# 12 "include/linux/lockdep.h"
478struct task_struct;
479# 13 "include/linux/lockdep.h"
480struct lockdep_map;
481# 13 "include/linux/lockdep.h"
482struct lockdep_map;
483# 13 "include/linux/lockdep.h"
484struct lockdep_map;
485# 8 "include/linux/debug_locks.h"
486struct task_struct;
487# 48 "include/linux/debug_locks.h"
488struct task_struct;
489# 4 "include/linux/stacktrace.h"
490struct task_struct;
491# 5 "include/linux/stacktrace.h"
492struct pt_regs;
493# 8 "include/linux/stacktrace.h"
494struct task_struct;
495# 10 "include/linux/stacktrace.h"
496struct stack_trace {
497 unsigned int nr_entries ;
498 unsigned int max_entries ;
499 unsigned long *entries ;
500 int skip ;
501};
502# 50 "include/linux/lockdep.h"
503struct lockdep_subclass_key {
504 char __one_byte ;
505} __attribute__((__packed__)) ;
506# 54 "include/linux/lockdep.h"
507struct lock_class_key {
508 struct lockdep_subclass_key subkeys[8UL] ;
509};
510# 65 "include/linux/lockdep.h"
511struct lock_class {
512 struct list_head hash_entry ;
513 struct list_head lock_entry ;
514 struct lockdep_subclass_key *key ;
515 unsigned int subclass ;
516 unsigned int dep_gen_id ;
517 unsigned long usage_mask ;
518 struct stack_trace usage_traces[13] ;
519 struct list_head locks_after ;
520 struct list_head locks_before ;
521 unsigned int version ;
522 unsigned long ops ;
523 char const *name ;
524 int name_version ;
525 unsigned long contention_point[4] ;
526 unsigned long contending_point[4] ;
527};
528# 150 "include/linux/lockdep.h"
529struct lockdep_map {
530 struct lock_class_key *key ;
531 struct lock_class *class_cache[2] ;
532 char const *name ;
533 int cpu ;
534 unsigned long ip ;
535};
536# 196 "include/linux/lockdep.h"
537struct held_lock {
538 u64 prev_chain_key ;
539 unsigned long acquire_ip ;
540 struct lockdep_map *instance ;
541 struct lockdep_map *nest_lock ;
542 u64 waittime_stamp ;
543 u64 holdtime_stamp ;
544 unsigned int class_idx : 13 ;
545 unsigned int irq_context : 2 ;
546 unsigned int trylock : 1 ;
547 unsigned int read : 2 ;
548 unsigned int check : 2 ;
549 unsigned int hardirqs_off : 1 ;
550 unsigned int references : 11 ;
551};
552# 20 "include/linux/spinlock_types.h"
553struct raw_spinlock {
554 arch_spinlock_t raw_lock ;
555 unsigned int magic ;
556 unsigned int owner_cpu ;
557 void *owner ;
558 struct lockdep_map dep_map ;
559};
560# 20 "include/linux/spinlock_types.h"
561typedef struct raw_spinlock raw_spinlock_t;
562# 64 "include/linux/spinlock_types.h"
563struct __anonstruct____missing_field_name_38 {
564 u8 __padding[(unsigned int )(& ((struct raw_spinlock *)0)->dep_map)] ;
565 struct lockdep_map dep_map ;
566};
567# 64 "include/linux/spinlock_types.h"
568union __anonunion____missing_field_name_37 {
569 struct raw_spinlock rlock ;
570 struct __anonstruct____missing_field_name_38 __annonCompField17 ;
571};
572# 64 "include/linux/spinlock_types.h"
573struct spinlock {
574 union __anonunion____missing_field_name_37 __annonCompField18 ;
575};
576# 64 "include/linux/spinlock_types.h"
577typedef struct spinlock spinlock_t;
578# 11 "include/linux/rwlock_types.h"
579struct __anonstruct_rwlock_t_39 {
580 arch_rwlock_t raw_lock ;
581 unsigned int magic ;
582 unsigned int owner_cpu ;
583 void *owner ;
584 struct lockdep_map dep_map ;
585};
586# 11 "include/linux/rwlock_types.h"
587typedef struct __anonstruct_rwlock_t_39 rwlock_t;
588# 50 "include/linux/wait.h"
589struct __wait_queue_head {
590 spinlock_t lock ;
591 struct list_head task_list ;
592};
593# 54 "include/linux/wait.h"
594typedef struct __wait_queue_head wait_queue_head_t;
595# 56 "include/linux/wait.h"
596struct task_struct;
597# 119 "include/linux/seqlock.h"
598struct seqcount {
599 unsigned int sequence ;
600};
601# 119 "include/linux/seqlock.h"
602typedef struct seqcount seqcount_t;
603# 96 "include/linux/nodemask.h"
604struct __anonstruct_nodemask_t_41 {
605 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
606};
607# 96 "include/linux/nodemask.h"
608typedef struct __anonstruct_nodemask_t_41 nodemask_t;
609# 60 "include/linux/pageblock-flags.h"
610struct page;
611# 48 "include/linux/mutex.h"
612struct mutex {
613 atomic_t count ;
614 spinlock_t wait_lock ;
615 struct list_head wait_list ;
616 struct task_struct *owner ;
617 char const *name ;
618 void *magic ;
619 struct lockdep_map dep_map ;
620};
621# 69 "include/linux/mutex.h"
622struct mutex_waiter {
623 struct list_head list ;
624 struct task_struct *task ;
625 void *magic ;
626};
627# 20 "include/linux/rwsem.h"
628struct rw_semaphore;
629# 20 "include/linux/rwsem.h"
630struct rw_semaphore;
631# 20 "include/linux/rwsem.h"
632struct rw_semaphore;
633# 26 "include/linux/rwsem.h"
634struct rw_semaphore {
635 long count ;
636 spinlock_t wait_lock ;
637 struct list_head wait_list ;
638 struct lockdep_map dep_map ;
639};
640# 8 "include/linux/memory_hotplug.h"
641struct page;
642# 177 "include/linux/ioport.h"
643struct device;
644# 177 "include/linux/ioport.h"
645struct device;
646# 177 "include/linux/ioport.h"
647struct device;
648# 103 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mpspec.h"
649struct device;
650# 14 "include/linux/time.h"
651struct timespec {
652 __kernel_time_t tv_sec ;
653 long tv_nsec ;
654};
655# 46 "include/linux/ktime.h"
656union ktime {
657 s64 tv64 ;
658};
659# 59 "include/linux/ktime.h"
660typedef union ktime ktime_t;
661# 10 "include/linux/timer.h"
662struct tvec_base;
663# 10 "include/linux/timer.h"
664struct tvec_base;
665# 10 "include/linux/timer.h"
666struct tvec_base;
667# 12 "include/linux/timer.h"
668struct timer_list {
669 struct list_head entry ;
670 unsigned long expires ;
671 struct tvec_base *base ;
672 void (*function)(unsigned long ) ;
673 unsigned long data ;
674 int slack ;
675 int start_pid ;
676 void *start_site ;
677 char start_comm[16] ;
678 struct lockdep_map lockdep_map ;
679};
680# 289 "include/linux/timer.h"
681struct hrtimer;
682# 289 "include/linux/timer.h"
683struct hrtimer;
684# 289 "include/linux/timer.h"
685struct hrtimer;
686# 290 "include/linux/timer.h"
687enum hrtimer_restart;
688# 290 "include/linux/timer.h"
689enum hrtimer_restart;
690# 17 "include/linux/workqueue.h"
691struct work_struct;
692# 17 "include/linux/workqueue.h"
693struct work_struct;
694# 17 "include/linux/workqueue.h"
695struct work_struct;
696# 79 "include/linux/workqueue.h"
697struct work_struct {
698 atomic_long_t data ;
699 struct list_head entry ;
700 void (*func)(struct work_struct *work ) ;
701 struct lockdep_map lockdep_map ;
702};
703# 92 "include/linux/workqueue.h"
704struct delayed_work {
705 struct work_struct work ;
706 struct timer_list timer ;
707};
708# 25 "include/linux/completion.h"
709struct completion {
710 unsigned int done ;
711 wait_queue_head_t wait ;
712};
713# 42 "include/linux/pm.h"
714struct device;
715# 50 "include/linux/pm.h"
716struct pm_message {
717 int event ;
718};
719# 50 "include/linux/pm.h"
720typedef struct pm_message pm_message_t;
721# 204 "include/linux/pm.h"
722struct dev_pm_ops {
723 int (*prepare)(struct device *dev ) ;
724 void (*complete)(struct device *dev ) ;
725 int (*suspend)(struct device *dev ) ;
726 int (*resume)(struct device *dev ) ;
727 int (*freeze)(struct device *dev ) ;
728 int (*thaw)(struct device *dev ) ;
729 int (*poweroff)(struct device *dev ) ;
730 int (*restore)(struct device *dev ) ;
731 int (*suspend_noirq)(struct device *dev ) ;
732 int (*resume_noirq)(struct device *dev ) ;
733 int (*freeze_noirq)(struct device *dev ) ;
734 int (*thaw_noirq)(struct device *dev ) ;
735 int (*poweroff_noirq)(struct device *dev ) ;
736 int (*restore_noirq)(struct device *dev ) ;
737 int (*runtime_suspend)(struct device *dev ) ;
738 int (*runtime_resume)(struct device *dev ) ;
739 int (*runtime_idle)(struct device *dev ) ;
740};
741# 392 "include/linux/pm.h"
742enum rpm_status {
743 RPM_ACTIVE = 0,
744 RPM_RESUMING = 1,
745 RPM_SUSPENDED = 2,
746 RPM_SUSPENDING = 3
747} ;
748# 414 "include/linux/pm.h"
749enum rpm_request {
750 RPM_REQ_NONE = 0,
751 RPM_REQ_IDLE = 1,
752 RPM_REQ_SUSPEND = 2,
753 RPM_REQ_AUTOSUSPEND = 3,
754 RPM_REQ_RESUME = 4
755} ;
756# 422 "include/linux/pm.h"
757struct wakeup_source;
758# 422 "include/linux/pm.h"
759struct wakeup_source;
760# 422 "include/linux/pm.h"
761struct wakeup_source;
762# 424 "include/linux/pm.h"
763struct dev_pm_info {
764 pm_message_t power_state ;
765 unsigned int can_wakeup : 1 ;
766 unsigned int async_suspend : 1 ;
767 bool is_prepared : 1 ;
768 bool is_suspended : 1 ;
769 spinlock_t lock ;
770 struct list_head entry ;
771 struct completion completion ;
772 struct wakeup_source *wakeup ;
773 struct timer_list suspend_timer ;
774 unsigned long timer_expires ;
775 struct work_struct work ;
776 wait_queue_head_t wait_queue ;
777 atomic_t usage_count ;
778 atomic_t child_count ;
779 unsigned int disable_depth : 3 ;
780 unsigned int ignore_children : 1 ;
781 unsigned int idle_notification : 1 ;
782 unsigned int request_pending : 1 ;
783 unsigned int deferred_resume : 1 ;
784 unsigned int run_wake : 1 ;
785 unsigned int runtime_auto : 1 ;
786 unsigned int no_callbacks : 1 ;
787 unsigned int irq_safe : 1 ;
788 unsigned int use_autosuspend : 1 ;
789 unsigned int timer_autosuspends : 1 ;
790 enum rpm_request request ;
791 enum rpm_status runtime_status ;
792 int runtime_error ;
793 int autosuspend_delay ;
794 unsigned long last_busy ;
795 unsigned long active_jiffies ;
796 unsigned long suspended_jiffies ;
797 unsigned long accounting_timestamp ;
798 void *subsys_data ;
799};
800# 475 "include/linux/pm.h"
801struct dev_power_domain {
802 struct dev_pm_ops ops ;
803};
804# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
805struct __anonstruct_mm_context_t_111 {
806 void *ldt ;
807 int size ;
808 unsigned short ia32_compat ;
809 struct mutex lock ;
810 void *vdso ;
811};
812# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
813typedef struct __anonstruct_mm_context_t_111 mm_context_t;
814# 8 "include/linux/vmalloc.h"
815struct vm_area_struct;
816# 8 "include/linux/vmalloc.h"
817struct vm_area_struct;
818# 8 "include/linux/vmalloc.h"
819struct vm_area_struct;
820# 964 "include/linux/mmzone.h"
821struct page;
822# 10 "include/linux/gfp.h"
823struct vm_area_struct;
824# 20 "include/linux/kobject_ns.h"
825struct sock;
826# 20 "include/linux/kobject_ns.h"
827struct sock;
828# 20 "include/linux/kobject_ns.h"
829struct sock;
830# 21 "include/linux/kobject_ns.h"
831struct kobject;
832# 21 "include/linux/kobject_ns.h"
833struct kobject;
834# 21 "include/linux/kobject_ns.h"
835struct kobject;
836# 27 "include/linux/kobject_ns.h"
837enum kobj_ns_type {
838 KOBJ_NS_TYPE_NONE = 0,
839 KOBJ_NS_TYPE_NET = 1,
840 KOBJ_NS_TYPES = 2
841} ;
842# 40 "include/linux/kobject_ns.h"
843struct kobj_ns_type_operations {
844 enum kobj_ns_type type ;
845 void *(*grab_current_ns)(void) ;
846 void const *(*netlink_ns)(struct sock *sk ) ;
847 void const *(*initial_ns)(void) ;
848 void (*drop_ns)(void * ) ;
849};
850# 22 "include/linux/sysfs.h"
851struct kobject;
852# 23 "include/linux/sysfs.h"
853struct module;
854# 24 "include/linux/sysfs.h"
855enum kobj_ns_type;
856# 26 "include/linux/sysfs.h"
857struct attribute {
858 char const *name ;
859 mode_t mode ;
860 struct lock_class_key *key ;
861 struct lock_class_key skey ;
862};
863# 56 "include/linux/sysfs.h"
864struct attribute_group {
865 char const *name ;
866 mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
867 struct attribute **attrs ;
868};
869# 85 "include/linux/sysfs.h"
870struct file;
871# 86 "include/linux/sysfs.h"
872struct vm_area_struct;
873# 88 "include/linux/sysfs.h"
874struct bin_attribute {
875 struct attribute attr ;
876 size_t size ;
877 void *private ;
878 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
879 loff_t , size_t ) ;
880 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
881 loff_t , size_t ) ;
882 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
883};
884# 112 "include/linux/sysfs.h"
885struct sysfs_ops {
886 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
887 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
888};
889# 117 "include/linux/sysfs.h"
890struct sysfs_dirent;
891# 117 "include/linux/sysfs.h"
892struct sysfs_dirent;
893# 117 "include/linux/sysfs.h"
894struct sysfs_dirent;
895# 20 "include/linux/kref.h"
896struct kref {
897 atomic_t refcount ;
898};
899# 60 "include/linux/kobject.h"
900struct kset;
901# 60 "include/linux/kobject.h"
902struct kset;
903# 60 "include/linux/kobject.h"
904struct kobj_type;
905# 60 "include/linux/kobject.h"
906struct kobj_type;
907# 60 "include/linux/kobject.h"
908struct kobject {
909 char const *name ;
910 struct list_head entry ;
911 struct kobject *parent ;
912 struct kset *kset ;
913 struct kobj_type *ktype ;
914 struct sysfs_dirent *sd ;
915 struct kref kref ;
916 unsigned int state_initialized : 1 ;
917 unsigned int state_in_sysfs : 1 ;
918 unsigned int state_add_uevent_sent : 1 ;
919 unsigned int state_remove_uevent_sent : 1 ;
920 unsigned int uevent_suppress : 1 ;
921};
922# 110 "include/linux/kobject.h"
923struct kobj_type {
924 void (*release)(struct kobject *kobj ) ;
925 struct sysfs_ops const *sysfs_ops ;
926 struct attribute **default_attrs ;
927 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
928 void const *(*namespace)(struct kobject *kobj ) ;
929};
930# 118 "include/linux/kobject.h"
931struct kobj_uevent_env {
932 char *envp[32] ;
933 int envp_idx ;
934 char buf[2048] ;
935 int buflen ;
936};
937# 125 "include/linux/kobject.h"
938struct kset_uevent_ops {
939 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
940 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
941 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
942};
943# 142 "include/linux/kobject.h"
944struct sock;
945# 161 "include/linux/kobject.h"
946struct kset {
947 struct list_head list ;
948 spinlock_t list_lock ;
949 struct kobject kobj ;
950 struct kset_uevent_ops const *uevent_ops ;
951};
952# 38 "include/linux/slub_def.h"
953struct kmem_cache_cpu {
954 void **freelist ;
955 unsigned long tid ;
956 struct page *page ;
957 int node ;
958 unsigned int stat[19] ;
959};
960# 48 "include/linux/slub_def.h"
961struct kmem_cache_node {
962 spinlock_t list_lock ;
963 unsigned long nr_partial ;
964 struct list_head partial ;
965 atomic_long_t nr_slabs ;
966 atomic_long_t total_objects ;
967 struct list_head full ;
968};
969# 64 "include/linux/slub_def.h"
970struct kmem_cache_order_objects {
971 unsigned long x ;
972};
973# 71 "include/linux/slub_def.h"
974struct kmem_cache {
975 struct kmem_cache_cpu *cpu_slab ;
976 unsigned long flags ;
977 unsigned long min_partial ;
978 int size ;
979 int objsize ;
980 int offset ;
981 struct kmem_cache_order_objects oo ;
982 struct kmem_cache_order_objects max ;
983 struct kmem_cache_order_objects min ;
984 gfp_t allocflags ;
985 int refcount ;
986 void (*ctor)(void * ) ;
987 int inuse ;
988 int align ;
989 int reserved ;
990 char const *name ;
991 struct list_head list ;
992 struct kobject kobj ;
993 int remote_node_defrag_ratio ;
994 struct kmem_cache_node *node[1 << 10] ;
995};
996# 62 "include/linux/stat.h"
997struct kstat {
998 u64 ino ;
999 dev_t dev ;
1000 umode_t mode ;
1001 unsigned int nlink ;
1002 uid_t uid ;
1003 gid_t gid ;
1004 dev_t rdev ;
1005 loff_t size ;
1006 struct timespec atime ;
1007 struct timespec mtime ;
1008 struct timespec ctime ;
1009 unsigned long blksize ;
1010 unsigned long long blocks ;
1011};
1012# 29 "include/linux/sysctl.h"
1013struct completion;
1014# 72 "include/linux/rcupdate.h"
1015struct rcu_head {
1016 struct rcu_head *next ;
1017 void (*func)(struct rcu_head *head ) ;
1018};
1019# 937 "include/linux/sysctl.h"
1020struct nsproxy;
1021# 937 "include/linux/sysctl.h"
1022struct nsproxy;
1023# 937 "include/linux/sysctl.h"
1024struct nsproxy;
1025# 48 "include/linux/kmod.h"
1026struct cred;
1027# 48 "include/linux/kmod.h"
1028struct cred;
1029# 48 "include/linux/kmod.h"
1030struct cred;
1031# 49 "include/linux/kmod.h"
1032struct file;
1033# 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
1034struct task_struct;
1035# 10 "include/linux/elf.h"
1036struct file;
1037# 27 "include/linux/elf.h"
1038typedef __u64 Elf64_Addr;
1039# 28 "include/linux/elf.h"
1040typedef __u16 Elf64_Half;
1041# 32 "include/linux/elf.h"
1042typedef __u32 Elf64_Word;
1043# 33 "include/linux/elf.h"
1044typedef __u64 Elf64_Xword;
1045# 203 "include/linux/elf.h"
1046struct elf64_sym {
1047 Elf64_Word st_name ;
1048 unsigned char st_info ;
1049 unsigned char st_other ;
1050 Elf64_Half st_shndx ;
1051 Elf64_Addr st_value ;
1052 Elf64_Xword st_size ;
1053};
1054# 203 "include/linux/elf.h"
1055typedef struct elf64_sym Elf64_Sym;
1056# 34 "include/linux/moduleparam.h"
1057struct kernel_param;
1058# 34 "include/linux/moduleparam.h"
1059struct kernel_param;
1060# 34 "include/linux/moduleparam.h"
1061struct kernel_param;
1062# 36 "include/linux/moduleparam.h"
1063struct kernel_param_ops {
1064 int (*set)(char const *val , struct kernel_param const *kp ) ;
1065 int (*get)(char *buffer , struct kernel_param const *kp ) ;
1066 void (*free)(void *arg ) ;
1067};
1068# 48 "include/linux/moduleparam.h"
1069struct kparam_string;
1070# 48 "include/linux/moduleparam.h"
1071struct kparam_string;
1072# 48 "include/linux/moduleparam.h"
1073struct kparam_array;
1074# 48 "include/linux/moduleparam.h"
1075struct kparam_array;
1076# 48 "include/linux/moduleparam.h"
1077union __anonunion____missing_field_name_195 {
1078 void *arg ;
1079 struct kparam_string const *str ;
1080 struct kparam_array const *arr ;
1081};
1082# 48 "include/linux/moduleparam.h"
1083struct kernel_param {
1084 char const *name ;
1085 struct kernel_param_ops const *ops ;
1086 u16 perm ;
1087 u16 flags ;
1088 union __anonunion____missing_field_name_195 __annonCompField31 ;
1089};
1090# 61 "include/linux/moduleparam.h"
1091struct kparam_string {
1092 unsigned int maxlen ;
1093 char *string ;
1094};
1095# 67 "include/linux/moduleparam.h"
1096struct kparam_array {
1097 unsigned int max ;
1098 unsigned int elemsize ;
1099 unsigned int *num ;
1100 struct kernel_param_ops const *ops ;
1101 void *elem ;
1102};
1103# 391 "include/linux/moduleparam.h"
1104struct module;
1105# 26 "include/linux/jump_label.h"
1106struct module;
1107# 61 "include/linux/jump_label.h"
1108struct jump_label_key {
1109 atomic_t enabled ;
1110};
1111# 22 "include/linux/tracepoint.h"
1112struct module;
1113# 23 "include/linux/tracepoint.h"
1114struct tracepoint;
1115# 23 "include/linux/tracepoint.h"
1116struct tracepoint;
1117# 23 "include/linux/tracepoint.h"
1118struct tracepoint;
1119# 25 "include/linux/tracepoint.h"
1120struct tracepoint_func {
1121 void *func ;
1122 void *data ;
1123};
1124# 30 "include/linux/tracepoint.h"
1125struct tracepoint {
1126 char const *name ;
1127 struct jump_label_key key ;
1128 void (*regfunc)(void) ;
1129 void (*unregfunc)(void) ;
1130 struct tracepoint_func *funcs ;
1131};
1132# 8 "include/asm-generic/module.h"
1133struct mod_arch_specific {
1134
1135};
1136# 21 "include/trace/events/module.h"
1137struct module;
1138# 37 "include/linux/module.h"
1139struct kernel_symbol {
1140 unsigned long value ;
1141 char const *name ;
1142};
1143# 49 "include/linux/module.h"
1144struct module;
1145# 51 "include/linux/module.h"
1146struct module_attribute {
1147 struct attribute attr ;
1148 ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
1149 ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
1150 size_t count ) ;
1151 void (*setup)(struct module * , char const * ) ;
1152 int (*test)(struct module * ) ;
1153 void (*free)(struct module * ) ;
1154};
1155# 70 "include/linux/module.h"
1156struct module_param_attrs;
1157# 70 "include/linux/module.h"
1158struct module_param_attrs;
1159# 70 "include/linux/module.h"
1160struct module_kobject {
1161 struct kobject kobj ;
1162 struct module *mod ;
1163 struct kobject *drivers_dir ;
1164 struct module_param_attrs *mp ;
1165};
1166# 83 "include/linux/module.h"
1167struct exception_table_entry;
1168# 83 "include/linux/module.h"
1169struct exception_table_entry;
1170# 83 "include/linux/module.h"
1171struct exception_table_entry;
1172# 265 "include/linux/module.h"
1173enum module_state {
1174 MODULE_STATE_LIVE = 0,
1175 MODULE_STATE_COMING = 1,
1176 MODULE_STATE_GOING = 2
1177} ;
1178# 272 "include/linux/module.h"
1179struct module_sect_attrs;
1180# 272 "include/linux/module.h"
1181struct module_sect_attrs;
1182# 272 "include/linux/module.h"
1183struct module_notes_attrs;
1184# 272 "include/linux/module.h"
1185struct module_notes_attrs;
1186# 272 "include/linux/module.h"
1187struct ftrace_event_call;
1188# 272 "include/linux/module.h"
1189struct ftrace_event_call;
1190# 272 "include/linux/module.h"
1191struct module_ref {
1192 unsigned int incs ;
1193 unsigned int decs ;
1194};
1195# 272 "include/linux/module.h"
1196struct module {
1197 enum module_state state ;
1198 struct list_head list ;
1199 char name[64UL - sizeof(unsigned long )] ;
1200 struct module_kobject mkobj ;
1201 struct module_attribute *modinfo_attrs ;
1202 char const *version ;
1203 char const *srcversion ;
1204 struct kobject *holders_dir ;
1205 struct kernel_symbol const *syms ;
1206 unsigned long const *crcs ;
1207 unsigned int num_syms ;
1208 struct kernel_param *kp ;
1209 unsigned int num_kp ;
1210 unsigned int num_gpl_syms ;
1211 struct kernel_symbol const *gpl_syms ;
1212 unsigned long const *gpl_crcs ;
1213 struct kernel_symbol const *unused_syms ;
1214 unsigned long const *unused_crcs ;
1215 unsigned int num_unused_syms ;
1216 unsigned int num_unused_gpl_syms ;
1217 struct kernel_symbol const *unused_gpl_syms ;
1218 unsigned long const *unused_gpl_crcs ;
1219 struct kernel_symbol const *gpl_future_syms ;
1220 unsigned long const *gpl_future_crcs ;
1221 unsigned int num_gpl_future_syms ;
1222 unsigned int num_exentries ;
1223 struct exception_table_entry *extable ;
1224 int (*init)(void) ;
1225 void *module_init ;
1226 void *module_core ;
1227 unsigned int init_size ;
1228 unsigned int core_size ;
1229 unsigned int init_text_size ;
1230 unsigned int core_text_size ;
1231 unsigned int init_ro_size ;
1232 unsigned int core_ro_size ;
1233 struct mod_arch_specific arch ;
1234 unsigned int taints ;
1235 unsigned int num_bugs ;
1236 struct list_head bug_list ;
1237 struct bug_entry *bug_table ;
1238 Elf64_Sym *symtab ;
1239 Elf64_Sym *core_symtab ;
1240 unsigned int num_symtab ;
1241 unsigned int core_num_syms ;
1242 char *strtab ;
1243 char *core_strtab ;
1244 struct module_sect_attrs *sect_attrs ;
1245 struct module_notes_attrs *notes_attrs ;
1246 char *args ;
1247 void *percpu ;
1248 unsigned int percpu_size ;
1249 unsigned int num_tracepoints ;
1250 struct tracepoint * const *tracepoints_ptrs ;
1251 unsigned int num_trace_bprintk_fmt ;
1252 char const **trace_bprintk_fmt_start ;
1253 struct ftrace_event_call **trace_events ;
1254 unsigned int num_trace_events ;
1255 unsigned int num_ftrace_callsites ;
1256 unsigned long *ftrace_callsites ;
1257 struct list_head source_list ;
1258 struct list_head target_list ;
1259 struct task_struct *waiter ;
1260 void (*exit)(void) ;
1261 struct module_ref *refptr ;
1262 ctor_fn_t *ctors ;
1263 unsigned int num_ctors ;
1264};
1265# 12 "include/linux/mod_devicetable.h"
1266typedef unsigned long kernel_ulong_t;
1267# 98 "include/linux/mod_devicetable.h"
1268struct usb_device_id {
1269 __u16 match_flags ;
1270 __u16 idVendor ;
1271 __u16 idProduct ;
1272 __u16 bcdDevice_lo ;
1273 __u16 bcdDevice_hi ;
1274 __u8 bDeviceClass ;
1275 __u8 bDeviceSubClass ;
1276 __u8 bDeviceProtocol ;
1277 __u8 bInterfaceClass ;
1278 __u8 bInterfaceSubClass ;
1279 __u8 bInterfaceProtocol ;
1280 kernel_ulong_t driver_info ;
1281};
1282# 219 "include/linux/mod_devicetable.h"
1283struct of_device_id {
1284 char name[32] ;
1285 char type[32] ;
1286 char compatible[128] ;
1287 void *data ;
1288};
1289# 312 "include/linux/mod_devicetable.h"
1290struct input_device_id {
1291 kernel_ulong_t flags ;
1292 __u16 bustype ;
1293 __u16 vendor ;
1294 __u16 product ;
1295 __u16 version ;
1296 kernel_ulong_t evbit[1] ;
1297 kernel_ulong_t keybit[12] ;
1298 kernel_ulong_t relbit[1] ;
1299 kernel_ulong_t absbit[1] ;
1300 kernel_ulong_t mscbit[1] ;
1301 kernel_ulong_t ledbit[1] ;
1302 kernel_ulong_t sndbit[1] ;
1303 kernel_ulong_t ffbit[2] ;
1304 kernel_ulong_t swbit[1] ;
1305 kernel_ulong_t driver_info ;
1306};
1307# 244 "include/linux/usb/ch9.h"
1308struct usb_device_descriptor {
1309 __u8 bLength ;
1310 __u8 bDescriptorType ;
1311 __le16 bcdUSB ;
1312 __u8 bDeviceClass ;
1313 __u8 bDeviceSubClass ;
1314 __u8 bDeviceProtocol ;
1315 __u8 bMaxPacketSize0 ;
1316 __le16 idVendor ;
1317 __le16 idProduct ;
1318 __le16 bcdDevice ;
1319 __u8 iManufacturer ;
1320 __u8 iProduct ;
1321 __u8 iSerialNumber ;
1322 __u8 bNumConfigurations ;
1323} __attribute__((__packed__)) ;
1324# 300 "include/linux/usb/ch9.h"
1325struct usb_config_descriptor {
1326 __u8 bLength ;
1327 __u8 bDescriptorType ;
1328 __le16 wTotalLength ;
1329 __u8 bNumInterfaces ;
1330 __u8 bConfigurationValue ;
1331 __u8 iConfiguration ;
1332 __u8 bmAttributes ;
1333 __u8 bMaxPower ;
1334} __attribute__((__packed__)) ;
1335# 337 "include/linux/usb/ch9.h"
1336struct usb_interface_descriptor {
1337 __u8 bLength ;
1338 __u8 bDescriptorType ;
1339 __u8 bInterfaceNumber ;
1340 __u8 bAlternateSetting ;
1341 __u8 bNumEndpoints ;
1342 __u8 bInterfaceClass ;
1343 __u8 bInterfaceSubClass ;
1344 __u8 bInterfaceProtocol ;
1345 __u8 iInterface ;
1346} __attribute__((__packed__)) ;
1347# 355 "include/linux/usb/ch9.h"
1348struct usb_endpoint_descriptor {
1349 __u8 bLength ;
1350 __u8 bDescriptorType ;
1351 __u8 bEndpointAddress ;
1352 __u8 bmAttributes ;
1353 __le16 wMaxPacketSize ;
1354 __u8 bInterval ;
1355 __u8 bRefresh ;
1356 __u8 bSynchAddress ;
1357} __attribute__((__packed__)) ;
1358# 576 "include/linux/usb/ch9.h"
1359struct usb_ss_ep_comp_descriptor {
1360 __u8 bLength ;
1361 __u8 bDescriptorType ;
1362 __u8 bMaxBurst ;
1363 __u8 bmAttributes ;
1364 __le16 wBytesPerInterval ;
1365} __attribute__((__packed__)) ;
1366# 637 "include/linux/usb/ch9.h"
1367struct usb_interface_assoc_descriptor {
1368 __u8 bLength ;
1369 __u8 bDescriptorType ;
1370 __u8 bFirstInterface ;
1371 __u8 bInterfaceCount ;
1372 __u8 bFunctionClass ;
1373 __u8 bFunctionSubClass ;
1374 __u8 bFunctionProtocol ;
1375 __u8 iFunction ;
1376} __attribute__((__packed__)) ;
1377# 846 "include/linux/usb/ch9.h"
1378enum usb_device_speed {
1379 USB_SPEED_UNKNOWN = 0,
1380 USB_SPEED_LOW = 1,
1381 USB_SPEED_FULL = 2,
1382 USB_SPEED_HIGH = 3,
1383 USB_SPEED_WIRELESS = 4,
1384 USB_SPEED_SUPER = 5
1385} ;
1386# 854 "include/linux/usb/ch9.h"
1387enum usb_device_state {
1388 USB_STATE_NOTATTACHED = 0,
1389 USB_STATE_ATTACHED = 1,
1390 USB_STATE_POWERED = 2,
1391 USB_STATE_RECONNECTING = 3,
1392 USB_STATE_UNAUTHENTICATED = 4,
1393 USB_STATE_DEFAULT = 5,
1394 USB_STATE_ADDRESS = 6,
1395 USB_STATE_CONFIGURED = 7,
1396 USB_STATE_SUSPENDED = 8
1397} ;
1398# 10 "include/linux/irqreturn.h"
1399enum irqreturn {
1400 IRQ_NONE = 0,
1401 IRQ_HANDLED = 1,
1402 IRQ_WAKE_THREAD = 2
1403} ;
1404# 16 "include/linux/irqreturn.h"
1405typedef enum irqreturn irqreturn_t;
1406# 31 "include/linux/irq.h"
1407struct seq_file;
1408# 12 "include/linux/irqdesc.h"
1409struct proc_dir_entry;
1410# 12 "include/linux/irqdesc.h"
1411struct proc_dir_entry;
1412# 12 "include/linux/irqdesc.h"
1413struct proc_dir_entry;
1414# 39 "include/linux/irqdesc.h"
1415struct irqaction;
1416# 39 "include/linux/irqdesc.h"
1417struct irqaction;
1418# 16 "include/linux/profile.h"
1419struct proc_dir_entry;
1420# 17 "include/linux/profile.h"
1421struct pt_regs;
1422# 65 "include/linux/profile.h"
1423struct task_struct;
1424# 66 "include/linux/profile.h"
1425struct mm_struct;
1426# 88 "include/linux/profile.h"
1427struct pt_regs;
1428# 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
1429struct exception_table_entry {
1430 unsigned long insn ;
1431 unsigned long fixup ;
1432};
1433# 363 "include/linux/irq.h"
1434struct irqaction;
1435# 132 "include/linux/hardirq.h"
1436struct task_struct;
1437# 100 "include/linux/rbtree.h"
1438struct rb_node {
1439 unsigned long rb_parent_color ;
1440 struct rb_node *rb_right ;
1441 struct rb_node *rb_left ;
1442} __attribute__((__aligned__(sizeof(long )))) ;
1443# 110 "include/linux/rbtree.h"
1444struct rb_root {
1445 struct rb_node *rb_node ;
1446};
1447# 8 "include/linux/timerqueue.h"
1448struct timerqueue_node {
1449 struct rb_node node ;
1450 ktime_t expires ;
1451};
1452# 13 "include/linux/timerqueue.h"
1453struct timerqueue_head {
1454 struct rb_root head ;
1455 struct timerqueue_node *next ;
1456};
1457# 27 "include/linux/hrtimer.h"
1458struct hrtimer_clock_base;
1459# 27 "include/linux/hrtimer.h"
1460struct hrtimer_clock_base;
1461# 27 "include/linux/hrtimer.h"
1462struct hrtimer_clock_base;
1463# 28 "include/linux/hrtimer.h"
1464struct hrtimer_cpu_base;
1465# 28 "include/linux/hrtimer.h"
1466struct hrtimer_cpu_base;
1467# 28 "include/linux/hrtimer.h"
1468struct hrtimer_cpu_base;
1469# 44 "include/linux/hrtimer.h"
1470enum hrtimer_restart {
1471 HRTIMER_NORESTART = 0,
1472 HRTIMER_RESTART = 1
1473} ;
1474# 108 "include/linux/hrtimer.h"
1475struct hrtimer {
1476 struct timerqueue_node node ;
1477 ktime_t _softexpires ;
1478 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1479 struct hrtimer_clock_base *base ;
1480 unsigned long state ;
1481 int start_pid ;
1482 void *start_site ;
1483 char start_comm[16] ;
1484};
1485# 145 "include/linux/hrtimer.h"
1486struct hrtimer_clock_base {
1487 struct hrtimer_cpu_base *cpu_base ;
1488 int index ;
1489 clockid_t clockid ;
1490 struct timerqueue_head active ;
1491 ktime_t resolution ;
1492 ktime_t (*get_time)(void) ;
1493 ktime_t softirq_time ;
1494 ktime_t offset ;
1495};
1496# 178 "include/linux/hrtimer.h"
1497struct hrtimer_cpu_base {
1498 raw_spinlock_t lock ;
1499 unsigned long active_bases ;
1500 ktime_t expires_next ;
1501 int hres_active ;
1502 int hang_detected ;
1503 unsigned long nr_events ;
1504 unsigned long nr_retries ;
1505 unsigned long nr_hangs ;
1506 ktime_t max_hang_time ;
1507 struct hrtimer_clock_base clock_base[3] ;
1508};
1509# 9 "include/trace/events/irq.h"
1510struct irqaction;
1511# 106 "include/linux/interrupt.h"
1512struct irqaction {
1513 irqreturn_t (*handler)(int , void * ) ;
1514 unsigned long flags ;
1515 void *dev_id ;
1516 struct irqaction *next ;
1517 int irq ;
1518 irqreturn_t (*thread_fn)(int , void * ) ;
1519 struct task_struct *thread ;
1520 unsigned long thread_flags ;
1521 unsigned long thread_mask ;
1522 char const *name ;
1523 struct proc_dir_entry *dir ;
1524} __attribute__((__aligned__((1) << (12) ))) ;
1525# 172 "include/linux/interrupt.h"
1526struct device;
1527# 682 "include/linux/interrupt.h"
1528struct seq_file;
1529# 19 "include/linux/klist.h"
1530struct klist_node;
1531# 19 "include/linux/klist.h"
1532struct klist_node;
1533# 19 "include/linux/klist.h"
1534struct klist_node;
1535# 39 "include/linux/klist.h"
1536struct klist_node {
1537 void *n_klist ;
1538 struct list_head n_node ;
1539 struct kref n_ref ;
1540};
1541# 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1542struct dma_map_ops;
1543# 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1544struct dma_map_ops;
1545# 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1546struct dev_archdata {
1547 void *acpi_handle ;
1548 struct dma_map_ops *dma_ops ;
1549 void *iommu ;
1550};
1551# 28 "include/linux/device.h"
1552struct device;
1553# 29 "include/linux/device.h"
1554struct device_private;
1555# 29 "include/linux/device.h"
1556struct device_private;
1557# 29 "include/linux/device.h"
1558struct device_private;
1559# 30 "include/linux/device.h"
1560struct device_driver;
1561# 30 "include/linux/device.h"
1562struct device_driver;
1563# 30 "include/linux/device.h"
1564struct device_driver;
1565# 31 "include/linux/device.h"
1566struct driver_private;
1567# 31 "include/linux/device.h"
1568struct driver_private;
1569# 31 "include/linux/device.h"
1570struct driver_private;
1571# 32 "include/linux/device.h"
1572struct class;
1573# 32 "include/linux/device.h"
1574struct class;
1575# 32 "include/linux/device.h"
1576struct class;
1577# 33 "include/linux/device.h"
1578struct subsys_private;
1579# 33 "include/linux/device.h"
1580struct subsys_private;
1581# 33 "include/linux/device.h"
1582struct subsys_private;
1583# 34 "include/linux/device.h"
1584struct bus_type;
1585# 34 "include/linux/device.h"
1586struct bus_type;
1587# 34 "include/linux/device.h"
1588struct bus_type;
1589# 35 "include/linux/device.h"
1590struct device_node;
1591# 35 "include/linux/device.h"
1592struct device_node;
1593# 35 "include/linux/device.h"
1594struct device_node;
1595# 37 "include/linux/device.h"
1596struct bus_attribute {
1597 struct attribute attr ;
1598 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1599 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1600};
1601# 82 "include/linux/device.h"
1602struct device_attribute;
1603# 82 "include/linux/device.h"
1604struct device_attribute;
1605# 82 "include/linux/device.h"
1606struct driver_attribute;
1607# 82 "include/linux/device.h"
1608struct driver_attribute;
1609# 82 "include/linux/device.h"
1610struct bus_type {
1611 char const *name ;
1612 struct bus_attribute *bus_attrs ;
1613 struct device_attribute *dev_attrs ;
1614 struct driver_attribute *drv_attrs ;
1615 int (*match)(struct device *dev , struct device_driver *drv ) ;
1616 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1617 int (*probe)(struct device *dev ) ;
1618 int (*remove)(struct device *dev ) ;
1619 void (*shutdown)(struct device *dev ) ;
1620 int (*suspend)(struct device *dev , pm_message_t state ) ;
1621 int (*resume)(struct device *dev ) ;
1622 struct dev_pm_ops const *pm ;
1623 struct subsys_private *p ;
1624};
1625# 185 "include/linux/device.h"
1626struct device_driver {
1627 char const *name ;
1628 struct bus_type *bus ;
1629 struct module *owner ;
1630 char const *mod_name ;
1631 bool suppress_bind_attrs ;
1632 struct of_device_id const *of_match_table ;
1633 int (*probe)(struct device *dev ) ;
1634 int (*remove)(struct device *dev ) ;
1635 void (*shutdown)(struct device *dev ) ;
1636 int (*suspend)(struct device *dev , pm_message_t state ) ;
1637 int (*resume)(struct device *dev ) ;
1638 struct attribute_group const **groups ;
1639 struct dev_pm_ops const *pm ;
1640 struct driver_private *p ;
1641};
1642# 222 "include/linux/device.h"
1643struct driver_attribute {
1644 struct attribute attr ;
1645 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1646 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1647};
1648# 280 "include/linux/device.h"
1649struct class_attribute;
1650# 280 "include/linux/device.h"
1651struct class_attribute;
1652# 280 "include/linux/device.h"
1653struct class {
1654 char const *name ;
1655 struct module *owner ;
1656 struct class_attribute *class_attrs ;
1657 struct device_attribute *dev_attrs ;
1658 struct bin_attribute *dev_bin_attrs ;
1659 struct kobject *dev_kobj ;
1660 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1661 char *(*devnode)(struct device *dev , mode_t *mode ) ;
1662 void (*class_release)(struct class *class ) ;
1663 void (*dev_release)(struct device *dev ) ;
1664 int (*suspend)(struct device *dev , pm_message_t state ) ;
1665 int (*resume)(struct device *dev ) ;
1666 struct kobj_ns_type_operations const *ns_type ;
1667 void const *(*namespace)(struct device *dev ) ;
1668 struct dev_pm_ops const *pm ;
1669 struct subsys_private *p ;
1670};
1671# 306 "include/linux/device.h"
1672struct device_type;
1673# 306 "include/linux/device.h"
1674struct device_type;
1675# 347 "include/linux/device.h"
1676struct class_attribute {
1677 struct attribute attr ;
1678 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1679 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1680 size_t count ) ;
1681};
1682# 413 "include/linux/device.h"
1683struct device_type {
1684 char const *name ;
1685 struct attribute_group const **groups ;
1686 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1687 char *(*devnode)(struct device *dev , mode_t *mode ) ;
1688 void (*release)(struct device *dev ) ;
1689 struct dev_pm_ops const *pm ;
1690};
1691# 424 "include/linux/device.h"
1692struct device_attribute {
1693 struct attribute attr ;
1694 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1695 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1696 size_t count ) ;
1697};
1698# 484 "include/linux/device.h"
1699struct device_dma_parameters {
1700 unsigned int max_segment_size ;
1701 unsigned long segment_boundary_mask ;
1702};
1703# 551 "include/linux/device.h"
1704struct dma_coherent_mem;
1705# 551 "include/linux/device.h"
1706struct dma_coherent_mem;
1707# 551 "include/linux/device.h"
1708struct device {
1709 struct device *parent ;
1710 struct device_private *p ;
1711 struct kobject kobj ;
1712 char const *init_name ;
1713 struct device_type const *type ;
1714 struct mutex mutex ;
1715 struct bus_type *bus ;
1716 struct device_driver *driver ;
1717 void *platform_data ;
1718 struct dev_pm_info power ;
1719 struct dev_power_domain *pwr_domain ;
1720 int numa_node ;
1721 u64 *dma_mask ;
1722 u64 coherent_dma_mask ;
1723 struct device_dma_parameters *dma_parms ;
1724 struct list_head dma_pools ;
1725 struct dma_coherent_mem *dma_mem ;
1726 struct dev_archdata archdata ;
1727 struct device_node *of_node ;
1728 dev_t devt ;
1729 spinlock_t devres_lock ;
1730 struct list_head devres_head ;
1731 struct klist_node knode_class ;
1732 struct class *class ;
1733 struct attribute_group const **groups ;
1734 void (*release)(struct device *dev ) ;
1735};
1736# 43 "include/linux/pm_wakeup.h"
1737struct wakeup_source {
1738 char *name ;
1739 struct list_head entry ;
1740 spinlock_t lock ;
1741 struct timer_list timer ;
1742 unsigned long timer_expires ;
1743 ktime_t total_time ;
1744 ktime_t max_time ;
1745 ktime_t last_time ;
1746 unsigned long event_count ;
1747 unsigned long active_count ;
1748 unsigned long relax_count ;
1749 unsigned long hit_count ;
1750 unsigned int active : 1 ;
1751};
1752# 15 "include/linux/blk_types.h"
1753struct page;
1754# 16 "include/linux/blk_types.h"
1755struct block_device;
1756# 16 "include/linux/blk_types.h"
1757struct block_device;
1758# 16 "include/linux/blk_types.h"
1759struct block_device;
1760# 33 "include/linux/list_bl.h"
1761struct hlist_bl_node;
1762# 33 "include/linux/list_bl.h"
1763struct hlist_bl_node;
1764# 33 "include/linux/list_bl.h"
1765struct hlist_bl_head {
1766 struct hlist_bl_node *first ;
1767};
1768# 37 "include/linux/list_bl.h"
1769struct hlist_bl_node {
1770 struct hlist_bl_node *next ;
1771 struct hlist_bl_node **pprev ;
1772};
1773# 13 "include/linux/dcache.h"
1774struct nameidata;
1775# 13 "include/linux/dcache.h"
1776struct nameidata;
1777# 13 "include/linux/dcache.h"
1778struct nameidata;
1779# 14 "include/linux/dcache.h"
1780struct path;
1781# 14 "include/linux/dcache.h"
1782struct path;
1783# 14 "include/linux/dcache.h"
1784struct path;
1785# 15 "include/linux/dcache.h"
1786struct vfsmount;
1787# 15 "include/linux/dcache.h"
1788struct vfsmount;
1789# 15 "include/linux/dcache.h"
1790struct vfsmount;
1791# 35 "include/linux/dcache.h"
1792struct qstr {
1793 unsigned int hash ;
1794 unsigned int len ;
1795 unsigned char const *name ;
1796};
1797# 116 "include/linux/dcache.h"
1798struct inode;
1799# 116 "include/linux/dcache.h"
1800struct inode;
1801# 116 "include/linux/dcache.h"
1802struct dentry_operations;
1803# 116 "include/linux/dcache.h"
1804struct dentry_operations;
1805# 116 "include/linux/dcache.h"
1806struct super_block;
1807# 116 "include/linux/dcache.h"
1808struct super_block;
1809# 116 "include/linux/dcache.h"
1810union __anonunion_d_u_206 {
1811 struct list_head d_child ;
1812 struct rcu_head d_rcu ;
1813};
1814# 116 "include/linux/dcache.h"
1815struct dentry {
1816 unsigned int d_flags ;
1817 seqcount_t d_seq ;
1818 struct hlist_bl_node d_hash ;
1819 struct dentry *d_parent ;
1820 struct qstr d_name ;
1821 struct inode *d_inode ;
1822 unsigned char d_iname[32] ;
1823 unsigned int d_count ;
1824 spinlock_t d_lock ;
1825 struct dentry_operations const *d_op ;
1826 struct super_block *d_sb ;
1827 unsigned long d_time ;
1828 void *d_fsdata ;
1829 struct list_head d_lru ;
1830 union __anonunion_d_u_206 d_u ;
1831 struct list_head d_subdirs ;
1832 struct list_head d_alias ;
1833};
1834# 159 "include/linux/dcache.h"
1835struct dentry_operations {
1836 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1837 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1838 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1839 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1840 int (*d_delete)(struct dentry const * ) ;
1841 void (*d_release)(struct dentry * ) ;
1842 void (*d_iput)(struct dentry * , struct inode * ) ;
1843 char *(*d_dname)(struct dentry * , char * , int ) ;
1844 struct vfsmount *(*d_automount)(struct path * ) ;
1845 int (*d_manage)(struct dentry * , bool ) ;
1846} __attribute__((__aligned__((1) << (6) ))) ;
1847# 4 "include/linux/path.h"
1848struct dentry;
1849# 5 "include/linux/path.h"
1850struct vfsmount;
1851# 7 "include/linux/path.h"
1852struct path {
1853 struct vfsmount *mnt ;
1854 struct dentry *dentry ;
1855};
1856# 57 "include/linux/radix-tree.h"
1857struct radix_tree_node;
1858# 57 "include/linux/radix-tree.h"
1859struct radix_tree_node;
1860# 57 "include/linux/radix-tree.h"
1861struct radix_tree_root {
1862 unsigned int height ;
1863 gfp_t gfp_mask ;
1864 struct radix_tree_node *rnode ;
1865};
1866# 14 "include/linux/prio_tree.h"
1867struct prio_tree_node;
1868# 14 "include/linux/prio_tree.h"
1869struct prio_tree_node;
1870# 14 "include/linux/prio_tree.h"
1871struct raw_prio_tree_node {
1872 struct prio_tree_node *left ;
1873 struct prio_tree_node *right ;
1874 struct prio_tree_node *parent ;
1875};
1876# 20 "include/linux/prio_tree.h"
1877struct prio_tree_node {
1878 struct prio_tree_node *left ;
1879 struct prio_tree_node *right ;
1880 struct prio_tree_node *parent ;
1881 unsigned long start ;
1882 unsigned long last ;
1883};
1884# 28 "include/linux/prio_tree.h"
1885struct prio_tree_root {
1886 struct prio_tree_node *prio_tree_node ;
1887 unsigned short index_bits ;
1888 unsigned short raw ;
1889};
1890# 6 "include/linux/pid.h"
1891enum pid_type {
1892 PIDTYPE_PID = 0,
1893 PIDTYPE_PGID = 1,
1894 PIDTYPE_SID = 2,
1895 PIDTYPE_MAX = 3
1896} ;
1897# 50 "include/linux/pid.h"
1898struct pid_namespace;
1899# 50 "include/linux/pid.h"
1900struct pid_namespace;
1901# 50 "include/linux/pid.h"
1902struct upid {
1903 int nr ;
1904 struct pid_namespace *ns ;
1905 struct hlist_node pid_chain ;
1906};
1907# 57 "include/linux/pid.h"
1908struct pid {
1909 atomic_t count ;
1910 unsigned int level ;
1911 struct hlist_head tasks[3] ;
1912 struct rcu_head rcu ;
1913 struct upid numbers[1] ;
1914};
1915# 69 "include/linux/pid.h"
1916struct pid_link {
1917 struct hlist_node node ;
1918 struct pid *pid ;
1919};
1920# 100 "include/linux/pid.h"
1921struct pid_namespace;
1922# 18 "include/linux/capability.h"
1923struct task_struct;
1924# 94 "include/linux/capability.h"
1925struct kernel_cap_struct {
1926 __u32 cap[2] ;
1927};
1928# 94 "include/linux/capability.h"
1929typedef struct kernel_cap_struct kernel_cap_t;
1930# 376 "include/linux/capability.h"
1931struct dentry;
1932# 377 "include/linux/capability.h"
1933struct user_namespace;
1934# 377 "include/linux/capability.h"
1935struct user_namespace;
1936# 377 "include/linux/capability.h"
1937struct user_namespace;
1938# 16 "include/linux/fiemap.h"
1939struct fiemap_extent {
1940 __u64 fe_logical ;
1941 __u64 fe_physical ;
1942 __u64 fe_length ;
1943 __u64 fe_reserved64[2] ;
1944 __u32 fe_flags ;
1945 __u32 fe_reserved[3] ;
1946};
1947# 399 "include/linux/fs.h"
1948struct export_operations;
1949# 399 "include/linux/fs.h"
1950struct export_operations;
1951# 399 "include/linux/fs.h"
1952struct export_operations;
1953# 401 "include/linux/fs.h"
1954struct iovec;
1955# 401 "include/linux/fs.h"
1956struct iovec;
1957# 401 "include/linux/fs.h"
1958struct iovec;
1959# 402 "include/linux/fs.h"
1960struct nameidata;
1961# 403 "include/linux/fs.h"
1962struct kiocb;
1963# 403 "include/linux/fs.h"
1964struct kiocb;
1965# 403 "include/linux/fs.h"
1966struct kiocb;
1967# 404 "include/linux/fs.h"
1968struct kobject;
1969# 405 "include/linux/fs.h"
1970struct pipe_inode_info;
1971# 405 "include/linux/fs.h"
1972struct pipe_inode_info;
1973# 405 "include/linux/fs.h"
1974struct pipe_inode_info;
1975# 406 "include/linux/fs.h"
1976struct poll_table_struct;
1977# 406 "include/linux/fs.h"
1978struct poll_table_struct;
1979# 406 "include/linux/fs.h"
1980struct poll_table_struct;
1981# 407 "include/linux/fs.h"
1982struct kstatfs;
1983# 407 "include/linux/fs.h"
1984struct kstatfs;
1985# 407 "include/linux/fs.h"
1986struct kstatfs;
1987# 408 "include/linux/fs.h"
1988struct vm_area_struct;
1989# 409 "include/linux/fs.h"
1990struct vfsmount;
1991# 410 "include/linux/fs.h"
1992struct cred;
1993# 460 "include/linux/fs.h"
1994struct iattr {
1995 unsigned int ia_valid ;
1996 umode_t ia_mode ;
1997 uid_t ia_uid ;
1998 gid_t ia_gid ;
1999 loff_t ia_size ;
2000 struct timespec ia_atime ;
2001 struct timespec ia_mtime ;
2002 struct timespec ia_ctime ;
2003 struct file *ia_file ;
2004};
2005# 129 "include/linux/quota.h"
2006struct if_dqinfo {
2007 __u64 dqi_bgrace ;
2008 __u64 dqi_igrace ;
2009 __u32 dqi_flags ;
2010 __u32 dqi_valid ;
2011};
2012# 50 "include/linux/dqblk_xfs.h"
2013struct fs_disk_quota {
2014 __s8 d_version ;
2015 __s8 d_flags ;
2016 __u16 d_fieldmask ;
2017 __u32 d_id ;
2018 __u64 d_blk_hardlimit ;
2019 __u64 d_blk_softlimit ;
2020 __u64 d_ino_hardlimit ;
2021 __u64 d_ino_softlimit ;
2022 __u64 d_bcount ;
2023 __u64 d_icount ;
2024 __s32 d_itimer ;
2025 __s32 d_btimer ;
2026 __u16 d_iwarns ;
2027 __u16 d_bwarns ;
2028 __s32 d_padding2 ;
2029 __u64 d_rtb_hardlimit ;
2030 __u64 d_rtb_softlimit ;
2031 __u64 d_rtbcount ;
2032 __s32 d_rtbtimer ;
2033 __u16 d_rtbwarns ;
2034 __s16 d_padding3 ;
2035 char d_padding4[8] ;
2036};
2037# 146 "include/linux/dqblk_xfs.h"
2038struct fs_qfilestat {
2039 __u64 qfs_ino ;
2040 __u64 qfs_nblks ;
2041 __u32 qfs_nextents ;
2042};
2043# 146 "include/linux/dqblk_xfs.h"
2044typedef struct fs_qfilestat fs_qfilestat_t;
2045# 152 "include/linux/dqblk_xfs.h"
2046struct fs_quota_stat {
2047 __s8 qs_version ;
2048 __u16 qs_flags ;
2049 __s8 qs_pad ;
2050 fs_qfilestat_t qs_uquota ;
2051 fs_qfilestat_t qs_gquota ;
2052 __u32 qs_incoredqs ;
2053 __s32 qs_btimelimit ;
2054 __s32 qs_itimelimit ;
2055 __s32 qs_rtbtimelimit ;
2056 __u16 qs_bwarnlimit ;
2057 __u16 qs_iwarnlimit ;
2058};
2059# 17 "include/linux/dqblk_qtree.h"
2060struct dquot;
2061# 17 "include/linux/dqblk_qtree.h"
2062struct dquot;
2063# 17 "include/linux/dqblk_qtree.h"
2064struct dquot;
2065# 185 "include/linux/quota.h"
2066typedef __kernel_uid32_t qid_t;
2067# 186 "include/linux/quota.h"
2068typedef long long qsize_t;
2069# 200 "include/linux/quota.h"
2070struct mem_dqblk {
2071 qsize_t dqb_bhardlimit ;
2072 qsize_t dqb_bsoftlimit ;
2073 qsize_t dqb_curspace ;
2074 qsize_t dqb_rsvspace ;
2075 qsize_t dqb_ihardlimit ;
2076 qsize_t dqb_isoftlimit ;
2077 qsize_t dqb_curinodes ;
2078 time_t dqb_btime ;
2079 time_t dqb_itime ;
2080};
2081# 215 "include/linux/quota.h"
2082struct quota_format_type;
2083# 215 "include/linux/quota.h"
2084struct quota_format_type;
2085# 215 "include/linux/quota.h"
2086struct quota_format_type;
2087# 217 "include/linux/quota.h"
2088struct mem_dqinfo {
2089 struct quota_format_type *dqi_format ;
2090 int dqi_fmt_id ;
2091 struct list_head dqi_dirty_list ;
2092 unsigned long dqi_flags ;
2093 unsigned int dqi_bgrace ;
2094 unsigned int dqi_igrace ;
2095 qsize_t dqi_maxblimit ;
2096 qsize_t dqi_maxilimit ;
2097 void *dqi_priv ;
2098};
2099# 230 "include/linux/quota.h"
2100struct super_block;
2101# 284 "include/linux/quota.h"
2102struct dquot {
2103 struct hlist_node dq_hash ;
2104 struct list_head dq_inuse ;
2105 struct list_head dq_free ;
2106 struct list_head dq_dirty ;
2107 struct mutex dq_lock ;
2108 atomic_t dq_count ;
2109 wait_queue_head_t dq_wait_unused ;
2110 struct super_block *dq_sb ;
2111 unsigned int dq_id ;
2112 loff_t dq_off ;
2113 unsigned long dq_flags ;
2114 short dq_type ;
2115 struct mem_dqblk dq_dqb ;
2116};
2117# 301 "include/linux/quota.h"
2118struct quota_format_ops {
2119 int (*check_quota_file)(struct super_block *sb , int type ) ;
2120 int (*read_file_info)(struct super_block *sb , int type ) ;
2121 int (*write_file_info)(struct super_block *sb , int type ) ;
2122 int (*free_file_info)(struct super_block *sb , int type ) ;
2123 int (*read_dqblk)(struct dquot *dquot ) ;
2124 int (*commit_dqblk)(struct dquot *dquot ) ;
2125 int (*release_dqblk)(struct dquot *dquot ) ;
2126};
2127# 312 "include/linux/quota.h"
2128struct dquot_operations {
2129 int (*write_dquot)(struct dquot * ) ;
2130 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2131 void (*destroy_dquot)(struct dquot * ) ;
2132 int (*acquire_dquot)(struct dquot * ) ;
2133 int (*release_dquot)(struct dquot * ) ;
2134 int (*mark_dirty)(struct dquot * ) ;
2135 int (*write_info)(struct super_block * , int ) ;
2136 qsize_t *(*get_reserved_space)(struct inode * ) ;
2137};
2138# 325 "include/linux/quota.h"
2139struct path;
2140# 328 "include/linux/quota.h"
2141struct quotactl_ops {
2142 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
2143 int (*quota_on_meta)(struct super_block * , int , int ) ;
2144 int (*quota_off)(struct super_block * , int ) ;
2145 int (*quota_sync)(struct super_block * , int , int ) ;
2146 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
2147 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
2148 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2149 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2150 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2151 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
2152};
2153# 341 "include/linux/quota.h"
2154struct quota_format_type {
2155 int qf_fmt_id ;
2156 struct quota_format_ops const *qf_ops ;
2157 struct module *qf_owner ;
2158 struct quota_format_type *qf_next ;
2159};
2160# 395 "include/linux/quota.h"
2161struct quota_info {
2162 unsigned int flags ;
2163 struct mutex dqio_mutex ;
2164 struct mutex dqonoff_mutex ;
2165 struct rw_semaphore dqptr_sem ;
2166 struct inode *files[2] ;
2167 struct mem_dqinfo info[2] ;
2168 struct quota_format_ops const *ops[2] ;
2169};
2170# 523 "include/linux/fs.h"
2171struct page;
2172# 524 "include/linux/fs.h"
2173struct address_space;
2174# 524 "include/linux/fs.h"
2175struct address_space;
2176# 524 "include/linux/fs.h"
2177struct address_space;
2178# 525 "include/linux/fs.h"
2179struct writeback_control;
2180# 525 "include/linux/fs.h"
2181struct writeback_control;
2182# 525 "include/linux/fs.h"
2183struct writeback_control;
2184# 568 "include/linux/fs.h"
2185union __anonunion_arg_214 {
2186 char *buf ;
2187 void *data ;
2188};
2189# 568 "include/linux/fs.h"
2190struct __anonstruct_read_descriptor_t_213 {
2191 size_t written ;
2192 size_t count ;
2193 union __anonunion_arg_214 arg ;
2194 int error ;
2195};
2196# 568 "include/linux/fs.h"
2197typedef struct __anonstruct_read_descriptor_t_213 read_descriptor_t;
2198# 581 "include/linux/fs.h"
2199struct address_space_operations {
2200 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
2201 int (*readpage)(struct file * , struct page * ) ;
2202 int (*writepages)(struct address_space * , struct writeback_control * ) ;
2203 int (*set_page_dirty)(struct page *page ) ;
2204 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
2205 unsigned int nr_pages ) ;
2206 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
2207 unsigned int len , unsigned int flags , struct page **pagep ,
2208 void **fsdata ) ;
2209 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
2210 unsigned int copied , struct page *page , void *fsdata ) ;
2211 sector_t (*bmap)(struct address_space * , sector_t ) ;
2212 void (*invalidatepage)(struct page * , unsigned long ) ;
2213 int (*releasepage)(struct page * , gfp_t ) ;
2214 void (*freepage)(struct page * ) ;
2215 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
2216 unsigned long nr_segs ) ;
2217 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2218 int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
2219 int (*launder_page)(struct page * ) ;
2220 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2221 int (*error_remove_page)(struct address_space * , struct page * ) ;
2222};
2223# 633 "include/linux/fs.h"
2224struct backing_dev_info;
2225# 633 "include/linux/fs.h"
2226struct backing_dev_info;
2227# 633 "include/linux/fs.h"
2228struct backing_dev_info;
2229# 634 "include/linux/fs.h"
2230struct address_space {
2231 struct inode *host ;
2232 struct radix_tree_root page_tree ;
2233 spinlock_t tree_lock ;
2234 unsigned int i_mmap_writable ;
2235 struct prio_tree_root i_mmap ;
2236 struct list_head i_mmap_nonlinear ;
2237 struct mutex i_mmap_mutex ;
2238 unsigned long nrpages ;
2239 unsigned long writeback_index ;
2240 struct address_space_operations const *a_ops ;
2241 unsigned long flags ;
2242 struct backing_dev_info *backing_dev_info ;
2243 spinlock_t private_lock ;
2244 struct list_head private_list ;
2245 struct address_space *assoc_mapping ;
2246} __attribute__((__aligned__(sizeof(long )))) ;
2247# 658 "include/linux/fs.h"
2248struct hd_struct;
2249# 658 "include/linux/fs.h"
2250struct hd_struct;
2251# 658 "include/linux/fs.h"
2252struct gendisk;
2253# 658 "include/linux/fs.h"
2254struct gendisk;
2255# 658 "include/linux/fs.h"
2256struct block_device {
2257 dev_t bd_dev ;
2258 int bd_openers ;
2259 struct inode *bd_inode ;
2260 struct super_block *bd_super ;
2261 struct mutex bd_mutex ;
2262 struct list_head bd_inodes ;
2263 void *bd_claiming ;
2264 void *bd_holder ;
2265 int bd_holders ;
2266 bool bd_write_holder ;
2267 struct list_head bd_holder_disks ;
2268 struct block_device *bd_contains ;
2269 unsigned int bd_block_size ;
2270 struct hd_struct *bd_part ;
2271 unsigned int bd_part_count ;
2272 int bd_invalidated ;
2273 struct gendisk *bd_disk ;
2274 struct list_head bd_list ;
2275 unsigned long bd_private ;
2276 int bd_fsfreeze_count ;
2277 struct mutex bd_fsfreeze_mutex ;
2278};
2279# 735 "include/linux/fs.h"
2280struct posix_acl;
2281# 735 "include/linux/fs.h"
2282struct posix_acl;
2283# 735 "include/linux/fs.h"
2284struct posix_acl;
2285# 738 "include/linux/fs.h"
2286struct inode_operations;
2287# 738 "include/linux/fs.h"
2288struct inode_operations;
2289# 738 "include/linux/fs.h"
2290union __anonunion____missing_field_name_215 {
2291 struct list_head i_dentry ;
2292 struct rcu_head i_rcu ;
2293};
2294# 738 "include/linux/fs.h"
2295struct file_operations;
2296# 738 "include/linux/fs.h"
2297struct file_operations;
2298# 738 "include/linux/fs.h"
2299struct file_lock;
2300# 738 "include/linux/fs.h"
2301struct file_lock;
2302# 738 "include/linux/fs.h"
2303struct cdev;
2304# 738 "include/linux/fs.h"
2305struct cdev;
2306# 738 "include/linux/fs.h"
2307union __anonunion____missing_field_name_216 {
2308 struct pipe_inode_info *i_pipe ;
2309 struct block_device *i_bdev ;
2310 struct cdev *i_cdev ;
2311};
2312# 738 "include/linux/fs.h"
2313struct inode {
2314 umode_t i_mode ;
2315 uid_t i_uid ;
2316 gid_t i_gid ;
2317 struct inode_operations const *i_op ;
2318 struct super_block *i_sb ;
2319 spinlock_t i_lock ;
2320 unsigned int i_flags ;
2321 unsigned long i_state ;
2322 void *i_security ;
2323 struct mutex i_mutex ;
2324 unsigned long dirtied_when ;
2325 struct hlist_node i_hash ;
2326 struct list_head i_wb_list ;
2327 struct list_head i_lru ;
2328 struct list_head i_sb_list ;
2329 union __anonunion____missing_field_name_215 __annonCompField32 ;
2330 unsigned long i_ino ;
2331 atomic_t i_count ;
2332 unsigned int i_nlink ;
2333 dev_t i_rdev ;
2334 unsigned int i_blkbits ;
2335 u64 i_version ;
2336 loff_t i_size ;
2337 struct timespec i_atime ;
2338 struct timespec i_mtime ;
2339 struct timespec i_ctime ;
2340 blkcnt_t i_blocks ;
2341 unsigned short i_bytes ;
2342 struct rw_semaphore i_alloc_sem ;
2343 struct file_operations const *i_fop ;
2344 struct file_lock *i_flock ;
2345 struct address_space *i_mapping ;
2346 struct address_space i_data ;
2347 struct dquot *i_dquot[2] ;
2348 struct list_head i_devices ;
2349 union __anonunion____missing_field_name_216 __annonCompField33 ;
2350 __u32 i_generation ;
2351 __u32 i_fsnotify_mask ;
2352 struct hlist_head i_fsnotify_marks ;
2353 atomic_t i_readcount ;
2354 atomic_t i_writecount ;
2355 struct posix_acl *i_acl ;
2356 struct posix_acl *i_default_acl ;
2357 void *i_private ;
2358};
2359# 903 "include/linux/fs.h"
2360struct fown_struct {
2361 rwlock_t lock ;
2362 struct pid *pid ;
2363 enum pid_type pid_type ;
2364 uid_t uid ;
2365 uid_t euid ;
2366 int signum ;
2367};
2368# 914 "include/linux/fs.h"
2369struct file_ra_state {
2370 unsigned long start ;
2371 unsigned int size ;
2372 unsigned int async_size ;
2373 unsigned int ra_pages ;
2374 unsigned int mmap_miss ;
2375 loff_t prev_pos ;
2376};
2377# 937 "include/linux/fs.h"
2378union __anonunion_f_u_217 {
2379 struct list_head fu_list ;
2380 struct rcu_head fu_rcuhead ;
2381};
2382# 937 "include/linux/fs.h"
2383struct file {
2384 union __anonunion_f_u_217 f_u ;
2385 struct path f_path ;
2386 struct file_operations const *f_op ;
2387 spinlock_t f_lock ;
2388 int f_sb_list_cpu ;
2389 atomic_long_t f_count ;
2390 unsigned int f_flags ;
2391 fmode_t f_mode ;
2392 loff_t f_pos ;
2393 struct fown_struct f_owner ;
2394 struct cred const *f_cred ;
2395 struct file_ra_state f_ra ;
2396 u64 f_version ;
2397 void *f_security ;
2398 void *private_data ;
2399 struct list_head f_ep_links ;
2400 struct address_space *f_mapping ;
2401 unsigned long f_mnt_write_state ;
2402};
2403# 1064 "include/linux/fs.h"
2404struct files_struct;
2405# 1064 "include/linux/fs.h"
2406struct files_struct;
2407# 1064 "include/linux/fs.h"
2408typedef struct files_struct *fl_owner_t;
2409# 1066 "include/linux/fs.h"
2410struct file_lock_operations {
2411 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2412 void (*fl_release_private)(struct file_lock * ) ;
2413};
2414# 1071 "include/linux/fs.h"
2415struct lock_manager_operations {
2416 int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
2417 void (*fl_notify)(struct file_lock * ) ;
2418 int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
2419 void (*fl_release_private)(struct file_lock * ) ;
2420 void (*fl_break)(struct file_lock * ) ;
2421 int (*fl_change)(struct file_lock ** , int ) ;
2422};
2423# 8 "include/linux/nfs_fs_i.h"
2424struct nlm_lockowner;
2425# 8 "include/linux/nfs_fs_i.h"
2426struct nlm_lockowner;
2427# 8 "include/linux/nfs_fs_i.h"
2428struct nlm_lockowner;
2429# 13 "include/linux/nfs_fs_i.h"
2430struct nfs_lock_info {
2431 u32 state ;
2432 struct nlm_lockowner *owner ;
2433 struct list_head list ;
2434};
2435# 19 "include/linux/nfs_fs_i.h"
2436struct nfs4_lock_state;
2437# 19 "include/linux/nfs_fs_i.h"
2438struct nfs4_lock_state;
2439# 19 "include/linux/nfs_fs_i.h"
2440struct nfs4_lock_state;
2441# 20 "include/linux/nfs_fs_i.h"
2442struct nfs4_lock_info {
2443 struct nfs4_lock_state *owner ;
2444};
2445# 1091 "include/linux/fs.h"
2446struct fasync_struct;
2447# 1091 "include/linux/fs.h"
2448struct fasync_struct;
2449# 1091 "include/linux/fs.h"
2450struct __anonstruct_afs_219 {
2451 struct list_head link ;
2452 int state ;
2453};
2454# 1091 "include/linux/fs.h"
2455union __anonunion_fl_u_218 {
2456 struct nfs_lock_info nfs_fl ;
2457 struct nfs4_lock_info nfs4_fl ;
2458 struct __anonstruct_afs_219 afs ;
2459};
2460# 1091 "include/linux/fs.h"
2461struct file_lock {
2462 struct file_lock *fl_next ;
2463 struct list_head fl_link ;
2464 struct list_head fl_block ;
2465 fl_owner_t fl_owner ;
2466 unsigned char fl_flags ;
2467 unsigned char fl_type ;
2468 unsigned int fl_pid ;
2469 struct pid *fl_nspid ;
2470 wait_queue_head_t fl_wait ;
2471 struct file *fl_file ;
2472 loff_t fl_start ;
2473 loff_t fl_end ;
2474 struct fasync_struct *fl_fasync ;
2475 unsigned long fl_break_time ;
2476 struct file_lock_operations const *fl_ops ;
2477 struct lock_manager_operations const *fl_lmops ;
2478 union __anonunion_fl_u_218 fl_u ;
2479};
2480# 1324 "include/linux/fs.h"
2481struct fasync_struct {
2482 spinlock_t fa_lock ;
2483 int magic ;
2484 int fa_fd ;
2485 struct fasync_struct *fa_next ;
2486 struct file *fa_file ;
2487 struct rcu_head fa_rcu ;
2488};
2489# 1364 "include/linux/fs.h"
2490struct file_system_type;
2491# 1364 "include/linux/fs.h"
2492struct file_system_type;
2493# 1364 "include/linux/fs.h"
2494struct super_operations;
2495# 1364 "include/linux/fs.h"
2496struct super_operations;
2497# 1364 "include/linux/fs.h"
2498struct xattr_handler;
2499# 1364 "include/linux/fs.h"
2500struct xattr_handler;
2501# 1364 "include/linux/fs.h"
2502struct mtd_info;
2503# 1364 "include/linux/fs.h"
2504struct mtd_info;
2505# 1364 "include/linux/fs.h"
2506struct super_block {
2507 struct list_head s_list ;
2508 dev_t s_dev ;
2509 unsigned char s_dirt ;
2510 unsigned char s_blocksize_bits ;
2511 unsigned long s_blocksize ;
2512 loff_t s_maxbytes ;
2513 struct file_system_type *s_type ;
2514 struct super_operations const *s_op ;
2515 struct dquot_operations const *dq_op ;
2516 struct quotactl_ops const *s_qcop ;
2517 struct export_operations const *s_export_op ;
2518 unsigned long s_flags ;
2519 unsigned long s_magic ;
2520 struct dentry *s_root ;
2521 struct rw_semaphore s_umount ;
2522 struct mutex s_lock ;
2523 int s_count ;
2524 atomic_t s_active ;
2525 void *s_security ;
2526 struct xattr_handler const **s_xattr ;
2527 struct list_head s_inodes ;
2528 struct hlist_bl_head s_anon ;
2529 struct list_head *s_files ;
2530 struct list_head s_dentry_lru ;
2531 int s_nr_dentry_unused ;
2532 struct block_device *s_bdev ;
2533 struct backing_dev_info *s_bdi ;
2534 struct mtd_info *s_mtd ;
2535 struct list_head s_instances ;
2536 struct quota_info s_dquot ;
2537 int s_frozen ;
2538 wait_queue_head_t s_wait_unfrozen ;
2539 char s_id[32] ;
2540 u8 s_uuid[16] ;
2541 void *s_fs_info ;
2542 fmode_t s_mode ;
2543 u32 s_time_gran ;
2544 struct mutex s_vfs_rename_mutex ;
2545 char *s_subtype ;
2546 char *s_options ;
2547 struct dentry_operations const *s_d_op ;
2548 int cleancache_poolid ;
2549};
2550# 1499 "include/linux/fs.h"
2551struct fiemap_extent_info {
2552 unsigned int fi_flags ;
2553 unsigned int fi_extents_mapped ;
2554 unsigned int fi_extents_max ;
2555 struct fiemap_extent *fi_extents_start ;
2556};
2557# 1546 "include/linux/fs.h"
2558struct file_operations {
2559 struct module *owner ;
2560 loff_t (*llseek)(struct file * , loff_t , int ) ;
2561 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2562 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2563 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2564 loff_t ) ;
2565 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2566 loff_t ) ;
2567 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2568 loff_t , u64 , unsigned int ) ) ;
2569 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2570 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2571 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2572 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2573 int (*open)(struct inode * , struct file * ) ;
2574 int (*flush)(struct file * , fl_owner_t id ) ;
2575 int (*release)(struct inode * , struct file * ) ;
2576 int (*fsync)(struct file * , int datasync ) ;
2577 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2578 int (*fasync)(int , struct file * , int ) ;
2579 int (*lock)(struct file * , int , struct file_lock * ) ;
2580 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2581 int ) ;
2582 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2583 unsigned long , unsigned long ) ;
2584 int (*check_flags)(int ) ;
2585 int (*flock)(struct file * , int , struct file_lock * ) ;
2586 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2587 unsigned int ) ;
2588 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2589 unsigned int ) ;
2590 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2591 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2592};
2593# 1578 "include/linux/fs.h"
2594struct inode_operations {
2595 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2596 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2597 int (*permission)(struct inode * , int , unsigned int ) ;
2598 int (*check_acl)(struct inode * , int , unsigned int ) ;
2599 int (*readlink)(struct dentry * , char * , int ) ;
2600 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2601 int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
2602 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2603 int (*unlink)(struct inode * , struct dentry * ) ;
2604 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2605 int (*mkdir)(struct inode * , struct dentry * , int ) ;
2606 int (*rmdir)(struct inode * , struct dentry * ) ;
2607 int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
2608 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2609 void (*truncate)(struct inode * ) ;
2610 int (*setattr)(struct dentry * , struct iattr * ) ;
2611 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2612 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2613 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2614 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2615 int (*removexattr)(struct dentry * , char const * ) ;
2616 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2617 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2618} __attribute__((__aligned__((1) << (6) ))) ;
2619# 1608 "include/linux/fs.h"
2620struct seq_file;
2621# 1622 "include/linux/fs.h"
2622struct super_operations {
2623 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2624 void (*destroy_inode)(struct inode * ) ;
2625 void (*dirty_inode)(struct inode * , int flags ) ;
2626 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2627 int (*drop_inode)(struct inode * ) ;
2628 void (*evict_inode)(struct inode * ) ;
2629 void (*put_super)(struct super_block * ) ;
2630 void (*write_super)(struct super_block * ) ;
2631 int (*sync_fs)(struct super_block *sb , int wait ) ;
2632 int (*freeze_fs)(struct super_block * ) ;
2633 int (*unfreeze_fs)(struct super_block * ) ;
2634 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2635 int (*remount_fs)(struct super_block * , int * , char * ) ;
2636 void (*umount_begin)(struct super_block * ) ;
2637 int (*show_options)(struct seq_file * , struct vfsmount * ) ;
2638 int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
2639 int (*show_path)(struct seq_file * , struct vfsmount * ) ;
2640 int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
2641 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2642 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2643 loff_t ) ;
2644 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2645};
2646# 1802 "include/linux/fs.h"
2647struct file_system_type {
2648 char const *name ;
2649 int fs_flags ;
2650 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2651 void (*kill_sb)(struct super_block * ) ;
2652 struct module *owner ;
2653 struct file_system_type *next ;
2654 struct list_head fs_supers ;
2655 struct lock_class_key s_lock_key ;
2656 struct lock_class_key s_umount_key ;
2657 struct lock_class_key s_vfs_rename_key ;
2658 struct lock_class_key i_lock_key ;
2659 struct lock_class_key i_mutex_key ;
2660 struct lock_class_key i_mutex_dir_key ;
2661 struct lock_class_key i_alloc_sem_key ;
2662};
2663# 23 "include/linux/mm_types.h"
2664struct address_space;
2665# 34 "include/linux/mm_types.h"
2666struct __anonstruct____missing_field_name_223 {
2667 u16 inuse ;
2668 u16 objects ;
2669};
2670# 34 "include/linux/mm_types.h"
2671union __anonunion____missing_field_name_222 {
2672 atomic_t _mapcount ;
2673 struct __anonstruct____missing_field_name_223 __annonCompField34 ;
2674};
2675# 34 "include/linux/mm_types.h"
2676struct __anonstruct____missing_field_name_225 {
2677 unsigned long private ;
2678 struct address_space *mapping ;
2679};
2680# 34 "include/linux/mm_types.h"
2681union __anonunion____missing_field_name_224 {
2682 struct __anonstruct____missing_field_name_225 __annonCompField36 ;
2683 struct kmem_cache *slab ;
2684 struct page *first_page ;
2685};
2686# 34 "include/linux/mm_types.h"
2687union __anonunion____missing_field_name_226 {
2688 unsigned long index ;
2689 void *freelist ;
2690};
2691# 34 "include/linux/mm_types.h"
2692struct page {
2693 unsigned long flags ;
2694 atomic_t _count ;
2695 union __anonunion____missing_field_name_222 __annonCompField35 ;
2696 union __anonunion____missing_field_name_224 __annonCompField37 ;
2697 union __anonunion____missing_field_name_226 __annonCompField38 ;
2698 struct list_head lru ;
2699};
2700# 132 "include/linux/mm_types.h"
2701struct __anonstruct_vm_set_228 {
2702 struct list_head list ;
2703 void *parent ;
2704 struct vm_area_struct *head ;
2705};
2706# 132 "include/linux/mm_types.h"
2707union __anonunion_shared_227 {
2708 struct __anonstruct_vm_set_228 vm_set ;
2709 struct raw_prio_tree_node prio_tree_node ;
2710};
2711# 132 "include/linux/mm_types.h"
2712struct anon_vma;
2713# 132 "include/linux/mm_types.h"
2714struct anon_vma;
2715# 132 "include/linux/mm_types.h"
2716struct vm_operations_struct;
2717# 132 "include/linux/mm_types.h"
2718struct vm_operations_struct;
2719# 132 "include/linux/mm_types.h"
2720struct mempolicy;
2721# 132 "include/linux/mm_types.h"
2722struct mempolicy;
2723# 132 "include/linux/mm_types.h"
2724struct vm_area_struct {
2725 struct mm_struct *vm_mm ;
2726 unsigned long vm_start ;
2727 unsigned long vm_end ;
2728 struct vm_area_struct *vm_next ;
2729 struct vm_area_struct *vm_prev ;
2730 pgprot_t vm_page_prot ;
2731 unsigned long vm_flags ;
2732 struct rb_node vm_rb ;
2733 union __anonunion_shared_227 shared ;
2734 struct list_head anon_vma_chain ;
2735 struct anon_vma *anon_vma ;
2736 struct vm_operations_struct const *vm_ops ;
2737 unsigned long vm_pgoff ;
2738 struct file *vm_file ;
2739 void *vm_private_data ;
2740 struct mempolicy *vm_policy ;
2741};
2742# 189 "include/linux/mm_types.h"
2743struct core_thread {
2744 struct task_struct *task ;
2745 struct core_thread *next ;
2746};
2747# 194 "include/linux/mm_types.h"
2748struct core_state {
2749 atomic_t nr_threads ;
2750 struct core_thread dumper ;
2751 struct completion startup ;
2752};
2753# 216 "include/linux/mm_types.h"
2754struct mm_rss_stat {
2755 atomic_long_t count[3] ;
2756};
2757# 220 "include/linux/mm_types.h"
2758struct linux_binfmt;
2759# 220 "include/linux/mm_types.h"
2760struct linux_binfmt;
2761# 220 "include/linux/mm_types.h"
2762struct mmu_notifier_mm;
2763# 220 "include/linux/mm_types.h"
2764struct mmu_notifier_mm;
2765# 220 "include/linux/mm_types.h"
2766struct mm_struct {
2767 struct vm_area_struct *mmap ;
2768 struct rb_root mm_rb ;
2769 struct vm_area_struct *mmap_cache ;
2770 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2771 unsigned long pgoff , unsigned long flags ) ;
2772 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2773 unsigned long mmap_base ;
2774 unsigned long task_size ;
2775 unsigned long cached_hole_size ;
2776 unsigned long free_area_cache ;
2777 pgd_t *pgd ;
2778 atomic_t mm_users ;
2779 atomic_t mm_count ;
2780 int map_count ;
2781 spinlock_t page_table_lock ;
2782 struct rw_semaphore mmap_sem ;
2783 struct list_head mmlist ;
2784 unsigned long hiwater_rss ;
2785 unsigned long hiwater_vm ;
2786 unsigned long total_vm ;
2787 unsigned long locked_vm ;
2788 unsigned long shared_vm ;
2789 unsigned long exec_vm ;
2790 unsigned long stack_vm ;
2791 unsigned long reserved_vm ;
2792 unsigned long def_flags ;
2793 unsigned long nr_ptes ;
2794 unsigned long start_code ;
2795 unsigned long end_code ;
2796 unsigned long start_data ;
2797 unsigned long end_data ;
2798 unsigned long start_brk ;
2799 unsigned long brk ;
2800 unsigned long start_stack ;
2801 unsigned long arg_start ;
2802 unsigned long arg_end ;
2803 unsigned long env_start ;
2804 unsigned long env_end ;
2805 unsigned long saved_auxv[44] ;
2806 struct mm_rss_stat rss_stat ;
2807 struct linux_binfmt *binfmt ;
2808 cpumask_var_t cpu_vm_mask_var ;
2809 mm_context_t context ;
2810 unsigned int faultstamp ;
2811 unsigned int token_priority ;
2812 unsigned int last_interval ;
2813 atomic_t oom_disable_count ;
2814 unsigned long flags ;
2815 struct core_state *core_state ;
2816 spinlock_t ioctx_lock ;
2817 struct hlist_head ioctx_list ;
2818 struct task_struct *owner ;
2819 struct file *exe_file ;
2820 unsigned long num_exe_file_vmas ;
2821 struct mmu_notifier_mm *mmu_notifier_mm ;
2822 pgtable_t pmd_huge_pte ;
2823 struct cpumask cpumask_allocation ;
2824};
2825# 7 "include/asm-generic/cputime.h"
2826typedef unsigned long cputime_t;
2827# 84 "include/linux/sem.h"
2828struct task_struct;
2829# 122 "include/linux/sem.h"
2830struct sem_undo_list;
2831# 122 "include/linux/sem.h"
2832struct sem_undo_list;
2833# 135 "include/linux/sem.h"
2834struct sem_undo_list {
2835 atomic_t refcnt ;
2836 spinlock_t lock ;
2837 struct list_head list_proc ;
2838};
2839# 141 "include/linux/sem.h"
2840struct sysv_sem {
2841 struct sem_undo_list *undo_list ;
2842};
2843# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2844struct siginfo;
2845# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2846struct siginfo;
2847# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2848struct siginfo;
2849# 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2850struct __anonstruct_sigset_t_230 {
2851 unsigned long sig[1] ;
2852};
2853# 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2854typedef struct __anonstruct_sigset_t_230 sigset_t;
2855# 17 "include/asm-generic/signal-defs.h"
2856typedef void __signalfn_t(int );
2857# 18 "include/asm-generic/signal-defs.h"
2858typedef __signalfn_t *__sighandler_t;
2859# 20 "include/asm-generic/signal-defs.h"
2860typedef void __restorefn_t(void);
2861# 21 "include/asm-generic/signal-defs.h"
2862typedef __restorefn_t *__sigrestore_t;
2863# 167 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2864struct sigaction {
2865 __sighandler_t sa_handler ;
2866 unsigned long sa_flags ;
2867 __sigrestore_t sa_restorer ;
2868 sigset_t sa_mask ;
2869};
2870# 174 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2871struct k_sigaction {
2872 struct sigaction sa ;
2873};
2874# 7 "include/asm-generic/siginfo.h"
2875union sigval {
2876 int sival_int ;
2877 void *sival_ptr ;
2878};
2879# 7 "include/asm-generic/siginfo.h"
2880typedef union sigval sigval_t;
2881# 40 "include/asm-generic/siginfo.h"
2882struct __anonstruct__kill_232 {
2883 __kernel_pid_t _pid ;
2884 __kernel_uid32_t _uid ;
2885};
2886# 40 "include/asm-generic/siginfo.h"
2887struct __anonstruct__timer_233 {
2888 __kernel_timer_t _tid ;
2889 int _overrun ;
2890 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2891 sigval_t _sigval ;
2892 int _sys_private ;
2893};
2894# 40 "include/asm-generic/siginfo.h"
2895struct __anonstruct__rt_234 {
2896 __kernel_pid_t _pid ;
2897 __kernel_uid32_t _uid ;
2898 sigval_t _sigval ;
2899};
2900# 40 "include/asm-generic/siginfo.h"
2901struct __anonstruct__sigchld_235 {
2902 __kernel_pid_t _pid ;
2903 __kernel_uid32_t _uid ;
2904 int _status ;
2905 __kernel_clock_t _utime ;
2906 __kernel_clock_t _stime ;
2907};
2908# 40 "include/asm-generic/siginfo.h"
2909struct __anonstruct__sigfault_236 {
2910 void *_addr ;
2911 short _addr_lsb ;
2912};
2913# 40 "include/asm-generic/siginfo.h"
2914struct __anonstruct__sigpoll_237 {
2915 long _band ;
2916 int _fd ;
2917};
2918# 40 "include/asm-generic/siginfo.h"
2919union __anonunion__sifields_231 {
2920 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2921 struct __anonstruct__kill_232 _kill ;
2922 struct __anonstruct__timer_233 _timer ;
2923 struct __anonstruct__rt_234 _rt ;
2924 struct __anonstruct__sigchld_235 _sigchld ;
2925 struct __anonstruct__sigfault_236 _sigfault ;
2926 struct __anonstruct__sigpoll_237 _sigpoll ;
2927};
2928# 40 "include/asm-generic/siginfo.h"
2929struct siginfo {
2930 int si_signo ;
2931 int si_errno ;
2932 int si_code ;
2933 union __anonunion__sifields_231 _sifields ;
2934};
2935# 40 "include/asm-generic/siginfo.h"
2936typedef struct siginfo siginfo_t;
2937# 280 "include/asm-generic/siginfo.h"
2938struct siginfo;
2939# 10 "include/linux/signal.h"
2940struct task_struct;
2941# 18 "include/linux/signal.h"
2942struct user_struct;
2943# 18 "include/linux/signal.h"
2944struct user_struct;
2945# 28 "include/linux/signal.h"
2946struct sigpending {
2947 struct list_head list ;
2948 sigset_t signal ;
2949};
2950# 239 "include/linux/signal.h"
2951struct timespec;
2952# 240 "include/linux/signal.h"
2953struct pt_regs;
2954# 97 "include/linux/proportions.h"
2955struct prop_local_single {
2956 unsigned long events ;
2957 unsigned long period ;
2958 int shift ;
2959 spinlock_t lock ;
2960};
2961# 10 "include/linux/seccomp.h"
2962struct __anonstruct_seccomp_t_240 {
2963 int mode ;
2964};
2965# 10 "include/linux/seccomp.h"
2966typedef struct __anonstruct_seccomp_t_240 seccomp_t;
2967# 82 "include/linux/plist.h"
2968struct plist_head {
2969 struct list_head node_list ;
2970 raw_spinlock_t *rawlock ;
2971 spinlock_t *spinlock ;
2972};
2973# 90 "include/linux/plist.h"
2974struct plist_node {
2975 int prio ;
2976 struct list_head prio_list ;
2977 struct list_head node_list ;
2978};
2979# 40 "include/linux/rtmutex.h"
2980struct rt_mutex_waiter;
2981# 40 "include/linux/rtmutex.h"
2982struct rt_mutex_waiter;
2983# 40 "include/linux/rtmutex.h"
2984struct rt_mutex_waiter;
2985# 42 "include/linux/resource.h"
2986struct rlimit {
2987 unsigned long rlim_cur ;
2988 unsigned long rlim_max ;
2989};
2990# 81 "include/linux/resource.h"
2991struct task_struct;
2992# 11 "include/linux/task_io_accounting.h"
2993struct task_io_accounting {
2994 u64 rchar ;
2995 u64 wchar ;
2996 u64 syscr ;
2997 u64 syscw ;
2998 u64 read_bytes ;
2999 u64 write_bytes ;
3000 u64 cancelled_write_bytes ;
3001};
3002# 18 "include/linux/latencytop.h"
3003struct latency_record {
3004 unsigned long backtrace[12] ;
3005 unsigned int count ;
3006 unsigned long time ;
3007 unsigned long max ;
3008};
3009# 26 "include/linux/latencytop.h"
3010struct task_struct;
3011# 29 "include/linux/key.h"
3012typedef int32_t key_serial_t;
3013# 32 "include/linux/key.h"
3014typedef uint32_t key_perm_t;
3015# 34 "include/linux/key.h"
3016struct key;
3017# 34 "include/linux/key.h"
3018struct key;
3019# 34 "include/linux/key.h"
3020struct key;
3021# 74 "include/linux/key.h"
3022struct seq_file;
3023# 75 "include/linux/key.h"
3024struct user_struct;
3025# 76 "include/linux/key.h"
3026struct signal_struct;
3027# 76 "include/linux/key.h"
3028struct signal_struct;
3029# 76 "include/linux/key.h"
3030struct signal_struct;
3031# 77 "include/linux/key.h"
3032struct cred;
3033# 79 "include/linux/key.h"
3034struct key_type;
3035# 79 "include/linux/key.h"
3036struct key_type;
3037# 79 "include/linux/key.h"
3038struct key_type;
3039# 81 "include/linux/key.h"
3040struct keyring_list;
3041# 81 "include/linux/key.h"
3042struct keyring_list;
3043# 81 "include/linux/key.h"
3044struct keyring_list;
3045# 124 "include/linux/key.h"
3046struct key_user;
3047# 124 "include/linux/key.h"
3048struct key_user;
3049# 124 "include/linux/key.h"
3050union __anonunion____missing_field_name_241 {
3051 time_t expiry ;
3052 time_t revoked_at ;
3053};
3054# 124 "include/linux/key.h"
3055union __anonunion_type_data_242 {
3056 struct list_head link ;
3057 unsigned long x[2] ;
3058 void *p[2] ;
3059 int reject_error ;
3060};
3061# 124 "include/linux/key.h"
3062union __anonunion_payload_243 {
3063 unsigned long value ;
3064 void *rcudata ;
3065 void *data ;
3066 struct keyring_list *subscriptions ;
3067};
3068# 124 "include/linux/key.h"
3069struct key {
3070 atomic_t usage ;
3071 key_serial_t serial ;
3072 struct rb_node serial_node ;
3073 struct key_type *type ;
3074 struct rw_semaphore sem ;
3075 struct key_user *user ;
3076 void *security ;
3077 union __anonunion____missing_field_name_241 __annonCompField39 ;
3078 uid_t uid ;
3079 gid_t gid ;
3080 key_perm_t perm ;
3081 unsigned short quotalen ;
3082 unsigned short datalen ;
3083 unsigned long flags ;
3084 char *description ;
3085 union __anonunion_type_data_242 type_data ;
3086 union __anonunion_payload_243 payload ;
3087};
3088# 18 "include/linux/selinux.h"
3089struct audit_context;
3090# 18 "include/linux/selinux.h"
3091struct audit_context;
3092# 18 "include/linux/selinux.h"
3093struct audit_context;
3094# 21 "include/linux/cred.h"
3095struct user_struct;
3096# 22 "include/linux/cred.h"
3097struct cred;
3098# 23 "include/linux/cred.h"
3099struct inode;
3100# 31 "include/linux/cred.h"
3101struct group_info {
3102 atomic_t usage ;
3103 int ngroups ;
3104 int nblocks ;
3105 gid_t small_block[32] ;
3106 gid_t *blocks[0] ;
3107};
3108# 83 "include/linux/cred.h"
3109struct thread_group_cred {
3110 atomic_t usage ;
3111 pid_t tgid ;
3112 spinlock_t lock ;
3113 struct key *session_keyring ;
3114 struct key *process_keyring ;
3115 struct rcu_head rcu ;
3116};
3117# 116 "include/linux/cred.h"
3118struct cred {
3119 atomic_t usage ;
3120 atomic_t subscribers ;
3121 void *put_addr ;
3122 unsigned int magic ;
3123 uid_t uid ;
3124 gid_t gid ;
3125 uid_t suid ;
3126 gid_t sgid ;
3127 uid_t euid ;
3128 gid_t egid ;
3129 uid_t fsuid ;
3130 gid_t fsgid ;
3131 unsigned int securebits ;
3132 kernel_cap_t cap_inheritable ;
3133 kernel_cap_t cap_permitted ;
3134 kernel_cap_t cap_effective ;
3135 kernel_cap_t cap_bset ;
3136 unsigned char jit_keyring ;
3137 struct key *thread_keyring ;
3138 struct key *request_key_auth ;
3139 struct thread_group_cred *tgcred ;
3140 void *security ;
3141 struct user_struct *user ;
3142 struct user_namespace *user_ns ;
3143 struct group_info *group_info ;
3144 struct rcu_head rcu ;
3145};
3146# 97 "include/linux/sched.h"
3147struct futex_pi_state;
3148# 97 "include/linux/sched.h"
3149struct futex_pi_state;
3150# 97 "include/linux/sched.h"
3151struct futex_pi_state;
3152# 98 "include/linux/sched.h"
3153struct robust_list_head;
3154# 98 "include/linux/sched.h"
3155struct robust_list_head;
3156# 98 "include/linux/sched.h"
3157struct robust_list_head;
3158# 99 "include/linux/sched.h"
3159struct bio_list;
3160# 99 "include/linux/sched.h"
3161struct bio_list;
3162# 99 "include/linux/sched.h"
3163struct bio_list;
3164# 100 "include/linux/sched.h"
3165struct fs_struct;
3166# 100 "include/linux/sched.h"
3167struct fs_struct;
3168# 100 "include/linux/sched.h"
3169struct fs_struct;
3170# 101 "include/linux/sched.h"
3171struct perf_event_context;
3172# 101 "include/linux/sched.h"
3173struct perf_event_context;
3174# 101 "include/linux/sched.h"
3175struct perf_event_context;
3176# 102 "include/linux/sched.h"
3177struct blk_plug;
3178# 102 "include/linux/sched.h"
3179struct blk_plug;
3180# 102 "include/linux/sched.h"
3181struct blk_plug;
3182# 150 "include/linux/sched.h"
3183struct seq_file;
3184# 151 "include/linux/sched.h"
3185struct cfs_rq;
3186# 151 "include/linux/sched.h"
3187struct cfs_rq;
3188# 151 "include/linux/sched.h"
3189struct cfs_rq;
3190# 259 "include/linux/sched.h"
3191struct task_struct;
3192# 364 "include/linux/sched.h"
3193struct nsproxy;
3194# 365 "include/linux/sched.h"
3195struct user_namespace;
3196# 58 "include/linux/aio_abi.h"
3197struct io_event {
3198 __u64 data ;
3199 __u64 obj ;
3200 __s64 res ;
3201 __s64 res2 ;
3202};
3203# 16 "include/linux/uio.h"
3204struct iovec {
3205 void *iov_base ;
3206 __kernel_size_t iov_len ;
3207};
3208# 15 "include/linux/aio.h"
3209struct kioctx;
3210# 15 "include/linux/aio.h"
3211struct kioctx;
3212# 15 "include/linux/aio.h"
3213struct kioctx;
3214# 87 "include/linux/aio.h"
3215union __anonunion_ki_obj_245 {
3216 void *user ;
3217 struct task_struct *tsk ;
3218};
3219# 87 "include/linux/aio.h"
3220struct eventfd_ctx;
3221# 87 "include/linux/aio.h"
3222struct eventfd_ctx;
3223# 87 "include/linux/aio.h"
3224struct kiocb {
3225 struct list_head ki_run_list ;
3226 unsigned long ki_flags ;
3227 int ki_users ;
3228 unsigned int ki_key ;
3229 struct file *ki_filp ;
3230 struct kioctx *ki_ctx ;
3231 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3232 ssize_t (*ki_retry)(struct kiocb * ) ;
3233 void (*ki_dtor)(struct kiocb * ) ;
3234 union __anonunion_ki_obj_245 ki_obj ;
3235 __u64 ki_user_data ;
3236 loff_t ki_pos ;
3237 void *private ;
3238 unsigned short ki_opcode ;
3239 size_t ki_nbytes ;
3240 char *ki_buf ;
3241 size_t ki_left ;
3242 struct iovec ki_inline_vec ;
3243 struct iovec *ki_iovec ;
3244 unsigned long ki_nr_segs ;
3245 unsigned long ki_cur_seg ;
3246 struct list_head ki_list ;
3247 struct eventfd_ctx *ki_eventfd ;
3248};
3249# 165 "include/linux/aio.h"
3250struct aio_ring_info {
3251 unsigned long mmap_base ;
3252 unsigned long mmap_size ;
3253 struct page **ring_pages ;
3254 spinlock_t ring_lock ;
3255 long nr_pages ;
3256 unsigned int nr ;
3257 unsigned int tail ;
3258 struct page *internal_pages[8] ;
3259};
3260# 178 "include/linux/aio.h"
3261struct kioctx {
3262 atomic_t users ;
3263 int dead ;
3264 struct mm_struct *mm ;
3265 unsigned long user_id ;
3266 struct hlist_node list ;
3267 wait_queue_head_t wait ;
3268 spinlock_t ctx_lock ;
3269 int reqs_active ;
3270 struct list_head active_reqs ;
3271 struct list_head run_list ;
3272 unsigned int max_reqs ;
3273 struct aio_ring_info ring_info ;
3274 struct delayed_work wq ;
3275 struct rcu_head rcu_head ;
3276};
3277# 213 "include/linux/aio.h"
3278struct mm_struct;
3279# 441 "include/linux/sched.h"
3280struct sighand_struct {
3281 atomic_t count ;
3282 struct k_sigaction action[64] ;
3283 spinlock_t siglock ;
3284 wait_queue_head_t signalfd_wqh ;
3285};
3286# 448 "include/linux/sched.h"
3287struct pacct_struct {
3288 int ac_flag ;
3289 long ac_exitcode ;
3290 unsigned long ac_mem ;
3291 cputime_t ac_utime ;
3292 cputime_t ac_stime ;
3293 unsigned long ac_minflt ;
3294 unsigned long ac_majflt ;
3295};
3296# 456 "include/linux/sched.h"
3297struct cpu_itimer {
3298 cputime_t expires ;
3299 cputime_t incr ;
3300 u32 error ;
3301 u32 incr_error ;
3302};
3303# 474 "include/linux/sched.h"
3304struct task_cputime {
3305 cputime_t utime ;
3306 cputime_t stime ;
3307 unsigned long long sum_exec_runtime ;
3308};
3309# 510 "include/linux/sched.h"
3310struct thread_group_cputimer {
3311 struct task_cputime cputime ;
3312 int running ;
3313 spinlock_t lock ;
3314};
3315# 517 "include/linux/sched.h"
3316struct autogroup;
3317# 517 "include/linux/sched.h"
3318struct autogroup;
3319# 517 "include/linux/sched.h"
3320struct autogroup;
3321# 526 "include/linux/sched.h"
3322struct tty_struct;
3323# 526 "include/linux/sched.h"
3324struct tty_struct;
3325# 526 "include/linux/sched.h"
3326struct taskstats;
3327# 526 "include/linux/sched.h"
3328struct taskstats;
3329# 526 "include/linux/sched.h"
3330struct tty_audit_buf;
3331# 526 "include/linux/sched.h"
3332struct tty_audit_buf;
3333# 526 "include/linux/sched.h"
3334struct signal_struct {
3335 atomic_t sigcnt ;
3336 atomic_t live ;
3337 int nr_threads ;
3338 wait_queue_head_t wait_chldexit ;
3339 struct task_struct *curr_target ;
3340 struct sigpending shared_pending ;
3341 int group_exit_code ;
3342 int notify_count ;
3343 struct task_struct *group_exit_task ;
3344 int group_stop_count ;
3345 unsigned int flags ;
3346 struct list_head posix_timers ;
3347 struct hrtimer real_timer ;
3348 struct pid *leader_pid ;
3349 ktime_t it_real_incr ;
3350 struct cpu_itimer it[2] ;
3351 struct thread_group_cputimer cputimer ;
3352 struct task_cputime cputime_expires ;
3353 struct list_head cpu_timers[3] ;
3354 struct pid *tty_old_pgrp ;
3355 int leader ;
3356 struct tty_struct *tty ;
3357 struct autogroup *autogroup ;
3358 cputime_t utime ;
3359 cputime_t stime ;
3360 cputime_t cutime ;
3361 cputime_t cstime ;
3362 cputime_t gtime ;
3363 cputime_t cgtime ;
3364 cputime_t prev_utime ;
3365 cputime_t prev_stime ;
3366 unsigned long nvcsw ;
3367 unsigned long nivcsw ;
3368 unsigned long cnvcsw ;
3369 unsigned long cnivcsw ;
3370 unsigned long min_flt ;
3371 unsigned long maj_flt ;
3372 unsigned long cmin_flt ;
3373 unsigned long cmaj_flt ;
3374 unsigned long inblock ;
3375 unsigned long oublock ;
3376 unsigned long cinblock ;
3377 unsigned long coublock ;
3378 unsigned long maxrss ;
3379 unsigned long cmaxrss ;
3380 struct task_io_accounting ioac ;
3381 unsigned long long sum_sched_runtime ;
3382 struct rlimit rlim[16] ;
3383 struct pacct_struct pacct ;
3384 struct taskstats *stats ;
3385 unsigned int audit_tty ;
3386 struct tty_audit_buf *tty_audit_buf ;
3387 struct rw_semaphore threadgroup_fork_lock ;
3388 int oom_adj ;
3389 int oom_score_adj ;
3390 int oom_score_adj_min ;
3391 struct mutex cred_guard_mutex ;
3392};
3393# 687 "include/linux/sched.h"
3394struct user_struct {
3395 atomic_t __count ;
3396 atomic_t processes ;
3397 atomic_t files ;
3398 atomic_t sigpending ;
3399 atomic_t inotify_watches ;
3400 atomic_t inotify_devs ;
3401 atomic_t fanotify_listeners ;
3402 atomic_long_t epoll_watches ;
3403 unsigned long mq_bytes ;
3404 unsigned long locked_shm ;
3405 struct key *uid_keyring ;
3406 struct key *session_keyring ;
3407 struct hlist_node uidhash_node ;
3408 uid_t uid ;
3409 struct user_namespace *user_ns ;
3410 atomic_long_t locked_vm ;
3411};
3412# 731 "include/linux/sched.h"
3413struct backing_dev_info;
3414# 732 "include/linux/sched.h"
3415struct reclaim_state;
3416# 732 "include/linux/sched.h"
3417struct reclaim_state;
3418# 732 "include/linux/sched.h"
3419struct reclaim_state;
3420# 735 "include/linux/sched.h"
3421struct sched_info {
3422 unsigned long pcount ;
3423 unsigned long long run_delay ;
3424 unsigned long long last_arrival ;
3425 unsigned long long last_queued ;
3426};
3427# 747 "include/linux/sched.h"
3428struct task_delay_info {
3429 spinlock_t lock ;
3430 unsigned int flags ;
3431 struct timespec blkio_start ;
3432 struct timespec blkio_end ;
3433 u64 blkio_delay ;
3434 u64 swapin_delay ;
3435 u32 blkio_count ;
3436 u32 swapin_count ;
3437 struct timespec freepages_start ;
3438 struct timespec freepages_end ;
3439 u64 freepages_delay ;
3440 u32 freepages_count ;
3441};
3442# 1050 "include/linux/sched.h"
3443struct io_context;
3444# 1050 "include/linux/sched.h"
3445struct io_context;
3446# 1050 "include/linux/sched.h"
3447struct io_context;
3448# 1059 "include/linux/sched.h"
3449struct audit_context;
3450# 1060 "include/linux/sched.h"
3451struct mempolicy;
3452# 1061 "include/linux/sched.h"
3453struct pipe_inode_info;
3454# 1064 "include/linux/sched.h"
3455struct rq;
3456# 1064 "include/linux/sched.h"
3457struct rq;
3458# 1064 "include/linux/sched.h"
3459struct rq;
3460# 1084 "include/linux/sched.h"
3461struct sched_class {
3462 struct sched_class const *next ;
3463 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3464 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3465 void (*yield_task)(struct rq *rq ) ;
3466 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3467 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3468 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3469 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3470 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3471 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3472 void (*post_schedule)(struct rq *this_rq ) ;
3473 void (*task_waking)(struct task_struct *task ) ;
3474 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3475 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3476 void (*rq_online)(struct rq *rq ) ;
3477 void (*rq_offline)(struct rq *rq ) ;
3478 void (*set_curr_task)(struct rq *rq ) ;
3479 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3480 void (*task_fork)(struct task_struct *p ) ;
3481 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3482 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3483 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3484 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3485 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3486};
3487# 1129 "include/linux/sched.h"
3488struct load_weight {
3489 unsigned long weight ;
3490 unsigned long inv_weight ;
3491};
3492# 1134 "include/linux/sched.h"
3493struct sched_statistics {
3494 u64 wait_start ;
3495 u64 wait_max ;
3496 u64 wait_count ;
3497 u64 wait_sum ;
3498 u64 iowait_count ;
3499 u64 iowait_sum ;
3500 u64 sleep_start ;
3501 u64 sleep_max ;
3502 s64 sum_sleep_runtime ;
3503 u64 block_start ;
3504 u64 block_max ;
3505 u64 exec_max ;
3506 u64 slice_max ;
3507 u64 nr_migrations_cold ;
3508 u64 nr_failed_migrations_affine ;
3509 u64 nr_failed_migrations_running ;
3510 u64 nr_failed_migrations_hot ;
3511 u64 nr_forced_migrations ;
3512 u64 nr_wakeups ;
3513 u64 nr_wakeups_sync ;
3514 u64 nr_wakeups_migrate ;
3515 u64 nr_wakeups_local ;
3516 u64 nr_wakeups_remote ;
3517 u64 nr_wakeups_affine ;
3518 u64 nr_wakeups_affine_attempts ;
3519 u64 nr_wakeups_passive ;
3520 u64 nr_wakeups_idle ;
3521};
3522# 1169 "include/linux/sched.h"
3523struct sched_entity {
3524 struct load_weight load ;
3525 struct rb_node run_node ;
3526 struct list_head group_node ;
3527 unsigned int on_rq ;
3528 u64 exec_start ;
3529 u64 sum_exec_runtime ;
3530 u64 vruntime ;
3531 u64 prev_sum_exec_runtime ;
3532 u64 nr_migrations ;
3533 struct sched_statistics statistics ;
3534 struct sched_entity *parent ;
3535 struct cfs_rq *cfs_rq ;
3536 struct cfs_rq *my_q ;
3537};
3538# 1195 "include/linux/sched.h"
3539struct rt_rq;
3540# 1195 "include/linux/sched.h"
3541struct rt_rq;
3542# 1195 "include/linux/sched.h"
3543struct sched_rt_entity {
3544 struct list_head run_list ;
3545 unsigned long timeout ;
3546 unsigned int time_slice ;
3547 int nr_cpus_allowed ;
3548 struct sched_rt_entity *back ;
3549 struct sched_rt_entity *parent ;
3550 struct rt_rq *rt_rq ;
3551 struct rt_rq *my_q ;
3552};
3553# 1220 "include/linux/sched.h"
3554struct css_set;
3555# 1220 "include/linux/sched.h"
3556struct css_set;
3557# 1220 "include/linux/sched.h"
3558struct compat_robust_list_head;
3559# 1220 "include/linux/sched.h"
3560struct compat_robust_list_head;
3561# 1220 "include/linux/sched.h"
3562struct ftrace_ret_stack;
3563# 1220 "include/linux/sched.h"
3564struct ftrace_ret_stack;
3565# 1220 "include/linux/sched.h"
3566struct mem_cgroup;
3567# 1220 "include/linux/sched.h"
3568struct mem_cgroup;
3569# 1220 "include/linux/sched.h"
3570struct memcg_batch_info {
3571 int do_batch ;
3572 struct mem_cgroup *memcg ;
3573 unsigned long nr_pages ;
3574 unsigned long memsw_nr_pages ;
3575};
3576# 1220 "include/linux/sched.h"
3577struct task_struct {
3578 long volatile state ;
3579 void *stack ;
3580 atomic_t usage ;
3581 unsigned int flags ;
3582 unsigned int ptrace ;
3583 struct task_struct *wake_entry ;
3584 int on_cpu ;
3585 int on_rq ;
3586 int prio ;
3587 int static_prio ;
3588 int normal_prio ;
3589 unsigned int rt_priority ;
3590 struct sched_class const *sched_class ;
3591 struct sched_entity se ;
3592 struct sched_rt_entity rt ;
3593 struct hlist_head preempt_notifiers ;
3594 unsigned char fpu_counter ;
3595 unsigned int btrace_seq ;
3596 unsigned int policy ;
3597 cpumask_t cpus_allowed ;
3598 struct sched_info sched_info ;
3599 struct list_head tasks ;
3600 struct plist_node pushable_tasks ;
3601 struct mm_struct *mm ;
3602 struct mm_struct *active_mm ;
3603 unsigned int brk_randomized : 1 ;
3604 int exit_state ;
3605 int exit_code ;
3606 int exit_signal ;
3607 int pdeath_signal ;
3608 unsigned int group_stop ;
3609 unsigned int personality ;
3610 unsigned int did_exec : 1 ;
3611 unsigned int in_execve : 1 ;
3612 unsigned int in_iowait : 1 ;
3613 unsigned int sched_reset_on_fork : 1 ;
3614 unsigned int sched_contributes_to_load : 1 ;
3615 pid_t pid ;
3616 pid_t tgid ;
3617 unsigned long stack_canary ;
3618 struct task_struct *real_parent ;
3619 struct task_struct *parent ;
3620 struct list_head children ;
3621 struct list_head sibling ;
3622 struct task_struct *group_leader ;
3623 struct list_head ptraced ;
3624 struct list_head ptrace_entry ;
3625 struct pid_link pids[3] ;
3626 struct list_head thread_group ;
3627 struct completion *vfork_done ;
3628 int *set_child_tid ;
3629 int *clear_child_tid ;
3630 cputime_t utime ;
3631 cputime_t stime ;
3632 cputime_t utimescaled ;
3633 cputime_t stimescaled ;
3634 cputime_t gtime ;
3635 cputime_t prev_utime ;
3636 cputime_t prev_stime ;
3637 unsigned long nvcsw ;
3638 unsigned long nivcsw ;
3639 struct timespec start_time ;
3640 struct timespec real_start_time ;
3641 unsigned long min_flt ;
3642 unsigned long maj_flt ;
3643 struct task_cputime cputime_expires ;
3644 struct list_head cpu_timers[3] ;
3645 struct cred const *real_cred ;
3646 struct cred const *cred ;
3647 struct cred *replacement_session_keyring ;
3648 char comm[16] ;
3649 int link_count ;
3650 int total_link_count ;
3651 struct sysv_sem sysvsem ;
3652 unsigned long last_switch_count ;
3653 struct thread_struct thread ;
3654 struct fs_struct *fs ;
3655 struct files_struct *files ;
3656 struct nsproxy *nsproxy ;
3657 struct signal_struct *signal ;
3658 struct sighand_struct *sighand ;
3659 sigset_t blocked ;
3660 sigset_t real_blocked ;
3661 sigset_t saved_sigmask ;
3662 struct sigpending pending ;
3663 unsigned long sas_ss_sp ;
3664 size_t sas_ss_size ;
3665 int (*notifier)(void *priv ) ;
3666 void *notifier_data ;
3667 sigset_t *notifier_mask ;
3668 struct audit_context *audit_context ;
3669 uid_t loginuid ;
3670 unsigned int sessionid ;
3671 seccomp_t seccomp ;
3672 u32 parent_exec_id ;
3673 u32 self_exec_id ;
3674 spinlock_t alloc_lock ;
3675 struct irqaction *irqaction ;
3676 raw_spinlock_t pi_lock ;
3677 struct plist_head pi_waiters ;
3678 struct rt_mutex_waiter *pi_blocked_on ;
3679 struct mutex_waiter *blocked_on ;
3680 unsigned int irq_events ;
3681 unsigned long hardirq_enable_ip ;
3682 unsigned long hardirq_disable_ip ;
3683 unsigned int hardirq_enable_event ;
3684 unsigned int hardirq_disable_event ;
3685 int hardirqs_enabled ;
3686 int hardirq_context ;
3687 unsigned long softirq_disable_ip ;
3688 unsigned long softirq_enable_ip ;
3689 unsigned int softirq_disable_event ;
3690 unsigned int softirq_enable_event ;
3691 int softirqs_enabled ;
3692 int softirq_context ;
3693 u64 curr_chain_key ;
3694 int lockdep_depth ;
3695 unsigned int lockdep_recursion ;
3696 struct held_lock held_locks[48UL] ;
3697 gfp_t lockdep_reclaim_gfp ;
3698 void *journal_info ;
3699 struct bio_list *bio_list ;
3700 struct blk_plug *plug ;
3701 struct reclaim_state *reclaim_state ;
3702 struct backing_dev_info *backing_dev_info ;
3703 struct io_context *io_context ;
3704 unsigned long ptrace_message ;
3705 siginfo_t *last_siginfo ;
3706 struct task_io_accounting ioac ;
3707 u64 acct_rss_mem1 ;
3708 u64 acct_vm_mem1 ;
3709 cputime_t acct_timexpd ;
3710 nodemask_t mems_allowed ;
3711 int mems_allowed_change_disable ;
3712 int cpuset_mem_spread_rotor ;
3713 int cpuset_slab_spread_rotor ;
3714 struct css_set *cgroups ;
3715 struct list_head cg_list ;
3716 struct robust_list_head *robust_list ;
3717 struct compat_robust_list_head *compat_robust_list ;
3718 struct list_head pi_state_list ;
3719 struct futex_pi_state *pi_state_cache ;
3720 struct perf_event_context *perf_event_ctxp[2] ;
3721 struct mutex perf_event_mutex ;
3722 struct list_head perf_event_list ;
3723 struct mempolicy *mempolicy ;
3724 short il_next ;
3725 short pref_node_fork ;
3726 atomic_t fs_excl ;
3727 struct rcu_head rcu ;
3728 struct pipe_inode_info *splice_pipe ;
3729 struct task_delay_info *delays ;
3730 int make_it_fail ;
3731 struct prop_local_single dirties ;
3732 int latency_record_count ;
3733 struct latency_record latency_record[32] ;
3734 unsigned long timer_slack_ns ;
3735 unsigned long default_timer_slack_ns ;
3736 struct list_head *scm_work_list ;
3737 int curr_ret_stack ;
3738 struct ftrace_ret_stack *ret_stack ;
3739 unsigned long long ftrace_timestamp ;
3740 atomic_t trace_overrun ;
3741 atomic_t tracing_graph_pause ;
3742 unsigned long trace ;
3743 unsigned long trace_recursion ;
3744 struct memcg_batch_info memcg_batch ;
3745 atomic_t ptrace_bp_refcnt ;
3746};
3747# 1634 "include/linux/sched.h"
3748struct pid_namespace;
3749# 25 "include/linux/usb.h"
3750struct usb_device;
3751# 25 "include/linux/usb.h"
3752struct usb_device;
3753# 25 "include/linux/usb.h"
3754struct usb_device;
3755# 26 "include/linux/usb.h"
3756struct usb_driver;
3757# 26 "include/linux/usb.h"
3758struct usb_driver;
3759# 26 "include/linux/usb.h"
3760struct usb_driver;
3761# 27 "include/linux/usb.h"
3762struct wusb_dev;
3763# 27 "include/linux/usb.h"
3764struct wusb_dev;
3765# 27 "include/linux/usb.h"
3766struct wusb_dev;
3767# 47 "include/linux/usb.h"
3768struct ep_device;
3769# 47 "include/linux/usb.h"
3770struct ep_device;
3771# 47 "include/linux/usb.h"
3772struct ep_device;
3773# 64 "include/linux/usb.h"
3774struct usb_host_endpoint {
3775 struct usb_endpoint_descriptor desc ;
3776 struct usb_ss_ep_comp_descriptor ss_ep_comp ;
3777 struct list_head urb_list ;
3778 void *hcpriv ;
3779 struct ep_device *ep_dev ;
3780 unsigned char *extra ;
3781 int extralen ;
3782 int enabled ;
3783};
3784# 77 "include/linux/usb.h"
3785struct usb_host_interface {
3786 struct usb_interface_descriptor desc ;
3787 struct usb_host_endpoint *endpoint ;
3788 char *string ;
3789 unsigned char *extra ;
3790 int extralen ;
3791};
3792# 90 "include/linux/usb.h"
3793enum usb_interface_condition {
3794 USB_INTERFACE_UNBOUND = 0,
3795 USB_INTERFACE_BINDING = 1,
3796 USB_INTERFACE_BOUND = 2,
3797 USB_INTERFACE_UNBINDING = 3
3798} ;
3799# 159 "include/linux/usb.h"
3800struct usb_interface {
3801 struct usb_host_interface *altsetting ;
3802 struct usb_host_interface *cur_altsetting ;
3803 unsigned int num_altsetting ;
3804 struct usb_interface_assoc_descriptor *intf_assoc ;
3805 int minor ;
3806 enum usb_interface_condition condition ;
3807 unsigned int sysfs_files_created : 1 ;
3808 unsigned int ep_devs_created : 1 ;
3809 unsigned int unregistering : 1 ;
3810 unsigned int needs_remote_wakeup : 1 ;
3811 unsigned int needs_altsetting0 : 1 ;
3812 unsigned int needs_binding : 1 ;
3813 unsigned int reset_running : 1 ;
3814 unsigned int resetting_device : 1 ;
3815 struct device dev ;
3816 struct device *usb_dev ;
3817 atomic_t pm_usage_cnt ;
3818 struct work_struct reset_ws ;
3819};
3820# 222 "include/linux/usb.h"
3821struct usb_interface_cache {
3822 unsigned int num_altsetting ;
3823 struct kref ref ;
3824 struct usb_host_interface altsetting[0] ;
3825};
3826# 274 "include/linux/usb.h"
3827struct usb_host_config {
3828 struct usb_config_descriptor desc ;
3829 char *string ;
3830 struct usb_interface_assoc_descriptor *intf_assoc[16] ;
3831 struct usb_interface *interface[32] ;
3832 struct usb_interface_cache *intf_cache[32] ;
3833 unsigned char *extra ;
3834 int extralen ;
3835};
3836# 305 "include/linux/usb.h"
3837struct usb_devmap {
3838 unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
3839};
3840# 312 "include/linux/usb.h"
3841struct mon_bus;
3842# 312 "include/linux/usb.h"
3843struct mon_bus;
3844# 312 "include/linux/usb.h"
3845struct usb_bus {
3846 struct device *controller ;
3847 int busnum ;
3848 char const *bus_name ;
3849 u8 uses_dma ;
3850 u8 uses_pio_for_control ;
3851 u8 otg_port ;
3852 unsigned int is_b_host : 1 ;
3853 unsigned int b_hnp_enable : 1 ;
3854 unsigned int sg_tablesize ;
3855 int devnum_next ;
3856 struct usb_devmap devmap ;
3857 struct usb_device *root_hub ;
3858 struct usb_bus *hs_companion ;
3859 struct list_head bus_list ;
3860 int bandwidth_allocated ;
3861 int bandwidth_int_reqs ;
3862 int bandwidth_isoc_reqs ;
3863 struct dentry *usbfs_dentry ;
3864 struct mon_bus *mon_bus ;
3865 int monitored ;
3866};
3867# 367 "include/linux/usb.h"
3868struct usb_tt;
3869# 367 "include/linux/usb.h"
3870struct usb_tt;
3871# 367 "include/linux/usb.h"
3872struct usb_tt;
3873# 426 "include/linux/usb.h"
3874struct usb_device {
3875 int devnum ;
3876 char devpath[16] ;
3877 u32 route ;
3878 enum usb_device_state state ;
3879 enum usb_device_speed speed ;
3880 struct usb_tt *tt ;
3881 int ttport ;
3882 unsigned int toggle[2] ;
3883 struct usb_device *parent ;
3884 struct usb_bus *bus ;
3885 struct usb_host_endpoint ep0 ;
3886 struct device dev ;
3887 struct usb_device_descriptor descriptor ;
3888 struct usb_host_config *config ;
3889 struct usb_host_config *actconfig ;
3890 struct usb_host_endpoint *ep_in[16] ;
3891 struct usb_host_endpoint *ep_out[16] ;
3892 char **rawdescriptors ;
3893 unsigned short bus_mA ;
3894 u8 portnum ;
3895 u8 level ;
3896 unsigned int can_submit : 1 ;
3897 unsigned int persist_enabled : 1 ;
3898 unsigned int have_langid : 1 ;
3899 unsigned int authorized : 1 ;
3900 unsigned int authenticated : 1 ;
3901 unsigned int wusb : 1 ;
3902 int string_langid ;
3903 char *product ;
3904 char *manufacturer ;
3905 char *serial ;
3906 struct list_head filelist ;
3907 struct device *usb_classdev ;
3908 struct dentry *usbfs_dentry ;
3909 int maxchild ;
3910 struct usb_device *children[31] ;
3911 u32 quirks ;
3912 atomic_t urbnum ;
3913 unsigned long active_duration ;
3914 unsigned long connect_time ;
3915 unsigned int do_remote_wakeup : 1 ;
3916 unsigned int reset_resume : 1 ;
3917 struct wusb_dev *wusb_dev ;
3918 int slot_id ;
3919};
3920# 763 "include/linux/usb.h"
3921struct usb_dynids {
3922 spinlock_t lock ;
3923 struct list_head list ;
3924};
3925# 782 "include/linux/usb.h"
3926struct usbdrv_wrap {
3927 struct device_driver driver ;
3928 int for_devices ;
3929};
3930# 843 "include/linux/usb.h"
3931struct usb_driver {
3932 char const *name ;
3933 int (*probe)(struct usb_interface *intf , struct usb_device_id const *id ) ;
3934 void (*disconnect)(struct usb_interface *intf ) ;
3935 int (*unlocked_ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ;
3936 int (*suspend)(struct usb_interface *intf , pm_message_t message ) ;
3937 int (*resume)(struct usb_interface *intf ) ;
3938 int (*reset_resume)(struct usb_interface *intf ) ;
3939 int (*pre_reset)(struct usb_interface *intf ) ;
3940 int (*post_reset)(struct usb_interface *intf ) ;
3941 struct usb_device_id const *id_table ;
3942 struct usb_dynids dynids ;
3943 struct usbdrv_wrap drvwrap ;
3944 unsigned int no_dynamic_id : 1 ;
3945 unsigned int supports_autosuspend : 1 ;
3946 unsigned int soft_unbind : 1 ;
3947};
3948# 983 "include/linux/usb.h"
3949struct usb_iso_packet_descriptor {
3950 unsigned int offset ;
3951 unsigned int length ;
3952 unsigned int actual_length ;
3953 int status ;
3954};
3955# 990 "include/linux/usb.h"
3956struct urb;
3957# 990 "include/linux/usb.h"
3958struct urb;
3959# 990 "include/linux/usb.h"
3960struct urb;
3961# 992 "include/linux/usb.h"
3962struct usb_anchor {
3963 struct list_head urb_list ;
3964 wait_queue_head_t wait ;
3965 spinlock_t lock ;
3966 unsigned int poisoned : 1 ;
3967};
3968# 1183 "include/linux/usb.h"
3969struct scatterlist;
3970# 1183 "include/linux/usb.h"
3971struct scatterlist;
3972# 1183 "include/linux/usb.h"
3973struct urb {
3974 struct kref kref ;
3975 void *hcpriv ;
3976 atomic_t use_count ;
3977 atomic_t reject ;
3978 int unlinked ;
3979 struct list_head urb_list ;
3980 struct list_head anchor_list ;
3981 struct usb_anchor *anchor ;
3982 struct usb_device *dev ;
3983 struct usb_host_endpoint *ep ;
3984 unsigned int pipe ;
3985 unsigned int stream_id ;
3986 int status ;
3987 unsigned int transfer_flags ;
3988 void *transfer_buffer ;
3989 dma_addr_t transfer_dma ;
3990 struct scatterlist *sg ;
3991 int num_sgs ;
3992 u32 transfer_buffer_length ;
3993 u32 actual_length ;
3994 unsigned char *setup_packet ;
3995 dma_addr_t setup_dma ;
3996 int start_frame ;
3997 int number_of_packets ;
3998 int interval ;
3999 int error_count ;
4000 void *context ;
4001 void (*complete)(struct urb * ) ;
4002 struct usb_iso_packet_descriptor iso_frame_desc[0] ;
4003};
4004# 1388 "include/linux/usb.h"
4005struct scatterlist;
4006# 43 "include/linux/input.h"
4007struct input_id {
4008 __u16 bustype ;
4009 __u16 vendor ;
4010 __u16 product ;
4011 __u16 version ;
4012};
4013# 69 "include/linux/input.h"
4014struct input_absinfo {
4015 __s32 value ;
4016 __s32 minimum ;
4017 __s32 maximum ;
4018 __s32 fuzz ;
4019 __s32 flat ;
4020 __s32 resolution ;
4021};
4022# 93 "include/linux/input.h"
4023struct input_keymap_entry {
4024 __u8 flags ;
4025 __u8 len ;
4026 __u16 index ;
4027 __u32 keycode ;
4028 __u8 scancode[32] ;
4029};
4030# 926 "include/linux/input.h"
4031struct ff_replay {
4032 __u16 length ;
4033 __u16 delay ;
4034};
4035# 936 "include/linux/input.h"
4036struct ff_trigger {
4037 __u16 button ;
4038 __u16 interval ;
4039};
4040# 953 "include/linux/input.h"
4041struct ff_envelope {
4042 __u16 attack_length ;
4043 __u16 attack_level ;
4044 __u16 fade_length ;
4045 __u16 fade_level ;
4046};
4047# 965 "include/linux/input.h"
4048struct ff_constant_effect {
4049 __s16 level ;
4050 struct ff_envelope envelope ;
4051};
4052# 976 "include/linux/input.h"
4053struct ff_ramp_effect {
4054 __s16 start_level ;
4055 __s16 end_level ;
4056 struct ff_envelope envelope ;
4057};
4058# 992 "include/linux/input.h"
4059struct ff_condition_effect {
4060 __u16 right_saturation ;
4061 __u16 left_saturation ;
4062 __s16 right_coeff ;
4063 __s16 left_coeff ;
4064 __u16 deadband ;
4065 __s16 center ;
4066};
4067# 1021 "include/linux/input.h"
4068struct ff_periodic_effect {
4069 __u16 waveform ;
4070 __u16 period ;
4071 __s16 magnitude ;
4072 __s16 offset ;
4073 __u16 phase ;
4074 struct ff_envelope envelope ;
4075 __u32 custom_len ;
4076 __s16 *custom_data ;
4077};
4078# 1042 "include/linux/input.h"
4079struct ff_rumble_effect {
4080 __u16 strong_magnitude ;
4081 __u16 weak_magnitude ;
4082};
4083# 1070 "include/linux/input.h"
4084union __anonunion_u_247 {
4085 struct ff_constant_effect constant ;
4086 struct ff_ramp_effect ramp ;
4087 struct ff_periodic_effect periodic ;
4088 struct ff_condition_effect condition[2] ;
4089 struct ff_rumble_effect rumble ;
4090};
4091# 1070 "include/linux/input.h"
4092struct ff_effect {
4093 __u16 type ;
4094 __s16 id ;
4095 __u16 direction ;
4096 struct ff_trigger trigger ;
4097 struct ff_replay replay ;
4098 union __anonunion_u_247 u ;
4099};
4100# 1219 "include/linux/input.h"
4101struct ff_device;
4102# 1219 "include/linux/input.h"
4103struct ff_device;
4104# 1219 "include/linux/input.h"
4105struct input_mt_slot;
4106# 1219 "include/linux/input.h"
4107struct input_mt_slot;
4108# 1219 "include/linux/input.h"
4109struct input_handle;
4110# 1219 "include/linux/input.h"
4111struct input_handle;
4112# 1219 "include/linux/input.h"
4113struct input_dev {
4114 char const *name ;
4115 char const *phys ;
4116 char const *uniq ;
4117 struct input_id id ;
4118 unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4119 unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4120 unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4121 unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4122 unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4123 unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4124 unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4125 unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4126 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4127 unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4128 unsigned int hint_events_per_packet ;
4129 unsigned int keycodemax ;
4130 unsigned int keycodesize ;
4131 void *keycode ;
4132 int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry const *ke ,
4133 unsigned int *old_keycode ) ;
4134 int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
4135 struct ff_device *ff ;
4136 unsigned int repeat_key ;
4137 struct timer_list timer ;
4138 int rep[2] ;
4139 struct input_mt_slot *mt ;
4140 int mtsize ;
4141 int slot ;
4142 int trkid ;
4143 struct input_absinfo *absinfo ;
4144 unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4145 unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4146 unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4147 unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4148 int (*open)(struct input_dev *dev ) ;
4149 void (*close)(struct input_dev *dev ) ;
4150 int (*flush)(struct input_dev *dev , struct file *file ) ;
4151 int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
4152 struct input_handle *grab ;
4153 spinlock_t event_lock ;
4154 struct mutex mutex ;
4155 unsigned int users ;
4156 bool going_away ;
4157 bool sync ;
4158 struct device dev ;
4159 struct list_head h_list ;
4160 struct list_head node ;
4161};
4162# 1339 "include/linux/input.h"
4163struct input_handle;
4164# 1378 "include/linux/input.h"
4165struct input_handler {
4166 void *private ;
4167 void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
4168 int value ) ;
4169 bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
4170 int value ) ;
4171 bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
4172 int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id const *id ) ;
4173 void (*disconnect)(struct input_handle *handle ) ;
4174 void (*start)(struct input_handle *handle ) ;
4175 struct file_operations const *fops ;
4176 int minor ;
4177 char const *name ;
4178 struct input_device_id const *id_table ;
4179 struct list_head h_list ;
4180 struct list_head node ;
4181};
4182# 1411 "include/linux/input.h"
4183struct input_handle {
4184 void *private ;
4185 int open ;
4186 char const *name ;
4187 struct input_dev *dev ;
4188 struct input_handler *handler ;
4189 struct list_head d_node ;
4190 struct list_head h_node ;
4191};
4192# 1588 "include/linux/input.h"
4193struct ff_device {
4194 int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
4195 int (*erase)(struct input_dev *dev , int effect_id ) ;
4196 int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
4197 void (*set_gain)(struct input_dev *dev , u16 gain ) ;
4198 void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
4199 void (*destroy)(struct ff_device * ) ;
4200 void *private ;
4201 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4202 struct mutex mutex ;
4203 int max_effects ;
4204 struct ff_effect *effects ;
4205 struct file *effect_owners[] ;
4206};
4207# 32 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4208struct kbtab {
4209 unsigned char *data ;
4210 dma_addr_t data_dma ;
4211 struct input_dev *dev ;
4212 struct usb_device *usbdev ;
4213 struct urb *irq ;
4214 char phys[32] ;
4215};
4216# 63 "include/linux/byteorder/little_endian.h"
4217__inline static __u16 __le16_to_cpup(__le16 const *p )
4218{
4219
4220 {
4221# 65 "include/linux/byteorder/little_endian.h"
4222 return ((__u16 )*p);
4223}
4224}
4225# 100 "include/linux/printk.h"
4226extern int printk(char const *fmt , ...) ;
4227# 295 "include/linux/kernel.h"
4228extern int snprintf(char *buf , size_t size , char const *fmt , ...) ;
4229# 39 "include/linux/string.h"
4230extern size_t strlcat(char * , char const * , __kernel_size_t ) ;
4231# 141 "include/linux/slab.h"
4232extern void kfree(void const * ) ;
4233# 221 "include/linux/slub_def.h"
4234extern void *__kmalloc(size_t size , gfp_t flags ) ;
4235# 255 "include/linux/slub_def.h"
4236__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
4237 gfp_t flags )
4238{ void *tmp___2 ;
4239
4240 {
4241 {
4242# 270 "include/linux/slub_def.h"
4243 tmp___2 = __kmalloc(size, flags);
4244 }
4245# 270 "include/linux/slub_def.h"
4246 return (tmp___2);
4247}
4248}
4249# 318 "include/linux/slab.h"
4250__inline static void *kzalloc(size_t size , gfp_t flags )
4251{ void *tmp ;
4252
4253 {
4254 {
4255# 320 "include/linux/slab.h"
4256 tmp = kmalloc(size, flags | 32768U);
4257 }
4258# 320 "include/linux/slab.h"
4259 return (tmp);
4260}
4261}
4262# 303 "include/linux/moduleparam.h"
4263extern struct kernel_param_ops param_ops_int ;
4264# 79 "include/linux/module.h"
4265int init_module(void) ;
4266# 80 "include/linux/module.h"
4267void cleanup_module(void) ;
4268# 99 "include/linux/module.h"
4269extern struct module __this_module ;
4270# 705 "include/linux/device.h"
4271extern void *dev_get_drvdata(struct device const *dev ) __attribute__((__ldv_model__)) ;
4272# 706 "include/linux/device.h"
4273extern int dev_set_drvdata(struct device *dev , void *data ) ;
4274# 191 "include/linux/usb.h"
4275__inline static void *usb_get_intfdata(struct usb_interface *intf ) __attribute__((__ldv_model__)) ;
4276# 191 "include/linux/usb.h"
4277__inline static void *usb_get_intfdata(struct usb_interface *intf ) __attribute__((__ldv_model__)) ;
4278# 191 "include/linux/usb.h"
4279__inline static void *usb_get_intfdata(struct usb_interface *intf )
4280{ void *tmp___7 ;
4281
4282 {
4283 {
4284# 193 "include/linux/usb.h"
4285 tmp___7 = dev_get_drvdata((struct device const *)(& intf->dev));
4286 }
4287# 193 "include/linux/usb.h"
4288 return (tmp___7);
4289}
4290}
4291# 196 "include/linux/usb.h"
4292__inline static void usb_set_intfdata(struct usb_interface *intf , void *data ) __attribute__((__ldv_model__)) ;
4293# 196 "include/linux/usb.h"
4294__inline static void usb_set_intfdata(struct usb_interface *intf , void *data ) __attribute__((__ldv_model__)) ;
4295# 196 "include/linux/usb.h"
4296__inline static void usb_set_intfdata(struct usb_interface *intf , void *data )
4297{
4298
4299 {
4300 {
4301# 198 "include/linux/usb.h"
4302 dev_set_drvdata(& intf->dev, data);
4303 }
4304# 199 "include/linux/usb.h"
4305 return;
4306}
4307}
4308# 497 "include/linux/usb.h"
4309__inline static struct usb_device *interface_to_usbdev(struct usb_interface *intf )
4310{ struct device const *__mptr ;
4311
4312 {
4313# 499 "include/linux/usb.h"
4314 __mptr = (struct device const *)intf->dev.parent;
4315# 499 "include/linux/usb.h"
4316 return ((struct usb_device *)((char *)__mptr - (unsigned int )(& ((struct usb_device *)0)->dev)));
4317}
4318}
4319# 637 "include/linux/usb.h"
4320__inline static int usb_make_path(struct usb_device *dev , char *buf , size_t size )
4321{ int actual ;
4322 int tmp___7 ;
4323
4324 {
4325 {
4326# 640 "include/linux/usb.h"
4327 actual = snprintf(buf, size, "usb-%s-%s", (dev->bus)->bus_name, dev->devpath);
4328 }
4329# 642 "include/linux/usb.h"
4330 if (actual >= (int )size) {
4331# 642 "include/linux/usb.h"
4332 tmp___7 = -1;
4333 } else {
4334# 642 "include/linux/usb.h"
4335 tmp___7 = actual;
4336 }
4337# 642 "include/linux/usb.h"
4338 return (tmp___7);
4339}
4340}
4341# 929 "include/linux/usb.h"
4342extern int usb_register_driver(struct usb_driver * , struct module * , char const * ) ;
4343# 931 "include/linux/usb.h"
4344__inline static int usb_register(struct usb_driver *driver )
4345{ int tmp___7 ;
4346
4347 {
4348 {
4349# 933 "include/linux/usb.h"
4350 tmp___7 = usb_register_driver(driver, & __this_module, "kbtab");
4351 }
4352# 933 "include/linux/usb.h"
4353 return (tmp___7);
4354}
4355}
4356# 935 "include/linux/usb.h"
4357extern void usb_deregister(struct usb_driver * ) ;
4358# 1309 "include/linux/usb.h"
4359__inline static void usb_fill_int_urb(struct urb *urb , struct usb_device *dev , unsigned int pipe ,
4360 void *transfer_buffer , int buffer_length ,
4361 void (*complete_fn)(struct urb * ) , void *context ,
4362 int interval )
4363{
4364
4365 {
4366# 1318 "include/linux/usb.h"
4367 urb->dev = dev;
4368# 1319 "include/linux/usb.h"
4369 urb->pipe = pipe;
4370# 1320 "include/linux/usb.h"
4371 urb->transfer_buffer = transfer_buffer;
4372# 1321 "include/linux/usb.h"
4373 urb->transfer_buffer_length = (u32 )buffer_length;
4374# 1322 "include/linux/usb.h"
4375 urb->complete = complete_fn;
4376# 1323 "include/linux/usb.h"
4377 urb->context = context;
4378# 1324 "include/linux/usb.h"
4379 if ((unsigned int )dev->speed == 3U) {
4380# 1325 "include/linux/usb.h"
4381 urb->interval = 1 << (interval - 1);
4382 } else
4383# 1324 "include/linux/usb.h"
4384 if ((unsigned int )dev->speed == 5U) {
4385# 1325 "include/linux/usb.h"
4386 urb->interval = 1 << (interval - 1);
4387 } else {
4388# 1327 "include/linux/usb.h"
4389 urb->interval = interval;
4390 }
4391# 1328 "include/linux/usb.h"
4392 urb->start_frame = -1;
4393# 1329 "include/linux/usb.h"
4394 return;
4395}
4396}
4397# 1332 "include/linux/usb.h"
4398struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags ) __attribute__((__ldv_model__)) ;
4399# 1333 "include/linux/usb.h"
4400void usb_free_urb(struct urb *urb ) __attribute__((__ldv_model__)) ;
4401# 1336 "include/linux/usb.h"
4402extern int usb_submit_urb(struct urb *urb , gfp_t mem_flags ) ;
4403# 1338 "include/linux/usb.h"
4404extern void usb_kill_urb(struct urb *urb ) ;
4405# 1377 "include/linux/usb.h"
4406void *usb_alloc_coherent(struct usb_device *dev , size_t size , gfp_t mem_flags ,
4407 dma_addr_t *dma ) __attribute__((__ldv_model__)) ;
4408# 1379 "include/linux/usb.h"
4409void usb_free_coherent(struct usb_device *dev , size_t size , void *addr , dma_addr_t dma ) __attribute__((__ldv_model__)) ;
4410# 1526 "include/linux/usb.h"
4411__inline static unsigned int __create_pipe(struct usb_device *dev , unsigned int endpoint )
4412{
4413
4414 {
4415# 1529 "include/linux/usb.h"
4416 return ((unsigned int )(dev->devnum << 8) | (endpoint << 15));
4417}
4418}
4419# 1425 "include/linux/input.h"
4420extern struct input_dev *input_allocate_device(void) ;
4421# 1426 "include/linux/input.h"
4422extern void input_free_device(struct input_dev *dev ) ;
4423# 1439 "include/linux/input.h"
4424__inline static void *input_get_drvdata(struct input_dev *dev )
4425{ void *tmp___7 ;
4426
4427 {
4428 {
4429# 1441 "include/linux/input.h"
4430 tmp___7 = dev_get_drvdata((struct device const *)(& dev->dev));
4431 }
4432# 1441 "include/linux/input.h"
4433 return (tmp___7);
4434}
4435}
4436# 1444 "include/linux/input.h"
4437__inline static void input_set_drvdata(struct input_dev *dev , void *data )
4438{
4439
4440 {
4441 {
4442# 1446 "include/linux/input.h"
4443 dev_set_drvdata(& dev->dev, data);
4444 }
4445# 1447 "include/linux/input.h"
4446 return;
4447}
4448}
4449# 1449 "include/linux/input.h"
4450extern int __attribute__((__warn_unused_result__)) input_register_device(struct input_dev * ) ;
4451# 1450 "include/linux/input.h"
4452extern void input_unregister_device(struct input_dev * ) ;
4453# 1471 "include/linux/input.h"
4454extern void input_event(struct input_dev *dev , unsigned int type , unsigned int code ,
4455 int value ) ;
4456# 1474 "include/linux/input.h"
4457__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
4458 int value )
4459{
4460
4461 {
4462 {
4463# 1476 "include/linux/input.h"
4464 input_event(dev, 1U, code, ! (! value));
4465 }
4466# 1477 "include/linux/input.h"
4467 return;
4468}
4469}
4470# 1484 "include/linux/input.h"
4471__inline static void input_report_abs(struct input_dev *dev , unsigned int code ,
4472 int value )
4473{
4474
4475 {
4476 {
4477# 1486 "include/linux/input.h"
4478 input_event(dev, 3U, code, value);
4479 }
4480# 1487 "include/linux/input.h"
4481 return;
4482}
4483}
4484# 1499 "include/linux/input.h"
4485__inline static void input_sync(struct input_dev *dev )
4486{
4487
4488 {
4489 {
4490# 1501 "include/linux/input.h"
4491 input_event(dev, 0U, 0U, 0);
4492 }
4493# 1502 "include/linux/input.h"
4494 return;
4495}
4496}
4497# 1527 "include/linux/input.h"
4498extern void input_set_abs_params(struct input_dev *dev , unsigned int axis , int min ,
4499 int max , int fuzz , int flat ) ;
4500# 16 "include/linux/usb/input.h"
4501__inline static void usb_to_input_id(struct usb_device const *dev , struct input_id *id )
4502{
4503
4504 {
4505# 19 "include/linux/usb/input.h"
4506 id->bustype = (__u16 )3;
4507# 20 "include/linux/usb/input.h"
4508 id->vendor = (__le16 )dev->descriptor.idVendor;
4509# 21 "include/linux/usb/input.h"
4510 id->product = (__le16 )dev->descriptor.idProduct;
4511# 22 "include/linux/usb/input.h"
4512 id->version = (__le16 )dev->descriptor.bcdDevice;
4513# 23 "include/linux/usb/input.h"
4514 return;
4515}
4516}
4517# 7 "include/linux/unaligned/access_ok.h"
4518__inline static u16 get_unaligned_le16(void const *p )
4519{ __u16 tmp___7 ;
4520
4521 {
4522 {
4523# 9 "include/linux/unaligned/access_ok.h"
4524 tmp___7 = __le16_to_cpup((__le16 const *)((__le16 *)p));
4525 }
4526# 9 "include/linux/unaligned/access_ok.h"
4527 return (tmp___7);
4528}
4529}
4530# 22 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4531static char const __mod_author22[40] __attribute__((__used__, __unused__, __section__(".modinfo"),
4532__aligned__(1))) =
4533# 22 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4534 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4535 (char const )'o', (char const )'r', (char const )'=', (char const )'J',
4536 (char const )'o', (char const )'s', (char const )'h', (char const )' ',
4537 (char const )'M', (char const )'y', (char const )'e', (char const )'r',
4538 (char const )' ', (char const )'<', (char const )'j', (char const )'o',
4539 (char const )'s', (char const )'h', (char const )'@', (char const )'j',
4540 (char const )'o', (char const )'s', (char const )'h', (char const )'i',
4541 (char const )'s', (char const )'a', (char const )'n', (char const )'e',
4542 (char const )'r', (char const )'d', (char const )'.', (char const )'c',
4543 (char const )'o', (char const )'m', (char const )'>', (char const )'\000'};
4544# 23 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4545static char const __mod_description23[48] __attribute__((__used__, __unused__,
4546__section__(".modinfo"), __aligned__(1))) =
4547# 23 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4548 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4549 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4550 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4551 (char const )'U', (char const )'S', (char const )'B', (char const )' ',
4552 (char const )'K', (char const )'B', (char const )' ', (char const )'G',
4553 (char const )'e', (char const )'a', (char const )'r', (char const )' ',
4554 (char const )'J', (char const )'a', (char const )'m', (char const )'S',
4555 (char const )'t', (char const )'u', (char const )'d', (char const )'i',
4556 (char const )'o', (char const )' ', (char const )'T', (char const )'a',
4557 (char const )'b', (char const )'l', (char const )'e', (char const )'t',
4558 (char const )' ', (char const )'d', (char const )'r', (char const )'i',
4559 (char const )'v', (char const )'e', (char const )'r', (char const )'\000'};
4560# 24 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4561static char const __mod_license24[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4562__aligned__(1))) =
4563# 24 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4564 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4565 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4566 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4567# 28 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4568static int kb_pressure_click = 16;
4569# 29 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4570static char const __param_str_kb_pressure_click[18] =
4571# 29 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4572 { (char const )'k', (char const )'b', (char const )'_', (char const )'p',
4573 (char const )'r', (char const )'e', (char const )'s', (char const )'s',
4574 (char const )'u', (char const )'r', (char const )'e', (char const )'_',
4575 (char const )'c', (char const )'l', (char const )'i', (char const )'c',
4576 (char const )'k', (char const )'\000'};
4577# 29 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4578static struct kernel_param const __param_kb_pressure_click __attribute__((__used__,
4579__unused__, __section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_kb_pressure_click, (struct kernel_param_ops const *)(& param_ops_int),
4580 (u16 )0, (u16 )0, {(void *)(& kb_pressure_click)}};
4581# 29 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4582static char const __mod_kb_pressure_clicktype29[31] __attribute__((__used__, __unused__,
4583__section__(".modinfo"), __aligned__(1))) =
4584# 29 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4585 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4586 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
4587 (char const )'=', (char const )'k', (char const )'b', (char const )'_',
4588 (char const )'p', (char const )'r', (char const )'e', (char const )'s',
4589 (char const )'s', (char const )'u', (char const )'r', (char const )'e',
4590 (char const )'_', (char const )'c', (char const )'l', (char const )'i',
4591 (char const )'c', (char const )'k', (char const )':', (char const )'i',
4592 (char const )'n', (char const )'t', (char const )'\000'};
4593# 30 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4594static char const __mod_kb_pressure_click30[53] __attribute__((__used__, __unused__,
4595__section__(".modinfo"), __aligned__(1))) =
4596# 30 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4597 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
4598 (char const )'=', (char const )'k', (char const )'b', (char const )'_',
4599 (char const )'p', (char const )'r', (char const )'e', (char const )'s',
4600 (char const )'s', (char const )'u', (char const )'r', (char const )'e',
4601 (char const )'_', (char const )'c', (char const )'l', (char const )'i',
4602 (char const )'c', (char const )'k', (char const )':', (char const )'p',
4603 (char const )'r', (char const )'e', (char const )'s', (char const )'s',
4604 (char const )'u', (char const )'r', (char const )'e', (char const )' ',
4605 (char const )'t', (char const )'h', (char const )'r', (char const )'e',
4606 (char const )'s', (char const )'h', (char const )'o', (char const )'l',
4607 (char const )'d', (char const )' ', (char const )'f', (char const )'o',
4608 (char const )'r', (char const )' ', (char const )'c', (char const )'l',
4609 (char const )'i', (char const )'c', (char const )'k', (char const )'s',
4610 (char const )'\000'};
4611# 41 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4612static void kbtab_irq(struct urb *urb )
4613{ struct kbtab *kbtab ;
4614 unsigned char *data ;
4615 struct input_dev *dev ;
4616 int pressure ;
4617 int retval ;
4618 u16 tmp___7 ;
4619 u16 tmp___8 ;
4620 int tmp___9 ;
4621
4622 {
4623# 43 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4624 kbtab = (struct kbtab *)urb->context;
4625# 44 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4626 data = kbtab->data;
4627# 45 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4628 dev = kbtab->dev;
4629# 50 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4630 if (urb->status == 0) {
4631# 50 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4632 goto case_0;
4633 } else
4634# 53 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4635 if (urb->status == -104) {
4636# 53 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4637 goto case_neg_104;
4638 } else
4639# 54 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4640 if (urb->status == -2) {
4641# 54 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4642 goto case_neg_104;
4643 } else
4644# 55 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4645 if (urb->status == -108) {
4646# 55 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4647 goto case_neg_104;
4648 } else {
4649# 59 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4650 goto switch_default;
4651# 49 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4652 if (0) {
4653 case_0:
4654# 52 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4655 goto switch_break;
4656 case_neg_104:
4657 {
4658# 57 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4659 while (1) {
4660 while_continue: ;
4661# 57 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4662 goto while_break;
4663 }
4664 while_break___1: ;
4665 }
4666 while_break: ;
4667# 58 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4668 return;
4669 switch_default:
4670 {
4671# 60 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4672 while (1) {
4673 while_continue___0: ;
4674# 60 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4675 goto while_break___0;
4676 }
4677 while_break___2: ;
4678 }
4679 while_break___0: ;
4680# 61 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4681 goto exit;
4682 } else {
4683 switch_break: ;
4684 }
4685 }
4686 {
4687# 65 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4688 input_report_key(dev, 320U, 1);
4689# 67 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4690 tmp___7 = get_unaligned_le16((void const *)(data + 1));
4691# 67 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4692 input_report_abs(dev, 0U, (int )tmp___7);
4693# 68 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4694 tmp___8 = get_unaligned_le16((void const *)(data + 3));
4695# 68 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4696 input_report_abs(dev, 1U, (int )tmp___8);
4697# 71 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4698 input_report_key(dev, 273U, (int )*(data + 0) & 2);
4699# 73 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4700 pressure = (int )*(data + 5);
4701 }
4702# 74 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4703 if (kb_pressure_click == -1) {
4704 {
4705# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4706 input_report_abs(dev, 24U, pressure);
4707 }
4708 } else {
4709# 77 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4710 if (pressure > kb_pressure_click) {
4711# 77 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4712 tmp___9 = 1;
4713 } else {
4714# 77 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4715 tmp___9 = 0;
4716 }
4717 {
4718# 77 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4719 input_report_key(dev, 272U, tmp___9);
4720 }
4721 }
4722 {
4723# 79 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4724 input_sync(dev);
4725 }
4726 exit:
4727 {
4728# 82 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4729 retval = usb_submit_urb(urb, 32U);
4730 }
4731# 83 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4732 if (retval) {
4733 {
4734# 84 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4735 printk("<3>kbtab: %s - usb_submit_urb failed with result %d\n", "kbtab_irq", retval);
4736 }
4737 } else {
4738
4739 }
4740# 86 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4741 return;
4742}
4743}
4744# 88 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4745static struct usb_device_id kbtab_ids[1] = { {(__u16 )3, (__u16 )2126, (__u16 )4097, (unsigned short)0, (unsigned short)0,
4746 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4747 (unsigned char)0, (kernel_ulong_t )0}};
4748# 93 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4749extern struct usb_device_id const __mod_usb_device_table __attribute__((__unused__,
4750__alias__("kbtab_ids"))) ;
4751# 95 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4752static int kbtab_open(struct input_dev *dev )
4753{ struct kbtab *kbtab ;
4754 void *tmp___7 ;
4755 int tmp___8 ;
4756
4757 {
4758 {
4759# 97 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4760 tmp___7 = input_get_drvdata(dev);
4761# 97 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4762 kbtab = (struct kbtab *)tmp___7;
4763# 99 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4764 (kbtab->irq)->dev = kbtab->usbdev;
4765# 100 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4766 tmp___8 = usb_submit_urb(kbtab->irq, 208U);
4767 }
4768# 100 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4769 if (tmp___8) {
4770# 101 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4771 return (-5);
4772 } else {
4773
4774 }
4775# 103 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4776 return (0);
4777}
4778}
4779# 106 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4780static void kbtab_close(struct input_dev *dev )
4781{ struct kbtab *kbtab ;
4782 void *tmp___7 ;
4783
4784 {
4785 {
4786# 108 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4787 tmp___7 = input_get_drvdata(dev);
4788# 108 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4789 kbtab = (struct kbtab *)tmp___7;
4790# 110 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4791 usb_kill_urb(kbtab->irq);
4792 }
4793# 111 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4794 return;
4795}
4796}
4797# 113 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4798static int kbtab_probe(struct usb_interface *intf , struct usb_device_id const *id )
4799{ struct usb_device *dev ;
4800 struct usb_device *tmp___7 ;
4801 struct usb_endpoint_descriptor *endpoint ;
4802 struct kbtab *kbtab ;
4803 struct input_dev *input_dev ;
4804 int error ;
4805 void *tmp___8 ;
4806 void *tmp___9 ;
4807 unsigned int tmp___10 ;
4808 int tmp ;
4809
4810 {
4811 {
4812# 115 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4813 tmp___7 = interface_to_usbdev(intf);
4814# 115 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4815 dev = tmp___7;
4816# 119 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4817 error = -12;
4818# 121 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4819 tmp___8 = kzalloc(sizeof(struct kbtab ), 208U);
4820# 121 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4821 kbtab = (struct kbtab *)tmp___8;
4822# 122 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4823 input_dev = input_allocate_device();
4824 }
4825# 123 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4826 if (! kbtab) {
4827# 124 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4828 goto fail1;
4829 } else
4830# 123 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4831 if (! input_dev) {
4832# 124 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4833 goto fail1;
4834 } else {
4835
4836 }
4837 {
4838# 126 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4839 tmp___9 = usb_alloc_coherent(dev, (size_t )8, 208U, & kbtab->data_dma);
4840# 126 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4841 kbtab->data = (unsigned char *)tmp___9;
4842 }
4843# 127 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4844 if (! kbtab->data) {
4845# 128 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4846 goto fail1;
4847 } else {
4848
4849 }
4850 {
4851# 130 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4852 kbtab->irq = usb_alloc_urb(0, 208U);
4853 }
4854# 131 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4855 if (! kbtab->irq) {
4856# 132 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4857 goto fail2;
4858 } else {
4859
4860 }
4861 {
4862# 134 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4863 kbtab->usbdev = dev;
4864# 135 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4865 kbtab->dev = input_dev;
4866# 137 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4867 usb_make_path(dev, kbtab->phys, sizeof(kbtab->phys));
4868# 138 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4869 strlcat(kbtab->phys, "/input0", sizeof(kbtab->phys));
4870# 140 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4871 input_dev->name = "KB Gear Tablet";
4872# 141 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4873 input_dev->phys = (char const *)(kbtab->phys);
4874# 142 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4875 usb_to_input_id((struct usb_device const *)dev, & input_dev->id);
4876# 143 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4877 input_dev->dev.parent = & intf->dev;
4878# 145 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4879 input_set_drvdata(input_dev, (void *)kbtab);
4880# 147 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4881 input_dev->open = & kbtab_open;
4882# 148 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4883 input_dev->close = & kbtab_close;
4884# 150 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4885 input_dev->evbit[0] = input_dev->evbit[0] | ((1UL << 1) | (1UL << 3));
4886# 151 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4887 input_dev->keybit[4] = input_dev->keybit[4] | ((1UL << 16) | (1UL << 17));
4888# 153 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4889 input_dev->keybit[5] = input_dev->keybit[5] | (1UL | (1UL << 10));
4890# 155 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4891 input_set_abs_params(input_dev, 0U, 0, 8192, 4, 0);
4892# 156 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4893 input_set_abs_params(input_dev, 1U, 0, 5968, 4, 0);
4894# 157 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4895 input_set_abs_params(input_dev, 24U, 0, 255, 0, 0);
4896# 159 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4897 endpoint = & ((intf->cur_altsetting)->endpoint + 0)->desc;
4898# 161 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4899 tmp___10 = __create_pipe(dev, (unsigned int )endpoint->bEndpointAddress);
4900# 161 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4901 usb_fill_int_urb(kbtab->irq, dev, ((unsigned int )(1 << 30) | tmp___10) | 128U,
4902 (void *)kbtab->data, 8, & kbtab_irq, (void *)kbtab, (int )endpoint->bInterval);
4903# 165 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4904 (kbtab->irq)->transfer_dma = kbtab->data_dma;
4905# 166 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4906 (kbtab->irq)->transfer_flags = (kbtab->irq)->transfer_flags | 4U;
4907# 168 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4908 tmp = (int )input_register_device(kbtab->dev);
4909# 168 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4910 error = tmp;
4911 }
4912# 169 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4913 if (error) {
4914# 170 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4915 goto fail3;
4916 } else {
4917
4918 }
4919 {
4920# 172 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4921 usb_set_intfdata(intf, (void *)kbtab);
4922 }
4923# 174 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4924 return (0);
4925 fail3:
4926 {
4927# 176 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4928 usb_free_urb(kbtab->irq);
4929 }
4930 fail2:
4931 {
4932# 177 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4933 usb_free_coherent(dev, (size_t )8, (void *)kbtab->data, kbtab->data_dma);
4934 }
4935 fail1:
4936 {
4937# 178 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4938 input_free_device(input_dev);
4939# 179 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4940 kfree((void const *)kbtab);
4941 }
4942# 180 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4943 return (error);
4944}
4945}
4946# 183 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4947static void kbtab_disconnect(struct usb_interface *intf )
4948{ struct kbtab *kbtab ;
4949 void *tmp___7 ;
4950
4951 {
4952 {
4953# 185 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4954 tmp___7 = usb_get_intfdata(intf);
4955# 185 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4956 kbtab = (struct kbtab *)tmp___7;
4957# 187 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4958 usb_set_intfdata(intf, (void *)0);
4959# 189 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4960 input_unregister_device(kbtab->dev);
4961# 190 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4962 usb_free_urb(kbtab->irq);
4963# 191 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4964 usb_free_coherent(kbtab->usbdev, (size_t )8, (void *)kbtab->data, kbtab->data_dma);
4965# 192 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4966 kfree((void const *)kbtab);
4967 }
4968# 193 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4969 return;
4970}
4971}
4972# 195 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4973static struct usb_driver kbtab_driver =
4974# 195 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4975 {"kbtab", & kbtab_probe, & kbtab_disconnect, (int (*)(struct usb_interface *intf ,
4976 unsigned int code , void *buf ))0,
4977 (int (*)(struct usb_interface *intf , pm_message_t message ))0, (int (*)(struct usb_interface *intf ))0,
4978 (int (*)(struct usb_interface *intf ))0, (int (*)(struct usb_interface *intf ))0,
4979 (int (*)(struct usb_interface *intf ))0, (struct usb_device_id const *)(kbtab_ids),
4980 {{{{{0U}, 0U, 0U, (void *)0, {(struct lock_class_key *)0, {(struct lock_class *)0,
4981 (struct lock_class *)0},
4982 (char const *)0, 0, 0UL}}}}, {(struct list_head *)0,
4983 (struct list_head *)0}},
4984 {{(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
4985 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0,
4986 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
4987 pm_message_t state ))0,
4988 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
4989 (struct driver_private *)0}, 0}, 0U, 0U, 0U};
4990# 202 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4991static int kbtab_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4992# 202 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4993static int kbtab_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4994# 202 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
4995static int kbtab_init(void)
4996{ int retval ;
4997
4998 {
4999 {
5000# 205 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5001 retval = usb_register(& kbtab_driver);
5002 }
5003# 206 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5004 if (retval) {
5005# 207 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5006 goto out;
5007 } else {
5008
5009 }
5010 {
5011# 208 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5012 printk("<6>kbtab: v0.0.2:USB KB Gear JamStudio Tablet driver\n");
5013 }
5014 out:
5015# 211 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5016 return (retval);
5017}
5018}
5019# 214 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5020static void kbtab_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
5021# 214 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5022static void kbtab_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
5023# 214 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5024static void kbtab_exit(void)
5025{
5026
5027 {
5028 {
5029# 216 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5030 usb_deregister(& kbtab_driver);
5031 }
5032# 217 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5033 return;
5034}
5035}
5036# 219 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5037int init_module(void)
5038{ int tmp___7 ;
5039
5040 {
5041 {
5042# 219 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5043 tmp___7 = kbtab_init();
5044 }
5045# 219 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5046 return (tmp___7);
5047}
5048}
5049# 220 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5050void cleanup_module(void)
5051{
5052
5053 {
5054 {
5055# 220 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5056 kbtab_exit();
5057 }
5058# 220 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5059 return;
5060}
5061}
5062# 238 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5063void ldv_check_final_state(void) __attribute__((__ldv_model__)) ;
5064# 241 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5065extern void ldv_check_return_value(int res ) ;
5066# 244 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5067extern void ldv_initialize(void) ;
5068# 247 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5069extern int nondet_int(void) ;
5070# 250 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5071int LDV_IN_INTERRUPT ;
5072# 273 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5073static int res_kbtab_probe_3 ;
5074# 253 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5075void main(void)
5076{ struct usb_interface *var_group1 ;
5077 struct usb_device_id const *var_kbtab_probe_3_p1 ;
5078 int tmp___7 ;
5079 int ldv_s_kbtab_driver_usb_driver ;
5080 int tmp___8 ;
5081 int tmp___9 ;
5082
5083 {
5084 {
5085# 289 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5086 LDV_IN_INTERRUPT = 1;
5087# 298 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5088 ldv_initialize();
5089# 310 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5090 tmp___7 = kbtab_init();
5091 }
5092# 310 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5093 if (tmp___7) {
5094# 311 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5095 goto ldv_final;
5096 } else {
5097
5098 }
5099# 312 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5100 ldv_s_kbtab_driver_usb_driver = 0;
5101 {
5102# 315 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5103 while (1) {
5104 while_continue: ;
5105 {
5106# 315 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5107 tmp___9 = nondet_int();
5108 }
5109# 315 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5110 if (tmp___9) {
5111
5112 } else
5113# 315 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5114 if (! (ldv_s_kbtab_driver_usb_driver == 0)) {
5115
5116 } else {
5117# 315 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5118 goto while_break;
5119 }
5120 {
5121# 319 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5122 tmp___8 = nondet_int();
5123 }
5124# 321 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5125 if (tmp___8 == 0) {
5126# 321 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5127 goto case_0;
5128 } else
5129# 346 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5130 if (tmp___8 == 1) {
5131# 346 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5132 goto case_1;
5133 } else {
5134# 368 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5135 goto switch_default;
5136# 319 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5137 if (0) {
5138 case_0:
5139# 324 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5140 if (ldv_s_kbtab_driver_usb_driver == 0) {
5141 {
5142# 335 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5143 res_kbtab_probe_3 = kbtab_probe(var_group1, var_kbtab_probe_3_p1);
5144# 336 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5145 ldv_check_return_value(res_kbtab_probe_3);
5146 }
5147# 337 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5148 if (res_kbtab_probe_3) {
5149# 338 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5150 goto ldv_module_exit;
5151 } else {
5152
5153 }
5154# 339 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5155 ldv_s_kbtab_driver_usb_driver = ldv_s_kbtab_driver_usb_driver + 1;
5156 } else {
5157
5158 }
5159# 345 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5160 goto switch_break;
5161 case_1:
5162# 349 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5163 if (ldv_s_kbtab_driver_usb_driver == 1) {
5164 {
5165# 360 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5166 kbtab_disconnect(var_group1);
5167# 361 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5168 ldv_s_kbtab_driver_usb_driver = 0;
5169 }
5170 } else {
5171
5172 }
5173# 367 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5174 goto switch_break;
5175 switch_default:
5176# 368 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5177 goto switch_break;
5178 } else {
5179 switch_break: ;
5180 }
5181 }
5182 }
5183 while_break___0: ;
5184 }
5185 while_break: ;
5186 ldv_module_exit:
5187 {
5188# 386 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5189 kbtab_exit();
5190 }
5191 ldv_final:
5192 {
5193# 389 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5194 ldv_check_final_state();
5195 }
5196# 392 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/input/tablet/kbtab.c.common.c"
5197 return;
5198}
5199}
5200# 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast-assert.h"
5201void ldv_blast_assert(void)
5202{
5203
5204 {
5205 ERROR:
5206# 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast-assert.h"
5207 goto ERROR;
5208}
5209}
5210# 7 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast.h"
5211extern void *ldv_undefined_pointer(void) ;
5212# 10 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5213void ldv_assume_stop(void) __attribute__((__ldv_model_inline__)) ;
5214# 22 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5215void ldv_assume_stop(void) __attribute__((__ldv_model_inline__)) ;
5216# 22 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5217void ldv_assume_stop(void)
5218{
5219
5220 {
5221 LDV_STOP:
5222# 23 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5223 goto LDV_STOP;
5224}
5225}
5226# 29 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5227int ldv_urb_state = 0;
5228# 31 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5229int ldv_coherent_state = 0;
5230# 62 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5231void *usb_alloc_coherent(struct usb_device *dev , size_t size , gfp_t mem_flags ,
5232 dma_addr_t *dma ) __attribute__((__ldv_model__)) ;
5233# 62 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5234void *usb_alloc_coherent(struct usb_device *dev , size_t size , gfp_t mem_flags ,
5235 dma_addr_t *dma )
5236{ void *arbitrary_memory ;
5237 void *tmp___7 ;
5238
5239 {
5240 {
5241# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5242 while (1) {
5243 while_continue: ;
5244 {
5245# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5246 tmp___7 = ldv_undefined_pointer();
5247# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5248 arbitrary_memory = tmp___7;
5249 }
5250# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5251 if (! arbitrary_memory) {
5252# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5253 return ((void *)0);
5254 } else {
5255
5256 }
5257# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5258 ldv_coherent_state = ldv_coherent_state + 1;
5259# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5260 return (arbitrary_memory);
5261# 64 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5262 goto while_break;
5263 }
5264 while_break___0: ;
5265 }
5266 while_break: ;
5267# 65 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5268 return ((void *)0);
5269}
5270}
5271# 68 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5272void usb_free_coherent(struct usb_device *dev , size_t size , void *addr , dma_addr_t dma ) __attribute__((__ldv_model__)) ;
5273# 68 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5274void usb_free_coherent(struct usb_device *dev , size_t size , void *addr , dma_addr_t dma )
5275{
5276
5277 {
5278 {
5279# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5280 while (1) {
5281 while_continue: ;
5282# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5283 if (! ((unsigned long )addr != (unsigned long )((void *)0))) {
5284 {
5285# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5286 ldv_assume_stop();
5287 }
5288 } else {
5289
5290 }
5291# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5292 if (addr) {
5293# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5294 if (ldv_coherent_state >= 1) {
5295
5296 } else {
5297 {
5298# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5299 ldv_blast_assert();
5300 }
5301 }
5302# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5303 ldv_coherent_state = ldv_coherent_state - 1;
5304 } else {
5305
5306 }
5307# 70 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5308 goto while_break;
5309 }
5310 while_break___0: ;
5311 }
5312 while_break: ;
5313# 71 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5314 return;
5315}
5316}
5317# 74 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5318struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags ) __attribute__((__ldv_model__)) ;
5319# 74 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5320struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags )
5321{ void *arbitrary_memory ;
5322 void *tmp___7 ;
5323
5324 {
5325 {
5326# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5327 while (1) {
5328 while_continue: ;
5329 {
5330# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5331 tmp___7 = ldv_undefined_pointer();
5332# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5333 arbitrary_memory = tmp___7;
5334 }
5335# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5336 if (! arbitrary_memory) {
5337# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5338 return ((struct urb *)((void *)0));
5339 } else {
5340
5341 }
5342# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5343 ldv_urb_state = ldv_urb_state + 1;
5344# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5345 return ((struct urb *)arbitrary_memory);
5346# 75 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5347 goto while_break;
5348 }
5349 while_break___0: ;
5350 }
5351 while_break: ;
5352# 76 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5353 return ((struct urb *)0);
5354}
5355}
5356# 79 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5357void usb_free_urb(struct urb *urb ) __attribute__((__ldv_model__)) ;
5358# 79 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5359void usb_free_urb(struct urb *urb )
5360{
5361
5362 {
5363 {
5364# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5365 while (1) {
5366 while_continue: ;
5367# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5368 if (! ((unsigned long )urb != (unsigned long )((struct urb *)0))) {
5369 {
5370# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5371 ldv_assume_stop();
5372 }
5373 } else {
5374
5375 }
5376# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5377 if (urb) {
5378# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5379 if (ldv_urb_state >= 1) {
5380
5381 } else {
5382 {
5383# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5384 ldv_blast_assert();
5385 }
5386 }
5387# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5388 ldv_urb_state = ldv_urb_state - 1;
5389 } else {
5390
5391 }
5392# 80 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5393 goto while_break;
5394 }
5395 while_break___0: ;
5396 }
5397 while_break: ;
5398# 81 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5399 return;
5400}
5401}
5402# 84 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5403void ldv_check_final_state(void) __attribute__((__ldv_model__)) ;
5404# 84 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5405void ldv_check_final_state(void)
5406{
5407
5408 {
5409# 86 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5410 if (ldv_urb_state == 0) {
5411
5412 } else {
5413 {
5414# 86 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5415 ldv_blast_assert();
5416 }
5417 }
5418# 88 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5419 if (ldv_coherent_state == 0) {
5420
5421 } else {
5422 {
5423# 88 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5424 ldv_blast_assert();
5425 }
5426 }
5427# 89 "/anthill/stuff/tacas-comp/work/current--X--drivers/input/tablet/kbtab.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/model0068.c"
5428 return;
5429}
5430}