Showing error 1351

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/43_1a_cilled_unsafe_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 20999
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

    1/* Generated by CIL v. 1.3.7 */
    2/* print_CIL_Input is true */
    3
    4#line 20 "include/asm-generic/int-ll64.h"
    5typedef unsigned char __u8;
    6#line 23 "include/asm-generic/int-ll64.h"
    7typedef unsigned short __u16;
    8#line 25 "include/asm-generic/int-ll64.h"
    9typedef int __s32;
   10#line 26 "include/asm-generic/int-ll64.h"
   11typedef unsigned int __u32;
   12#line 30 "include/asm-generic/int-ll64.h"
   13typedef unsigned long long __u64;
   14#line 43 "include/asm-generic/int-ll64.h"
   15typedef unsigned char u8;
   16#line 45 "include/asm-generic/int-ll64.h"
   17typedef short s16;
   18#line 46 "include/asm-generic/int-ll64.h"
   19typedef unsigned short u16;
   20#line 49 "include/asm-generic/int-ll64.h"
   21typedef unsigned int u32;
   22#line 51 "include/asm-generic/int-ll64.h"
   23typedef long long s64;
   24#line 52 "include/asm-generic/int-ll64.h"
   25typedef unsigned long long u64;
   26#line 14 "include/asm-generic/posix_types.h"
   27typedef long __kernel_long_t;
   28#line 15 "include/asm-generic/posix_types.h"
   29typedef unsigned long __kernel_ulong_t;
   30#line 31 "include/asm-generic/posix_types.h"
   31typedef int __kernel_pid_t;
   32#line 52 "include/asm-generic/posix_types.h"
   33typedef unsigned int __kernel_uid32_t;
   34#line 53 "include/asm-generic/posix_types.h"
   35typedef unsigned int __kernel_gid32_t;
   36#line 75 "include/asm-generic/posix_types.h"
   37typedef __kernel_ulong_t __kernel_size_t;
   38#line 76 "include/asm-generic/posix_types.h"
   39typedef __kernel_long_t __kernel_ssize_t;
   40#line 91 "include/asm-generic/posix_types.h"
   41typedef long long __kernel_loff_t;
   42#line 92 "include/asm-generic/posix_types.h"
   43typedef __kernel_long_t __kernel_time_t;
   44#line 93 "include/asm-generic/posix_types.h"
   45typedef __kernel_long_t __kernel_clock_t;
   46#line 94 "include/asm-generic/posix_types.h"
   47typedef int __kernel_timer_t;
   48#line 95 "include/asm-generic/posix_types.h"
   49typedef int __kernel_clockid_t;
   50#line 21 "include/linux/types.h"
   51typedef __u32 __kernel_dev_t;
   52#line 24 "include/linux/types.h"
   53typedef __kernel_dev_t dev_t;
   54#line 27 "include/linux/types.h"
   55typedef unsigned short umode_t;
   56#line 30 "include/linux/types.h"
   57typedef __kernel_pid_t pid_t;
   58#line 35 "include/linux/types.h"
   59typedef __kernel_clockid_t clockid_t;
   60#line 38 "include/linux/types.h"
   61typedef _Bool bool;
   62#line 40 "include/linux/types.h"
   63typedef __kernel_uid32_t uid_t;
   64#line 41 "include/linux/types.h"
   65typedef __kernel_gid32_t gid_t;
   66#line 54 "include/linux/types.h"
   67typedef __kernel_loff_t loff_t;
   68#line 63 "include/linux/types.h"
   69typedef __kernel_size_t size_t;
   70#line 68 "include/linux/types.h"
   71typedef __kernel_ssize_t ssize_t;
   72#line 78 "include/linux/types.h"
   73typedef __kernel_time_t time_t;
   74#line 111 "include/linux/types.h"
   75typedef __s32 int32_t;
   76#line 117 "include/linux/types.h"
   77typedef __u32 uint32_t;
   78#line 155 "include/linux/types.h"
   79typedef u64 dma_addr_t;
   80#line 178 "include/linux/types.h"
   81typedef __u16 __le16;
   82#line 202 "include/linux/types.h"
   83typedef unsigned int gfp_t;
   84#line 206 "include/linux/types.h"
   85typedef u64 phys_addr_t;
   86#line 211 "include/linux/types.h"
   87typedef phys_addr_t resource_size_t;
   88#line 221 "include/linux/types.h"
   89struct __anonstruct_atomic_t_6 {
   90   int counter ;
   91};
   92#line 221 "include/linux/types.h"
   93typedef struct __anonstruct_atomic_t_6 atomic_t;
   94#line 226 "include/linux/types.h"
   95struct __anonstruct_atomic64_t_7 {
   96   long counter ;
   97};
   98#line 226 "include/linux/types.h"
   99typedef struct __anonstruct_atomic64_t_7 atomic64_t;
  100#line 227 "include/linux/types.h"
  101struct list_head {
  102   struct list_head *next ;
  103   struct list_head *prev ;
  104};
  105#line 232
  106struct hlist_node;
  107#line 232 "include/linux/types.h"
  108struct hlist_head {
  109   struct hlist_node *first ;
  110};
  111#line 236 "include/linux/types.h"
  112struct hlist_node {
  113   struct hlist_node *next ;
  114   struct hlist_node **pprev ;
  115};
  116#line 247 "include/linux/types.h"
  117struct rcu_head {
  118   struct rcu_head *next ;
  119   void (*func)(struct rcu_head * ) ;
  120};
  121#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
  122struct module;
  123#line 55
  124struct module;
  125#line 146 "include/linux/init.h"
  126typedef void (*ctor_fn_t)(void);
  127#line 305 "include/linux/printk.h"
  128struct _ddebug {
  129   char    *modname ;
  130   char    *function ;
  131   char    *filename ;
  132   char    *format ;
  133   unsigned int lineno : 18 ;
  134   unsigned char flags ;
  135};
  136#line 46 "include/linux/dynamic_debug.h"
  137struct device;
  138#line 46
  139struct device;
  140#line 57
  141struct completion;
  142#line 57
  143struct completion;
  144#line 58
  145struct pt_regs;
  146#line 58
  147struct pt_regs;
  148#line 200 "include/linux/kernel.h"
  149struct atomic_notifier_head;
  150#line 348
  151struct pid;
  152#line 348
  153struct pid;
  154#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
  155struct timespec;
  156#line 112
  157struct timespec;
  158#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
  159struct page;
  160#line 58
  161struct page;
  162#line 26 "include/asm-generic/getorder.h"
  163struct task_struct;
  164#line 26
  165struct task_struct;
  166#line 28
  167struct mm_struct;
  168#line 28
  169struct mm_struct;
  170#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
  171struct pt_regs {
  172   unsigned long r15 ;
  173   unsigned long r14 ;
  174   unsigned long r13 ;
  175   unsigned long r12 ;
  176   unsigned long bp ;
  177   unsigned long bx ;
  178   unsigned long r11 ;
  179   unsigned long r10 ;
  180   unsigned long r9 ;
  181   unsigned long r8 ;
  182   unsigned long ax ;
  183   unsigned long cx ;
  184   unsigned long dx ;
  185   unsigned long si ;
  186   unsigned long di ;
  187   unsigned long orig_ax ;
  188   unsigned long ip ;
  189   unsigned long cs ;
  190   unsigned long flags ;
  191   unsigned long sp ;
  192   unsigned long ss ;
  193};
  194#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  195struct __anonstruct_ldv_2180_13 {
  196   unsigned int a ;
  197   unsigned int b ;
  198};
  199#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  200struct __anonstruct_ldv_2195_14 {
  201   u16 limit0 ;
  202   u16 base0 ;
  203   unsigned char base1 ;
  204   unsigned char type : 4 ;
  205   unsigned char s : 1 ;
  206   unsigned char dpl : 2 ;
  207   unsigned char p : 1 ;
  208   unsigned char limit : 4 ;
  209   unsigned char avl : 1 ;
  210   unsigned char l : 1 ;
  211   unsigned char d : 1 ;
  212   unsigned char g : 1 ;
  213   unsigned char base2 ;
  214};
  215#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  216union __anonunion_ldv_2196_12 {
  217   struct __anonstruct_ldv_2180_13 ldv_2180 ;
  218   struct __anonstruct_ldv_2195_14 ldv_2195 ;
  219};
  220#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  221struct desc_struct {
  222   union __anonunion_ldv_2196_12 ldv_2196 ;
  223};
  224#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  225typedef unsigned long pgdval_t;
  226#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  227typedef unsigned long pgprotval_t;
  228#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  229struct pgprot {
  230   pgprotval_t pgprot ;
  231};
  232#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  233typedef struct pgprot pgprot_t;
  234#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  235struct __anonstruct_pgd_t_16 {
  236   pgdval_t pgd ;
  237};
  238#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  239typedef struct __anonstruct_pgd_t_16 pgd_t;
  240#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  241typedef struct page *pgtable_t;
  242#line 290
  243struct file;
  244#line 290
  245struct file;
  246#line 337
  247struct thread_struct;
  248#line 337
  249struct thread_struct;
  250#line 339
  251struct cpumask;
  252#line 339
  253struct cpumask;
  254#line 340 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  255struct paravirt_callee_save {
  256   void *func ;
  257};
  258#line 197 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
  259struct pv_irq_ops {
  260   struct paravirt_callee_save save_fl ;
  261   struct paravirt_callee_save restore_fl ;
  262   struct paravirt_callee_save irq_disable ;
  263   struct paravirt_callee_save irq_enable ;
  264   void (*safe_halt)(void) ;
  265   void (*halt)(void) ;
  266   void (*adjust_exception_frame)(void) ;
  267};
  268#line 327
  269struct arch_spinlock;
  270#line 327
  271struct arch_spinlock;
  272#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  273struct kernel_vm86_regs {
  274   struct pt_regs pt ;
  275   unsigned short es ;
  276   unsigned short __esh ;
  277   unsigned short ds ;
  278   unsigned short __dsh ;
  279   unsigned short fs ;
  280   unsigned short __fsh ;
  281   unsigned short gs ;
  282   unsigned short __gsh ;
  283};
  284#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
  285union __anonunion_ldv_2824_19 {
  286   struct pt_regs *regs ;
  287   struct kernel_vm86_regs *vm86 ;
  288};
  289#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
  290struct math_emu_info {
  291   long ___orig_eip ;
  292   union __anonunion_ldv_2824_19 ldv_2824 ;
  293};
  294#line 306 "include/linux/bitmap.h"
  295struct bug_entry {
  296   int bug_addr_disp ;
  297   int file_disp ;
  298   unsigned short line ;
  299   unsigned short flags ;
  300};
  301#line 89 "include/linux/bug.h"
  302struct cpumask {
  303   unsigned long bits[64U] ;
  304};
  305#line 14 "include/linux/cpumask.h"
  306typedef struct cpumask cpumask_t;
  307#line 637 "include/linux/cpumask.h"
  308typedef struct cpumask *cpumask_var_t;
  309#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
  310struct static_key;
  311#line 234
  312struct static_key;
  313#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  314struct i387_fsave_struct {
  315   u32 cwd ;
  316   u32 swd ;
  317   u32 twd ;
  318   u32 fip ;
  319   u32 fcs ;
  320   u32 foo ;
  321   u32 fos ;
  322   u32 st_space[20U] ;
  323   u32 status ;
  324};
  325#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  326struct __anonstruct_ldv_5180_24 {
  327   u64 rip ;
  328   u64 rdp ;
  329};
  330#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  331struct __anonstruct_ldv_5186_25 {
  332   u32 fip ;
  333   u32 fcs ;
  334   u32 foo ;
  335   u32 fos ;
  336};
  337#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  338union __anonunion_ldv_5187_23 {
  339   struct __anonstruct_ldv_5180_24 ldv_5180 ;
  340   struct __anonstruct_ldv_5186_25 ldv_5186 ;
  341};
  342#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  343union __anonunion_ldv_5196_26 {
  344   u32 padding1[12U] ;
  345   u32 sw_reserved[12U] ;
  346};
  347#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  348struct i387_fxsave_struct {
  349   u16 cwd ;
  350   u16 swd ;
  351   u16 twd ;
  352   u16 fop ;
  353   union __anonunion_ldv_5187_23 ldv_5187 ;
  354   u32 mxcsr ;
  355   u32 mxcsr_mask ;
  356   u32 st_space[32U] ;
  357   u32 xmm_space[64U] ;
  358   u32 padding[12U] ;
  359   union __anonunion_ldv_5196_26 ldv_5196 ;
  360};
  361#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  362struct i387_soft_struct {
  363   u32 cwd ;
  364   u32 swd ;
  365   u32 twd ;
  366   u32 fip ;
  367   u32 fcs ;
  368   u32 foo ;
  369   u32 fos ;
  370   u32 st_space[20U] ;
  371   u8 ftop ;
  372   u8 changed ;
  373   u8 lookahead ;
  374   u8 no_update ;
  375   u8 rm ;
  376   u8 alimit ;
  377   struct math_emu_info *info ;
  378   u32 entry_eip ;
  379};
  380#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  381struct ymmh_struct {
  382   u32 ymmh_space[64U] ;
  383};
  384#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  385struct xsave_hdr_struct {
  386   u64 xstate_bv ;
  387   u64 reserved1[2U] ;
  388   u64 reserved2[5U] ;
  389};
  390#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  391struct xsave_struct {
  392   struct i387_fxsave_struct i387 ;
  393   struct xsave_hdr_struct xsave_hdr ;
  394   struct ymmh_struct ymmh ;
  395};
  396#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  397union thread_xstate {
  398   struct i387_fsave_struct fsave ;
  399   struct i387_fxsave_struct fxsave ;
  400   struct i387_soft_struct soft ;
  401   struct xsave_struct xsave ;
  402};
  403#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  404struct fpu {
  405   unsigned int last_cpu ;
  406   unsigned int has_fpu ;
  407   union thread_xstate *state ;
  408};
  409#line 433
  410struct kmem_cache;
  411#line 434
  412struct perf_event;
  413#line 434
  414struct perf_event;
  415#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  416struct thread_struct {
  417   struct desc_struct tls_array[3U] ;
  418   unsigned long sp0 ;
  419   unsigned long sp ;
  420   unsigned long usersp ;
  421   unsigned short es ;
  422   unsigned short ds ;
  423   unsigned short fsindex ;
  424   unsigned short gsindex ;
  425   unsigned long fs ;
  426   unsigned long gs ;
  427   struct perf_event *ptrace_bps[4U] ;
  428   unsigned long debugreg6 ;
  429   unsigned long ptrace_dr7 ;
  430   unsigned long cr2 ;
  431   unsigned long trap_nr ;
  432   unsigned long error_code ;
  433   struct fpu fpu ;
  434   unsigned long *io_bitmap_ptr ;
  435   unsigned long iopl ;
  436   unsigned int io_bitmap_max ;
  437};
  438#line 23 "include/asm-generic/atomic-long.h"
  439typedef atomic64_t atomic_long_t;
  440#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  441typedef u16 __ticket_t;
  442#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  443typedef u32 __ticketpair_t;
  444#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  445struct __raw_tickets {
  446   __ticket_t head ;
  447   __ticket_t tail ;
  448};
  449#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  450union __anonunion_ldv_5907_29 {
  451   __ticketpair_t head_tail ;
  452   struct __raw_tickets tickets ;
  453};
  454#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  455struct arch_spinlock {
  456   union __anonunion_ldv_5907_29 ldv_5907 ;
  457};
  458#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  459typedef struct arch_spinlock arch_spinlock_t;
  460#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
  461struct lockdep_map;
  462#line 34
  463struct lockdep_map;
  464#line 55 "include/linux/debug_locks.h"
  465struct stack_trace {
  466   unsigned int nr_entries ;
  467   unsigned int max_entries ;
  468   unsigned long *entries ;
  469   int skip ;
  470};
  471#line 26 "include/linux/stacktrace.h"
  472struct lockdep_subclass_key {
  473   char __one_byte ;
  474};
  475#line 53 "include/linux/lockdep.h"
  476struct lock_class_key {
  477   struct lockdep_subclass_key subkeys[8U] ;
  478};
  479#line 59 "include/linux/lockdep.h"
  480struct lock_class {
  481   struct list_head hash_entry ;
  482   struct list_head lock_entry ;
  483   struct lockdep_subclass_key *key ;
  484   unsigned int subclass ;
  485   unsigned int dep_gen_id ;
  486   unsigned long usage_mask ;
  487   struct stack_trace usage_traces[13U] ;
  488   struct list_head locks_after ;
  489   struct list_head locks_before ;
  490   unsigned int version ;
  491   unsigned long ops ;
  492   char    *name ;
  493   int name_version ;
  494   unsigned long contention_point[4U] ;
  495   unsigned long contending_point[4U] ;
  496};
  497#line 144 "include/linux/lockdep.h"
  498struct lockdep_map {
  499   struct lock_class_key *key ;
  500   struct lock_class *class_cache[2U] ;
  501   char    *name ;
  502   int cpu ;
  503   unsigned long ip ;
  504};
  505#line 187 "include/linux/lockdep.h"
  506struct held_lock {
  507   u64 prev_chain_key ;
  508   unsigned long acquire_ip ;
  509   struct lockdep_map *instance ;
  510   struct lockdep_map *nest_lock ;
  511   u64 waittime_stamp ;
  512   u64 holdtime_stamp ;
  513   unsigned short class_idx : 13 ;
  514   unsigned char irq_context : 2 ;
  515   unsigned char trylock : 1 ;
  516   unsigned char read : 2 ;
  517   unsigned char check : 2 ;
  518   unsigned char hardirqs_off : 1 ;
  519   unsigned short references : 11 ;
  520};
  521#line 556 "include/linux/lockdep.h"
  522struct raw_spinlock {
  523   arch_spinlock_t raw_lock ;
  524   unsigned int magic ;
  525   unsigned int owner_cpu ;
  526   void *owner ;
  527   struct lockdep_map dep_map ;
  528};
  529#line 32 "include/linux/spinlock_types.h"
  530typedef struct raw_spinlock raw_spinlock_t;
  531#line 33 "include/linux/spinlock_types.h"
  532struct __anonstruct_ldv_6122_33 {
  533   u8 __padding[24U] ;
  534   struct lockdep_map dep_map ;
  535};
  536#line 33 "include/linux/spinlock_types.h"
  537union __anonunion_ldv_6123_32 {
  538   struct raw_spinlock rlock ;
  539   struct __anonstruct_ldv_6122_33 ldv_6122 ;
  540};
  541#line 33 "include/linux/spinlock_types.h"
  542struct spinlock {
  543   union __anonunion_ldv_6123_32 ldv_6123 ;
  544};
  545#line 76 "include/linux/spinlock_types.h"
  546typedef struct spinlock spinlock_t;
  547#line 110 "include/linux/seqlock.h"
  548struct seqcount {
  549   unsigned int sequence ;
  550};
  551#line 121 "include/linux/seqlock.h"
  552typedef struct seqcount seqcount_t;
  553#line 254 "include/linux/seqlock.h"
  554struct timespec {
  555   __kernel_time_t tv_sec ;
  556   long tv_nsec ;
  557};
  558#line 48 "include/linux/wait.h"
  559struct __wait_queue_head {
  560   spinlock_t lock ;
  561   struct list_head task_list ;
  562};
  563#line 53 "include/linux/wait.h"
  564typedef struct __wait_queue_head wait_queue_head_t;
  565#line 98 "include/linux/nodemask.h"
  566struct __anonstruct_nodemask_t_36 {
  567   unsigned long bits[16U] ;
  568};
  569#line 98 "include/linux/nodemask.h"
  570typedef struct __anonstruct_nodemask_t_36 nodemask_t;
  571#line 670 "include/linux/mmzone.h"
  572struct mutex {
  573   atomic_t count ;
  574   spinlock_t wait_lock ;
  575   struct list_head wait_list ;
  576   struct task_struct *owner ;
  577   char    *name ;
  578   void *magic ;
  579   struct lockdep_map dep_map ;
  580};
  581#line 63 "include/linux/mutex.h"
  582struct mutex_waiter {
  583   struct list_head list ;
  584   struct task_struct *task ;
  585   void *magic ;
  586};
  587#line 171
  588struct rw_semaphore;
  589#line 171
  590struct rw_semaphore;
  591#line 172 "include/linux/mutex.h"
  592struct rw_semaphore {
  593   long count ;
  594   raw_spinlock_t wait_lock ;
  595   struct list_head wait_list ;
  596   struct lockdep_map dep_map ;
  597};
  598#line 128 "include/linux/rwsem.h"
  599struct completion {
  600   unsigned int done ;
  601   wait_queue_head_t wait ;
  602};
  603#line 188 "include/linux/rcupdate.h"
  604struct notifier_block;
  605#line 188
  606struct notifier_block;
  607#line 239 "include/linux/srcu.h"
  608struct notifier_block {
  609   int (*notifier_call)(struct notifier_block * , unsigned long  , void * ) ;
  610   struct notifier_block *next ;
  611   int priority ;
  612};
  613#line 55 "include/linux/notifier.h"
  614struct atomic_notifier_head {
  615   spinlock_t lock ;
  616   struct notifier_block *head ;
  617};
  618#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/e820.h"
  619struct resource {
  620   resource_size_t start ;
  621   resource_size_t end ;
  622   char    *name ;
  623   unsigned long flags ;
  624   struct resource *parent ;
  625   struct resource *sibling ;
  626   struct resource *child ;
  627};
  628#line 312 "include/linux/jiffies.h"
  629union ktime {
  630   s64 tv64 ;
  631};
  632#line 59 "include/linux/ktime.h"
  633typedef union ktime ktime_t;
  634#line 341
  635struct tvec_base;
  636#line 341
  637struct tvec_base;
  638#line 342 "include/linux/ktime.h"
  639struct timer_list {
  640   struct list_head entry ;
  641   unsigned long expires ;
  642   struct tvec_base *base ;
  643   void (*function)(unsigned long  ) ;
  644   unsigned long data ;
  645   int slack ;
  646   int start_pid ;
  647   void *start_site ;
  648   char start_comm[16U] ;
  649   struct lockdep_map lockdep_map ;
  650};
  651#line 289 "include/linux/timer.h"
  652struct hrtimer;
  653#line 289
  654struct hrtimer;
  655#line 290
  656enum hrtimer_restart;
  657#line 301
  658struct workqueue_struct;
  659#line 301
  660struct workqueue_struct;
  661#line 302
  662struct work_struct;
  663#line 302
  664struct work_struct;
  665#line 45 "include/linux/workqueue.h"
  666struct work_struct {
  667   atomic_long_t data ;
  668   struct list_head entry ;
  669   void (*func)(struct work_struct * ) ;
  670   struct lockdep_map lockdep_map ;
  671};
  672#line 46 "include/linux/pm.h"
  673struct pm_message {
  674   int event ;
  675};
  676#line 52 "include/linux/pm.h"
  677typedef struct pm_message pm_message_t;
  678#line 53 "include/linux/pm.h"
  679struct dev_pm_ops {
  680   int (*prepare)(struct device * ) ;
  681   void (*complete)(struct device * ) ;
  682   int (*suspend)(struct device * ) ;
  683   int (*resume)(struct device * ) ;
  684   int (*freeze)(struct device * ) ;
  685   int (*thaw)(struct device * ) ;
  686   int (*poweroff)(struct device * ) ;
  687   int (*restore)(struct device * ) ;
  688   int (*suspend_late)(struct device * ) ;
  689   int (*resume_early)(struct device * ) ;
  690   int (*freeze_late)(struct device * ) ;
  691   int (*thaw_early)(struct device * ) ;
  692   int (*poweroff_late)(struct device * ) ;
  693   int (*restore_early)(struct device * ) ;
  694   int (*suspend_noirq)(struct device * ) ;
  695   int (*resume_noirq)(struct device * ) ;
  696   int (*freeze_noirq)(struct device * ) ;
  697   int (*thaw_noirq)(struct device * ) ;
  698   int (*poweroff_noirq)(struct device * ) ;
  699   int (*restore_noirq)(struct device * ) ;
  700   int (*runtime_suspend)(struct device * ) ;
  701   int (*runtime_resume)(struct device * ) ;
  702   int (*runtime_idle)(struct device * ) ;
  703};
  704#line 289
  705enum rpm_status {
  706    RPM_ACTIVE = 0,
  707    RPM_RESUMING = 1,
  708    RPM_SUSPENDED = 2,
  709    RPM_SUSPENDING = 3
  710} ;
  711#line 296
  712enum rpm_request {
  713    RPM_REQ_NONE = 0,
  714    RPM_REQ_IDLE = 1,
  715    RPM_REQ_SUSPEND = 2,
  716    RPM_REQ_AUTOSUSPEND = 3,
  717    RPM_REQ_RESUME = 4
  718} ;
  719#line 304
  720struct wakeup_source;
  721#line 304
  722struct wakeup_source;
  723#line 494 "include/linux/pm.h"
  724struct pm_subsys_data {
  725   spinlock_t lock ;
  726   unsigned int refcount ;
  727};
  728#line 499
  729struct dev_pm_qos_request;
  730#line 499
  731struct pm_qos_raints;
  732#line 499 "include/linux/pm.h"
  733struct dev_pm_info {
  734   pm_message_t power_state ;
  735   unsigned char can_wakeup : 1 ;
  736   unsigned char async_suspend : 1 ;
  737   bool is_prepared ;
  738   bool is_suspended ;
  739   bool ignore_children ;
  740   spinlock_t lock ;
  741   struct list_head entry ;
  742   struct completion completion ;
  743   struct wakeup_source *wakeup ;
  744   bool wakeup_path ;
  745   struct timer_list suspend_timer ;
  746   unsigned long timer_expires ;
  747   struct work_struct work ;
  748   wait_queue_head_t wait_queue ;
  749   atomic_t usage_count ;
  750   atomic_t child_count ;
  751   unsigned char disable_depth : 3 ;
  752   unsigned char idle_notification : 1 ;
  753   unsigned char request_pending : 1 ;
  754   unsigned char deferred_resume : 1 ;
  755   unsigned char run_wake : 1 ;
  756   unsigned char runtime_auto : 1 ;
  757   unsigned char no_callbacks : 1 ;
  758   unsigned char irq_safe : 1 ;
  759   unsigned char use_autosuspend : 1 ;
  760   unsigned char timer_autosuspends : 1 ;
  761   enum rpm_request request ;
  762   enum rpm_status runtime_status ;
  763   int runtime_error ;
  764   int autosuspend_delay ;
  765   unsigned long last_busy ;
  766   unsigned long active_jiffies ;
  767   unsigned long suspended_jiffies ;
  768   unsigned long accounting_timestamp ;
  769   ktime_t suspend_time ;
  770   s64 max_time_suspended_ns ;
  771   struct dev_pm_qos_request *pq_req ;
  772   struct pm_subsys_data *subsys_data ;
  773   struct pm_qos_raints *raints ;
  774};
  775#line 558 "include/linux/pm.h"
  776struct dev_pm_domain {
  777   struct dev_pm_ops ops ;
  778};
  779#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
  780struct __anonstruct_mm_context_t_101 {
  781   void *ldt ;
  782   int size ;
  783   unsigned short ia32_compat ;
  784   struct mutex lock ;
  785   void *vdso ;
  786};
  787#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
  788typedef struct __anonstruct_mm_context_t_101 mm_context_t;
  789#line 18 "include/asm-generic/pci_iomap.h"
  790struct vm_area_struct;
  791#line 18
  792struct vm_area_struct;
  793#line 835 "include/linux/sysctl.h"
  794struct rb_node {
  795   unsigned long rb_parent_color ;
  796   struct rb_node *rb_right ;
  797   struct rb_node *rb_left ;
  798};
  799#line 108 "include/linux/rbtree.h"
  800struct rb_root {
  801   struct rb_node *rb_node ;
  802};
  803#line 176
  804struct nsproxy;
  805#line 176
  806struct nsproxy;
  807#line 37 "include/linux/kmod.h"
  808struct cred;
  809#line 37
  810struct cred;
  811#line 18 "include/linux/elf.h"
  812typedef __u64 Elf64_Addr;
  813#line 19 "include/linux/elf.h"
  814typedef __u16 Elf64_Half;
  815#line 23 "include/linux/elf.h"
  816typedef __u32 Elf64_Word;
  817#line 24 "include/linux/elf.h"
  818typedef __u64 Elf64_Xword;
  819#line 193 "include/linux/elf.h"
  820struct elf64_sym {
  821   Elf64_Word st_name ;
  822   unsigned char st_info ;
  823   unsigned char st_other ;
  824   Elf64_Half st_shndx ;
  825   Elf64_Addr st_value ;
  826   Elf64_Xword st_size ;
  827};
  828#line 201 "include/linux/elf.h"
  829typedef struct elf64_sym Elf64_Sym;
  830#line 445
  831struct sock;
  832#line 445
  833struct sock;
  834#line 446
  835struct kobject;
  836#line 446
  837struct kobject;
  838#line 447
  839enum kobj_ns_type {
  840    KOBJ_NS_TYPE_NONE = 0,
  841    KOBJ_NS_TYPE_NET = 1,
  842    KOBJ_NS_TYPES = 2
  843} ;
  844#line 453 "include/linux/elf.h"
  845struct kobj_ns_type_operations {
  846   enum kobj_ns_type type ;
  847   void *(*grab_current_ns)(void) ;
  848   void    *(*netlink_ns)(struct sock * ) ;
  849   void    *(*initial_ns)(void) ;
  850   void (*drop_ns)(void * ) ;
  851};
  852#line 57 "include/linux/kobject_ns.h"
  853struct attribute {
  854   char    *name ;
  855   umode_t mode ;
  856   struct lock_class_key *key ;
  857   struct lock_class_key skey ;
  858};
  859#line 33 "include/linux/sysfs.h"
  860struct attribute_group {
  861   char    *name ;
  862   umode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
  863   struct attribute **attrs ;
  864};
  865#line 62 "include/linux/sysfs.h"
  866struct bin_attribute {
  867   struct attribute attr ;
  868   size_t size ;
  869   void *private ;
  870   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
  871                   loff_t  , size_t  ) ;
  872   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
  873                    loff_t  , size_t  ) ;
  874   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
  875};
  876#line 98 "include/linux/sysfs.h"
  877struct sysfs_ops {
  878   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
  879   ssize_t (*store)(struct kobject * , struct attribute * , char    * , size_t  ) ;
  880   void    *(*namespace)(struct kobject * , struct attribute    * ) ;
  881};
  882#line 117
  883struct sysfs_dirent;
  884#line 117
  885struct sysfs_dirent;
  886#line 182 "include/linux/sysfs.h"
  887struct kref {
  888   atomic_t refcount ;
  889};
  890#line 49 "include/linux/kobject.h"
  891struct kset;
  892#line 49
  893struct kobj_type;
  894#line 49 "include/linux/kobject.h"
  895struct kobject {
  896   char    *name ;
  897   struct list_head entry ;
  898   struct kobject *parent ;
  899   struct kset *kset ;
  900   struct kobj_type *ktype ;
  901   struct sysfs_dirent *sd ;
  902   struct kref kref ;
  903   unsigned char state_initialized : 1 ;
  904   unsigned char state_in_sysfs : 1 ;
  905   unsigned char state_add_uevent_sent : 1 ;
  906   unsigned char state_remove_uevent_sent : 1 ;
  907   unsigned char uevent_suppress : 1 ;
  908};
  909#line 107 "include/linux/kobject.h"
  910struct kobj_type {
  911   void (*release)(struct kobject * ) ;
  912   struct sysfs_ops    *sysfs_ops ;
  913   struct attribute **default_attrs ;
  914   struct kobj_ns_type_operations    *(*child_ns_type)(struct kobject * ) ;
  915   void    *(*namespace)(struct kobject * ) ;
  916};
  917#line 115 "include/linux/kobject.h"
  918struct kobj_uevent_env {
  919   char *envp[32U] ;
  920   int envp_idx ;
  921   char buf[2048U] ;
  922   int buflen ;
  923};
  924#line 122 "include/linux/kobject.h"
  925struct kset_uevent_ops {
  926   int (*   filter)(struct kset * , struct kobject * ) ;
  927   char    *(*   name)(struct kset * , struct kobject * ) ;
  928   int (*   uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
  929};
  930#line 139 "include/linux/kobject.h"
  931struct kset {
  932   struct list_head list ;
  933   spinlock_t list_lock ;
  934   struct kobject kobj ;
  935   struct kset_uevent_ops    *uevent_ops ;
  936};
  937#line 215
  938struct kernel_param;
  939#line 215
  940struct kernel_param;
  941#line 216 "include/linux/kobject.h"
  942struct kernel_param_ops {
  943   int (*set)(char    * , struct kernel_param    * ) ;
  944   int (*get)(char * , struct kernel_param    * ) ;
  945   void (*free)(void * ) ;
  946};
  947#line 49 "include/linux/moduleparam.h"
  948struct kparam_string;
  949#line 49
  950struct kparam_array;
  951#line 49 "include/linux/moduleparam.h"
  952union __anonunion_ldv_13363_134 {
  953   void *arg ;
  954   struct kparam_string    *str ;
  955   struct kparam_array    *arr ;
  956};
  957#line 49 "include/linux/moduleparam.h"
  958struct kernel_param {
  959   char    *name ;
  960   struct kernel_param_ops    *ops ;
  961   u16 perm ;
  962   s16 level ;
  963   union __anonunion_ldv_13363_134 ldv_13363 ;
  964};
  965#line 61 "include/linux/moduleparam.h"
  966struct kparam_string {
  967   unsigned int maxlen ;
  968   char *string ;
  969};
  970#line 67 "include/linux/moduleparam.h"
  971struct kparam_array {
  972   unsigned int max ;
  973   unsigned int elemsize ;
  974   unsigned int *num ;
  975   struct kernel_param_ops    *ops ;
  976   void *elem ;
  977};
  978#line 458 "include/linux/moduleparam.h"
  979struct static_key {
  980   atomic_t enabled ;
  981};
  982#line 225 "include/linux/jump_label.h"
  983struct tracepoint;
  984#line 225
  985struct tracepoint;
  986#line 226 "include/linux/jump_label.h"
  987struct tracepoint_func {
  988   void *func ;
  989   void *data ;
  990};
  991#line 29 "include/linux/tracepoint.h"
  992struct tracepoint {
  993   char    *name ;
  994   struct static_key key ;
  995   void (*regfunc)(void) ;
  996   void (*unregfunc)(void) ;
  997   struct tracepoint_func *funcs ;
  998};
  999#line 86 "include/linux/tracepoint.h"
 1000struct kernel_symbol {
 1001   unsigned long value ;
 1002   char    *name ;
 1003};
 1004#line 27 "include/linux/export.h"
 1005struct mod_arch_specific {
 1006
 1007};
 1008#line 34 "include/linux/module.h"
 1009struct module_param_attrs;
 1010#line 34 "include/linux/module.h"
 1011struct module_kobject {
 1012   struct kobject kobj ;
 1013   struct module *mod ;
 1014   struct kobject *drivers_dir ;
 1015   struct module_param_attrs *mp ;
 1016};
 1017#line 43 "include/linux/module.h"
 1018struct module_attribute {
 1019   struct attribute attr ;
 1020   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
 1021   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char    * ,
 1022                    size_t  ) ;
 1023   void (*setup)(struct module * , char    * ) ;
 1024   int (*test)(struct module * ) ;
 1025   void (*free)(struct module * ) ;
 1026};
 1027#line 69
 1028struct exception_table_entry;
 1029#line 69
 1030struct exception_table_entry;
 1031#line 198
 1032enum module_state {
 1033    MODULE_STATE_LIVE = 0,
 1034    MODULE_STATE_COMING = 1,
 1035    MODULE_STATE_GOING = 2
 1036} ;
 1037#line 204 "include/linux/module.h"
 1038struct module_ref {
 1039   unsigned long incs ;
 1040   unsigned long decs ;
 1041};
 1042#line 219
 1043struct module_sect_attrs;
 1044#line 219
 1045struct module_notes_attrs;
 1046#line 219
 1047struct ftrace_event_call;
 1048#line 219 "include/linux/module.h"
 1049struct module {
 1050   enum module_state state ;
 1051   struct list_head list ;
 1052   char name[56U] ;
 1053   struct module_kobject mkobj ;
 1054   struct module_attribute *modinfo_attrs ;
 1055   char    *version ;
 1056   char    *srcversion ;
 1057   struct kobject *holders_dir ;
 1058   struct kernel_symbol    *syms ;
 1059   unsigned long    *crcs ;
 1060   unsigned int num_syms ;
 1061   struct kernel_param *kp ;
 1062   unsigned int num_kp ;
 1063   unsigned int num_gpl_syms ;
 1064   struct kernel_symbol    *gpl_syms ;
 1065   unsigned long    *gpl_crcs ;
 1066   struct kernel_symbol    *unused_syms ;
 1067   unsigned long    *unused_crcs ;
 1068   unsigned int num_unused_syms ;
 1069   unsigned int num_unused_gpl_syms ;
 1070   struct kernel_symbol    *unused_gpl_syms ;
 1071   unsigned long    *unused_gpl_crcs ;
 1072   struct kernel_symbol    *gpl_future_syms ;
 1073   unsigned long    *gpl_future_crcs ;
 1074   unsigned int num_gpl_future_syms ;
 1075   unsigned int num_exentries ;
 1076   struct exception_table_entry *extable ;
 1077   int (*init)(void) ;
 1078   void *module_init ;
 1079   void *module_core ;
 1080   unsigned int init_size ;
 1081   unsigned int core_size ;
 1082   unsigned int init_text_size ;
 1083   unsigned int core_text_size ;
 1084   unsigned int init_ro_size ;
 1085   unsigned int core_ro_size ;
 1086   struct mod_arch_specific arch ;
 1087   unsigned int taints ;
 1088   unsigned int num_bugs ;
 1089   struct list_head bug_list ;
 1090   struct bug_entry *bug_table ;
 1091   Elf64_Sym *symtab ;
 1092   Elf64_Sym *core_symtab ;
 1093   unsigned int num_symtab ;
 1094   unsigned int core_num_syms ;
 1095   char *strtab ;
 1096   char *core_strtab ;
 1097   struct module_sect_attrs *sect_attrs ;
 1098   struct module_notes_attrs *notes_attrs ;
 1099   char *args ;
 1100   void *percpu ;
 1101   unsigned int percpu_size ;
 1102   unsigned int num_tracepoints ;
 1103   struct tracepoint *   *tracepoints_ptrs ;
 1104   unsigned int num_trace_bprintk_fmt ;
 1105   char    **trace_bprintk_fmt_start ;
 1106   struct ftrace_event_call **trace_events ;
 1107   unsigned int num_trace_events ;
 1108   struct list_head source_list ;
 1109   struct list_head target_list ;
 1110   struct task_struct *waiter ;
 1111   void (*exit)(void) ;
 1112   struct module_ref *refptr ;
 1113   ctor_fn_t (**ctors)(void) ;
 1114   unsigned int num_ctors ;
 1115};
 1116#line 88 "include/linux/kmemleak.h"
 1117struct kmem_cache_cpu {
 1118   void **freelist ;
 1119   unsigned long tid ;
 1120   struct page *page ;
 1121   struct page *partial ;
 1122   int node ;
 1123   unsigned int stat[26U] ;
 1124};
 1125#line 55 "include/linux/slub_def.h"
 1126struct kmem_cache_node {
 1127   spinlock_t list_lock ;
 1128   unsigned long nr_partial ;
 1129   struct list_head partial ;
 1130   atomic_long_t nr_slabs ;
 1131   atomic_long_t total_objects ;
 1132   struct list_head full ;
 1133};
 1134#line 66 "include/linux/slub_def.h"
 1135struct kmem_cache_order_objects {
 1136   unsigned long x ;
 1137};
 1138#line 76 "include/linux/slub_def.h"
 1139struct kmem_cache {
 1140   struct kmem_cache_cpu *cpu_slab ;
 1141   unsigned long flags ;
 1142   unsigned long min_partial ;
 1143   int size ;
 1144   int objsize ;
 1145   int offset ;
 1146   int cpu_partial ;
 1147   struct kmem_cache_order_objects oo ;
 1148   struct kmem_cache_order_objects max ;
 1149   struct kmem_cache_order_objects min ;
 1150   gfp_t allocflags ;
 1151   int refcount ;
 1152   void (*ctor)(void * ) ;
 1153   int inuse ;
 1154   int align ;
 1155   int reserved ;
 1156   char    *name ;
 1157   struct list_head list ;
 1158   struct kobject kobj ;
 1159   int remote_node_defrag_ratio ;
 1160   struct kmem_cache_node *node[1024U] ;
 1161};
 1162#line 12 "include/linux/mod_devicetable.h"
 1163typedef unsigned long kernel_ulong_t;
 1164#line 215 "include/linux/mod_devicetable.h"
 1165struct of_device_id {
 1166   char name[32U] ;
 1167   char type[32U] ;
 1168   char compatible[128U] ;
 1169   void *data ;
 1170};
 1171#line 492 "include/linux/mod_devicetable.h"
 1172struct platform_device_id {
 1173   char name[20U] ;
 1174   kernel_ulong_t driver_data ;
 1175};
 1176#line 584
 1177struct klist_node;
 1178#line 584
 1179struct klist_node;
 1180#line 37 "include/linux/klist.h"
 1181struct klist_node {
 1182   void *n_klist ;
 1183   struct list_head n_node ;
 1184   struct kref n_ref ;
 1185};
 1186#line 67
 1187struct dma_map_ops;
 1188#line 67 "include/linux/klist.h"
 1189struct dev_archdata {
 1190   void *acpi_handle ;
 1191   struct dma_map_ops *dma_ops ;
 1192   void *iommu ;
 1193};
 1194#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 1195struct pdev_archdata {
 1196
 1197};
 1198#line 17
 1199struct device_private;
 1200#line 17
 1201struct device_private;
 1202#line 18
 1203struct device_driver;
 1204#line 18
 1205struct device_driver;
 1206#line 19
 1207struct driver_private;
 1208#line 19
 1209struct driver_private;
 1210#line 20
 1211struct class;
 1212#line 20
 1213struct class;
 1214#line 21
 1215struct subsys_private;
 1216#line 21
 1217struct subsys_private;
 1218#line 22
 1219struct bus_type;
 1220#line 22
 1221struct bus_type;
 1222#line 23
 1223struct device_node;
 1224#line 23
 1225struct device_node;
 1226#line 24
 1227struct iommu_ops;
 1228#line 24
 1229struct iommu_ops;
 1230#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 1231struct bus_attribute {
 1232   struct attribute attr ;
 1233   ssize_t (*show)(struct bus_type * , char * ) ;
 1234   ssize_t (*store)(struct bus_type * , char    * , size_t  ) ;
 1235};
 1236#line 51 "include/linux/device.h"
 1237struct device_attribute;
 1238#line 51
 1239struct driver_attribute;
 1240#line 51 "include/linux/device.h"
 1241struct bus_type {
 1242   char    *name ;
 1243   char    *dev_name ;
 1244   struct device *dev_root ;
 1245   struct bus_attribute *bus_attrs ;
 1246   struct device_attribute *dev_attrs ;
 1247   struct driver_attribute *drv_attrs ;
 1248   int (*match)(struct device * , struct device_driver * ) ;
 1249   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 1250   int (*probe)(struct device * ) ;
 1251   int (*remove)(struct device * ) ;
 1252   void (*shutdown)(struct device * ) ;
 1253   int (*suspend)(struct device * , pm_message_t  ) ;
 1254   int (*resume)(struct device * ) ;
 1255   struct dev_pm_ops    *pm ;
 1256   struct iommu_ops *iommu_ops ;
 1257   struct subsys_private *p ;
 1258};
 1259#line 125
 1260struct device_type;
 1261#line 182 "include/linux/device.h"
 1262struct device_driver {
 1263   char    *name ;
 1264   struct bus_type *bus ;
 1265   struct module *owner ;
 1266   char    *mod_name ;
 1267   bool suppress_bind_attrs ;
 1268   struct of_device_id    *of_match_table ;
 1269   int (*probe)(struct device * ) ;
 1270   int (*remove)(struct device * ) ;
 1271   void (*shutdown)(struct device * ) ;
 1272   int (*suspend)(struct device * , pm_message_t  ) ;
 1273   int (*resume)(struct device * ) ;
 1274   struct attribute_group    **groups ;
 1275   struct dev_pm_ops    *pm ;
 1276   struct driver_private *p ;
 1277};
 1278#line 245 "include/linux/device.h"
 1279struct driver_attribute {
 1280   struct attribute attr ;
 1281   ssize_t (*show)(struct device_driver * , char * ) ;
 1282   ssize_t (*store)(struct device_driver * , char    * , size_t  ) ;
 1283};
 1284#line 299
 1285struct class_attribute;
 1286#line 299 "include/linux/device.h"
 1287struct class {
 1288   char    *name ;
 1289   struct module *owner ;
 1290   struct class_attribute *class_attrs ;
 1291   struct device_attribute *dev_attrs ;
 1292   struct bin_attribute *dev_bin_attrs ;
 1293   struct kobject *dev_kobj ;
 1294   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
 1295   char *(*devnode)(struct device * , umode_t * ) ;
 1296   void (*class_release)(struct class * ) ;
 1297   void (*dev_release)(struct device * ) ;
 1298   int (*suspend)(struct device * , pm_message_t  ) ;
 1299   int (*resume)(struct device * ) ;
 1300   struct kobj_ns_type_operations    *ns_type ;
 1301   void    *(*namespace)(struct device * ) ;
 1302   struct dev_pm_ops    *pm ;
 1303   struct subsys_private *p ;
 1304};
 1305#line 394 "include/linux/device.h"
 1306struct class_attribute {
 1307   struct attribute attr ;
 1308   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
 1309   ssize_t (*store)(struct class * , struct class_attribute * , char    * , size_t  ) ;
 1310   void    *(*namespace)(struct class * , struct class_attribute    * ) ;
 1311};
 1312#line 447 "include/linux/device.h"
 1313struct device_type {
 1314   char    *name ;
 1315   struct attribute_group    **groups ;
 1316   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 1317   char *(*devnode)(struct device * , umode_t * ) ;
 1318   void (*release)(struct device * ) ;
 1319   struct dev_pm_ops    *pm ;
 1320};
 1321#line 474 "include/linux/device.h"
 1322struct device_attribute {
 1323   struct attribute attr ;
 1324   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
 1325   ssize_t (*store)(struct device * , struct device_attribute * , char    * ,
 1326                    size_t  ) ;
 1327};
 1328#line 557 "include/linux/device.h"
 1329struct device_dma_parameters {
 1330   unsigned int max_segment_size ;
 1331   unsigned long segment_boundary_mask ;
 1332};
 1333#line 567
 1334struct dma_coherent_mem;
 1335#line 567 "include/linux/device.h"
 1336struct device {
 1337   struct device *parent ;
 1338   struct device_private *p ;
 1339   struct kobject kobj ;
 1340   char    *init_name ;
 1341   struct device_type    *type ;
 1342   struct mutex mutex ;
 1343   struct bus_type *bus ;
 1344   struct device_driver *driver ;
 1345   void *platform_data ;
 1346   struct dev_pm_info power ;
 1347   struct dev_pm_domain *pm_domain ;
 1348   int numa_node ;
 1349   u64 *dma_mask ;
 1350   u64 coherent_dma_mask ;
 1351   struct device_dma_parameters *dma_parms ;
 1352   struct list_head dma_pools ;
 1353   struct dma_coherent_mem *dma_mem ;
 1354   struct dev_archdata archdata ;
 1355   struct device_node *of_node ;
 1356   dev_t devt ;
 1357   u32 id ;
 1358   spinlock_t devres_lock ;
 1359   struct list_head devres_head ;
 1360   struct klist_node knode_class ;
 1361   struct class *class ;
 1362   struct attribute_group    **groups ;
 1363   void (*release)(struct device * ) ;
 1364};
 1365#line 681 "include/linux/device.h"
 1366struct wakeup_source {
 1367   char    *name ;
 1368   struct list_head entry ;
 1369   spinlock_t lock ;
 1370   struct timer_list timer ;
 1371   unsigned long timer_expires ;
 1372   ktime_t total_time ;
 1373   ktime_t max_time ;
 1374   ktime_t last_time ;
 1375   unsigned long event_count ;
 1376   unsigned long active_count ;
 1377   unsigned long relax_count ;
 1378   unsigned long hit_count ;
 1379   unsigned char active : 1 ;
 1380};
 1381#line 69 "include/linux/io.h"
 1382enum irqreturn {
 1383    IRQ_NONE = 0,
 1384    IRQ_HANDLED = 1,
 1385    IRQ_WAKE_THREAD = 2
 1386} ;
 1387#line 16 "include/linux/irqreturn.h"
 1388typedef enum irqreturn irqreturn_t;
 1389#line 986 "include/linux/pci.h"
 1390struct scatterlist {
 1391   unsigned long sg_magic ;
 1392   unsigned long page_link ;
 1393   unsigned int offset ;
 1394   unsigned int length ;
 1395   dma_addr_t dma_address ;
 1396   unsigned int dma_length ;
 1397};
 1398#line 17 "include/asm-generic/scatterlist.h"
 1399struct dma_pool;
 1400#line 1134 "include/linux/pci.h"
 1401struct prio_tree_node;
 1402#line 1134 "include/linux/pci.h"
 1403struct raw_prio_tree_node {
 1404   struct prio_tree_node *left ;
 1405   struct prio_tree_node *right ;
 1406   struct prio_tree_node *parent ;
 1407};
 1408#line 19 "include/linux/prio_tree.h"
 1409struct prio_tree_node {
 1410   struct prio_tree_node *left ;
 1411   struct prio_tree_node *right ;
 1412   struct prio_tree_node *parent ;
 1413   unsigned long start ;
 1414   unsigned long last ;
 1415};
 1416#line 116
 1417struct address_space;
 1418#line 116
 1419struct address_space;
 1420#line 117 "include/linux/prio_tree.h"
 1421union __anonunion_ldv_16192_138 {
 1422   unsigned long index ;
 1423   void *freelist ;
 1424};
 1425#line 117 "include/linux/prio_tree.h"
 1426struct __anonstruct_ldv_16202_142 {
 1427   unsigned short inuse ;
 1428   unsigned short objects : 15 ;
 1429   unsigned char frozen : 1 ;
 1430};
 1431#line 117 "include/linux/prio_tree.h"
 1432union __anonunion_ldv_16203_141 {
 1433   atomic_t _mapcount ;
 1434   struct __anonstruct_ldv_16202_142 ldv_16202 ;
 1435};
 1436#line 117 "include/linux/prio_tree.h"
 1437struct __anonstruct_ldv_16205_140 {
 1438   union __anonunion_ldv_16203_141 ldv_16203 ;
 1439   atomic_t _count ;
 1440};
 1441#line 117 "include/linux/prio_tree.h"
 1442union __anonunion_ldv_16206_139 {
 1443   unsigned long counters ;
 1444   struct __anonstruct_ldv_16205_140 ldv_16205 ;
 1445};
 1446#line 117 "include/linux/prio_tree.h"
 1447struct __anonstruct_ldv_16207_137 {
 1448   union __anonunion_ldv_16192_138 ldv_16192 ;
 1449   union __anonunion_ldv_16206_139 ldv_16206 ;
 1450};
 1451#line 117 "include/linux/prio_tree.h"
 1452struct __anonstruct_ldv_16214_144 {
 1453   struct page *next ;
 1454   int pages ;
 1455   int pobjects ;
 1456};
 1457#line 117 "include/linux/prio_tree.h"
 1458union __anonunion_ldv_16215_143 {
 1459   struct list_head lru ;
 1460   struct __anonstruct_ldv_16214_144 ldv_16214 ;
 1461};
 1462#line 117 "include/linux/prio_tree.h"
 1463union __anonunion_ldv_16220_145 {
 1464   unsigned long private ;
 1465   struct kmem_cache *slab ;
 1466   struct page *first_page ;
 1467};
 1468#line 117 "include/linux/prio_tree.h"
 1469struct page {
 1470   unsigned long flags ;
 1471   struct address_space *mapping ;
 1472   struct __anonstruct_ldv_16207_137 ldv_16207 ;
 1473   union __anonunion_ldv_16215_143 ldv_16215 ;
 1474   union __anonunion_ldv_16220_145 ldv_16220 ;
 1475   unsigned long debug_flags ;
 1476};
 1477#line 192 "include/linux/mm_types.h"
 1478struct __anonstruct_vm_set_147 {
 1479   struct list_head list ;
 1480   void *parent ;
 1481   struct vm_area_struct *head ;
 1482};
 1483#line 192 "include/linux/mm_types.h"
 1484union __anonunion_shared_146 {
 1485   struct __anonstruct_vm_set_147 vm_set ;
 1486   struct raw_prio_tree_node prio_tree_node ;
 1487};
 1488#line 192
 1489struct anon_vma;
 1490#line 192
 1491struct vm_operations_struct;
 1492#line 192
 1493struct mempolicy;
 1494#line 192 "include/linux/mm_types.h"
 1495struct vm_area_struct {
 1496   struct mm_struct *vm_mm ;
 1497   unsigned long vm_start ;
 1498   unsigned long vm_end ;
 1499   struct vm_area_struct *vm_next ;
 1500   struct vm_area_struct *vm_prev ;
 1501   pgprot_t vm_page_prot ;
 1502   unsigned long vm_flags ;
 1503   struct rb_node vm_rb ;
 1504   union __anonunion_shared_146 shared ;
 1505   struct list_head anon_vma_chain ;
 1506   struct anon_vma *anon_vma ;
 1507   struct vm_operations_struct    *vm_ops ;
 1508   unsigned long vm_pgoff ;
 1509   struct file *vm_file ;
 1510   void *vm_private_data ;
 1511   struct mempolicy *vm_policy ;
 1512};
 1513#line 255 "include/linux/mm_types.h"
 1514struct core_thread {
 1515   struct task_struct *task ;
 1516   struct core_thread *next ;
 1517};
 1518#line 261 "include/linux/mm_types.h"
 1519struct core_state {
 1520   atomic_t nr_threads ;
 1521   struct core_thread dumper ;
 1522   struct completion startup ;
 1523};
 1524#line 274 "include/linux/mm_types.h"
 1525struct mm_rss_stat {
 1526   atomic_long_t count[3U] ;
 1527};
 1528#line 287
 1529struct linux_binfmt;
 1530#line 287
 1531struct mmu_notifier_mm;
 1532#line 287 "include/linux/mm_types.h"
 1533struct mm_struct {
 1534   struct vm_area_struct *mmap ;
 1535   struct rb_root mm_rb ;
 1536   struct vm_area_struct *mmap_cache ;
 1537   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
 1538                                      unsigned long  , unsigned long  ) ;
 1539   void (*unmap_area)(struct mm_struct * , unsigned long  ) ;
 1540   unsigned long mmap_base ;
 1541   unsigned long task_size ;
 1542   unsigned long cached_hole_size ;
 1543   unsigned long free_area_cache ;
 1544   pgd_t *pgd ;
 1545   atomic_t mm_users ;
 1546   atomic_t mm_count ;
 1547   int map_count ;
 1548   spinlock_t page_table_lock ;
 1549   struct rw_semaphore mmap_sem ;
 1550   struct list_head mmlist ;
 1551   unsigned long hiwater_rss ;
 1552   unsigned long hiwater_vm ;
 1553   unsigned long total_vm ;
 1554   unsigned long locked_vm ;
 1555   unsigned long pinned_vm ;
 1556   unsigned long shared_vm ;
 1557   unsigned long exec_vm ;
 1558   unsigned long stack_vm ;
 1559   unsigned long reserved_vm ;
 1560   unsigned long def_flags ;
 1561   unsigned long nr_ptes ;
 1562   unsigned long start_code ;
 1563   unsigned long end_code ;
 1564   unsigned long start_data ;
 1565   unsigned long end_data ;
 1566   unsigned long start_brk ;
 1567   unsigned long brk ;
 1568   unsigned long start_stack ;
 1569   unsigned long arg_start ;
 1570   unsigned long arg_end ;
 1571   unsigned long env_start ;
 1572   unsigned long env_end ;
 1573   unsigned long saved_auxv[44U] ;
 1574   struct mm_rss_stat rss_stat ;
 1575   struct linux_binfmt *binfmt ;
 1576   cpumask_var_t cpu_vm_mask_var ;
 1577   mm_context_t context ;
 1578   unsigned int faultstamp ;
 1579   unsigned int token_priority ;
 1580   unsigned int last_interval ;
 1581   unsigned long flags ;
 1582   struct core_state *core_state ;
 1583   spinlock_t ioctx_lock ;
 1584   struct hlist_head ioctx_list ;
 1585   struct task_struct *owner ;
 1586   struct file *exe_file ;
 1587   unsigned long num_exe_file_vmas ;
 1588   struct mmu_notifier_mm *mmu_notifier_mm ;
 1589   pgtable_t pmd_huge_pte ;
 1590   struct cpumask cpumask_allocation ;
 1591};
 1592#line 44 "include/linux/shrinker.h"
 1593struct user_struct;
 1594#line 44
 1595struct user_struct;
 1596#line 178 "include/linux/mm.h"
 1597struct vm_fault {
 1598   unsigned int flags ;
 1599   unsigned long pgoff ;
 1600   void *virtual_address ;
 1601   struct page *page ;
 1602};
 1603#line 195 "include/linux/mm.h"
 1604struct vm_operations_struct {
 1605   void (*open)(struct vm_area_struct * ) ;
 1606   void (*close)(struct vm_area_struct * ) ;
 1607   int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
 1608   int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
 1609   int (*access)(struct vm_area_struct * , unsigned long  , void * , int  , int  ) ;
 1610   int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
 1611   struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long  ) ;
 1612   int (*migrate)(struct vm_area_struct * , nodemask_t    * , nodemask_t    * ,
 1613                  unsigned long  ) ;
 1614};
 1615#line 31 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pci_64.h"
 1616struct dma_attrs {
 1617   unsigned long flags[1U] ;
 1618};
 1619#line 67 "include/linux/dma-attrs.h"
 1620enum dma_data_direction {
 1621    DMA_BIDIRECTIONAL = 0,
 1622    DMA_TO_DEVICE = 1,
 1623    DMA_FROM_DEVICE = 2,
 1624    DMA_NONE = 3
 1625} ;
 1626#line 268 "include/linux/scatterlist.h"
 1627struct dma_map_ops {
 1628   void *(*alloc)(struct device * , size_t  , dma_addr_t * , gfp_t  , struct dma_attrs * ) ;
 1629   void (*free)(struct device * , size_t  , void * , dma_addr_t  , struct dma_attrs * ) ;
 1630   int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t  ,
 1631               size_t  , struct dma_attrs * ) ;
 1632   dma_addr_t (*map_page)(struct device * , struct page * , unsigned long  , size_t  ,
 1633                          enum dma_data_direction  , struct dma_attrs * ) ;
 1634   void (*unmap_page)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 1635                      struct dma_attrs * ) ;
 1636   int (*map_sg)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ,
 1637                 struct dma_attrs * ) ;
 1638   void (*unmap_sg)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ,
 1639                    struct dma_attrs * ) ;
 1640   void (*sync_single_for_cpu)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 1641   void (*sync_single_for_device)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 1642   void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ) ;
 1643   void (*sync_sg_for_device)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ) ;
 1644   int (*mapping_error)(struct device * , dma_addr_t  ) ;
 1645   int (*dma_supported)(struct device * , u64  ) ;
 1646   int (*set_dma_mask)(struct device * , u64  ) ;
 1647   int is_phys ;
 1648};
 1649#line 93 "include/linux/capability.h"
 1650struct kernel_cap_struct {
 1651   __u32 cap[2U] ;
 1652};
 1653#line 96 "include/linux/capability.h"
 1654typedef struct kernel_cap_struct kernel_cap_t;
 1655#line 105
 1656struct user_namespace;
 1657#line 105
 1658struct user_namespace;
 1659#line 7 "include/asm-generic/cputime.h"
 1660typedef unsigned long cputime_t;
 1661#line 98 "include/linux/sem.h"
 1662struct sem_undo_list;
 1663#line 98 "include/linux/sem.h"
 1664struct sysv_sem {
 1665   struct sem_undo_list *undo_list ;
 1666};
 1667#line 107
 1668struct siginfo;
 1669#line 107
 1670struct siginfo;
 1671#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1672struct __anonstruct_sigset_t_149 {
 1673   unsigned long sig[1U] ;
 1674};
 1675#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1676typedef struct __anonstruct_sigset_t_149 sigset_t;
 1677#line 17 "include/asm-generic/signal-defs.h"
 1678typedef void __signalfn_t(int  );
 1679#line 18 "include/asm-generic/signal-defs.h"
 1680typedef __signalfn_t *__sighandler_t;
 1681#line 20 "include/asm-generic/signal-defs.h"
 1682typedef void __restorefn_t(void);
 1683#line 21 "include/asm-generic/signal-defs.h"
 1684typedef __restorefn_t *__sigrestore_t;
 1685#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1686struct sigaction {
 1687   __sighandler_t sa_handler ;
 1688   unsigned long sa_flags ;
 1689   __sigrestore_t sa_restorer ;
 1690   sigset_t sa_mask ;
 1691};
 1692#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1693struct k_sigaction {
 1694   struct sigaction sa ;
 1695};
 1696#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1697union sigval {
 1698   int sival_int ;
 1699   void *sival_ptr ;
 1700};
 1701#line 10 "include/asm-generic/siginfo.h"
 1702typedef union sigval sigval_t;
 1703#line 11 "include/asm-generic/siginfo.h"
 1704struct __anonstruct__kill_151 {
 1705   __kernel_pid_t _pid ;
 1706   __kernel_uid32_t _uid ;
 1707};
 1708#line 11 "include/asm-generic/siginfo.h"
 1709struct __anonstruct__timer_152 {
 1710   __kernel_timer_t _tid ;
 1711   int _overrun ;
 1712   char _pad[0U] ;
 1713   sigval_t _sigval ;
 1714   int _sys_private ;
 1715};
 1716#line 11 "include/asm-generic/siginfo.h"
 1717struct __anonstruct__rt_153 {
 1718   __kernel_pid_t _pid ;
 1719   __kernel_uid32_t _uid ;
 1720   sigval_t _sigval ;
 1721};
 1722#line 11 "include/asm-generic/siginfo.h"
 1723struct __anonstruct__sigchld_154 {
 1724   __kernel_pid_t _pid ;
 1725   __kernel_uid32_t _uid ;
 1726   int _status ;
 1727   __kernel_clock_t _utime ;
 1728   __kernel_clock_t _stime ;
 1729};
 1730#line 11 "include/asm-generic/siginfo.h"
 1731struct __anonstruct__sigfault_155 {
 1732   void *_addr ;
 1733   short _addr_lsb ;
 1734};
 1735#line 11 "include/asm-generic/siginfo.h"
 1736struct __anonstruct__sigpoll_156 {
 1737   long _band ;
 1738   int _fd ;
 1739};
 1740#line 11 "include/asm-generic/siginfo.h"
 1741union __anonunion__sifields_150 {
 1742   int _pad[28U] ;
 1743   struct __anonstruct__kill_151 _kill ;
 1744   struct __anonstruct__timer_152 _timer ;
 1745   struct __anonstruct__rt_153 _rt ;
 1746   struct __anonstruct__sigchld_154 _sigchld ;
 1747   struct __anonstruct__sigfault_155 _sigfault ;
 1748   struct __anonstruct__sigpoll_156 _sigpoll ;
 1749};
 1750#line 11 "include/asm-generic/siginfo.h"
 1751struct siginfo {
 1752   int si_signo ;
 1753   int si_errno ;
 1754   int si_code ;
 1755   union __anonunion__sifields_150 _sifields ;
 1756};
 1757#line 102 "include/asm-generic/siginfo.h"
 1758typedef struct siginfo siginfo_t;
 1759#line 24 "include/linux/signal.h"
 1760struct sigpending {
 1761   struct list_head list ;
 1762   sigset_t signal ;
 1763};
 1764#line 395
 1765struct pid_namespace;
 1766#line 395 "include/linux/signal.h"
 1767struct upid {
 1768   int nr ;
 1769   struct pid_namespace *ns ;
 1770   struct hlist_node pid_chain ;
 1771};
 1772#line 56 "include/linux/pid.h"
 1773struct pid {
 1774   atomic_t count ;
 1775   unsigned int level ;
 1776   struct hlist_head tasks[3U] ;
 1777   struct rcu_head rcu ;
 1778   struct upid numbers[1U] ;
 1779};
 1780#line 68 "include/linux/pid.h"
 1781struct pid_link {
 1782   struct hlist_node node ;
 1783   struct pid *pid ;
 1784};
 1785#line 10 "include/linux/seccomp.h"
 1786struct __anonstruct_seccomp_t_159 {
 1787   int mode ;
 1788};
 1789#line 10 "include/linux/seccomp.h"
 1790typedef struct __anonstruct_seccomp_t_159 seccomp_t;
 1791#line 427 "include/linux/rculist.h"
 1792struct plist_head {
 1793   struct list_head node_list ;
 1794};
 1795#line 84 "include/linux/plist.h"
 1796struct plist_node {
 1797   int prio ;
 1798   struct list_head prio_list ;
 1799   struct list_head node_list ;
 1800};
 1801#line 38 "include/linux/rtmutex.h"
 1802struct rt_mutex_waiter;
 1803#line 38
 1804struct rt_mutex_waiter;
 1805#line 41 "include/linux/resource.h"
 1806struct rlimit {
 1807   unsigned long rlim_cur ;
 1808   unsigned long rlim_max ;
 1809};
 1810#line 85 "include/linux/resource.h"
 1811struct timerqueue_node {
 1812   struct rb_node node ;
 1813   ktime_t expires ;
 1814};
 1815#line 12 "include/linux/timerqueue.h"
 1816struct timerqueue_head {
 1817   struct rb_root head ;
 1818   struct timerqueue_node *next ;
 1819};
 1820#line 50
 1821struct hrtimer_clock_base;
 1822#line 50
 1823struct hrtimer_clock_base;
 1824#line 51
 1825struct hrtimer_cpu_base;
 1826#line 51
 1827struct hrtimer_cpu_base;
 1828#line 60
 1829enum hrtimer_restart {
 1830    HRTIMER_NORESTART = 0,
 1831    HRTIMER_RESTART = 1
 1832} ;
 1833#line 65 "include/linux/timerqueue.h"
 1834struct hrtimer {
 1835   struct timerqueue_node node ;
 1836   ktime_t _softexpires ;
 1837   enum hrtimer_restart (*function)(struct hrtimer * ) ;
 1838   struct hrtimer_clock_base *base ;
 1839   unsigned long state ;
 1840   int start_pid ;
 1841   void *start_site ;
 1842   char start_comm[16U] ;
 1843};
 1844#line 132 "include/linux/hrtimer.h"
 1845struct hrtimer_clock_base {
 1846   struct hrtimer_cpu_base *cpu_base ;
 1847   int index ;
 1848   clockid_t clockid ;
 1849   struct timerqueue_head active ;
 1850   ktime_t resolution ;
 1851   ktime_t (*get_time)(void) ;
 1852   ktime_t softirq_time ;
 1853   ktime_t offset ;
 1854};
 1855#line 162 "include/linux/hrtimer.h"
 1856struct hrtimer_cpu_base {
 1857   raw_spinlock_t lock ;
 1858   unsigned long active_bases ;
 1859   ktime_t expires_next ;
 1860   int hres_active ;
 1861   int hang_detected ;
 1862   unsigned long nr_events ;
 1863   unsigned long nr_retries ;
 1864   unsigned long nr_hangs ;
 1865   ktime_t max_hang_time ;
 1866   struct hrtimer_clock_base clock_base[3U] ;
 1867};
 1868#line 452 "include/linux/hrtimer.h"
 1869struct task_io_accounting {
 1870   u64 rchar ;
 1871   u64 wchar ;
 1872   u64 syscr ;
 1873   u64 syscw ;
 1874   u64 read_bytes ;
 1875   u64 write_bytes ;
 1876   u64 cancelled_write_bytes ;
 1877};
 1878#line 45 "include/linux/task_io_accounting.h"
 1879struct latency_record {
 1880   unsigned long backtrace[12U] ;
 1881   unsigned int count ;
 1882   unsigned long time ;
 1883   unsigned long max ;
 1884};
 1885#line 29 "include/linux/key.h"
 1886typedef int32_t key_serial_t;
 1887#line 32 "include/linux/key.h"
 1888typedef uint32_t key_perm_t;
 1889#line 33
 1890struct key;
 1891#line 33
 1892struct key;
 1893#line 34
 1894struct signal_struct;
 1895#line 34
 1896struct signal_struct;
 1897#line 35
 1898struct key_type;
 1899#line 35
 1900struct key_type;
 1901#line 37
 1902struct keyring_list;
 1903#line 37
 1904struct keyring_list;
 1905#line 115
 1906struct key_user;
 1907#line 115 "include/linux/key.h"
 1908union __anonunion_ldv_21108_160 {
 1909   time_t expiry ;
 1910   time_t revoked_at ;
 1911};
 1912#line 115 "include/linux/key.h"
 1913union __anonunion_type_data_161 {
 1914   struct list_head link ;
 1915   unsigned long x[2U] ;
 1916   void *p[2U] ;
 1917   int reject_error ;
 1918};
 1919#line 115 "include/linux/key.h"
 1920union __anonunion_payload_162 {
 1921   unsigned long value ;
 1922   void *rcudata ;
 1923   void *data ;
 1924   struct keyring_list *subscriptions ;
 1925};
 1926#line 115 "include/linux/key.h"
 1927struct key {
 1928   atomic_t usage ;
 1929   key_serial_t serial ;
 1930   struct rb_node serial_node ;
 1931   struct key_type *type ;
 1932   struct rw_semaphore sem ;
 1933   struct key_user *user ;
 1934   void *security ;
 1935   union __anonunion_ldv_21108_160 ldv_21108 ;
 1936   uid_t uid ;
 1937   gid_t gid ;
 1938   key_perm_t perm ;
 1939   unsigned short quotalen ;
 1940   unsigned short datalen ;
 1941   unsigned long flags ;
 1942   char *description ;
 1943   union __anonunion_type_data_161 type_data ;
 1944   union __anonunion_payload_162 payload ;
 1945};
 1946#line 316
 1947struct audit_context;
 1948#line 316
 1949struct audit_context;
 1950#line 27 "include/linux/selinux.h"
 1951struct group_info {
 1952   atomic_t usage ;
 1953   int ngroups ;
 1954   int nblocks ;
 1955   gid_t small_block[32U] ;
 1956   gid_t *blocks[0U] ;
 1957};
 1958#line 77 "include/linux/cred.h"
 1959struct thread_group_cred {
 1960   atomic_t usage ;
 1961   pid_t tgid ;
 1962   spinlock_t lock ;
 1963   struct key *session_keyring ;
 1964   struct key *process_keyring ;
 1965   struct rcu_head rcu ;
 1966};
 1967#line 91 "include/linux/cred.h"
 1968struct cred {
 1969   atomic_t usage ;
 1970   atomic_t subscribers ;
 1971   void *put_addr ;
 1972   unsigned int magic ;
 1973   uid_t uid ;
 1974   gid_t gid ;
 1975   uid_t suid ;
 1976   gid_t sgid ;
 1977   uid_t euid ;
 1978   gid_t egid ;
 1979   uid_t fsuid ;
 1980   gid_t fsgid ;
 1981   unsigned int securebits ;
 1982   kernel_cap_t cap_inheritable ;
 1983   kernel_cap_t cap_permitted ;
 1984   kernel_cap_t cap_effective ;
 1985   kernel_cap_t cap_bset ;
 1986   unsigned char jit_keyring ;
 1987   struct key *thread_keyring ;
 1988   struct key *request_key_auth ;
 1989   struct thread_group_cred *tgcred ;
 1990   void *security ;
 1991   struct user_struct *user ;
 1992   struct user_namespace *user_ns ;
 1993   struct group_info *group_info ;
 1994   struct rcu_head rcu ;
 1995};
 1996#line 264
 1997struct llist_node;
 1998#line 64 "include/linux/llist.h"
 1999struct llist_node {
 2000   struct llist_node *next ;
 2001};
 2002#line 185
 2003struct futex_pi_state;
 2004#line 185
 2005struct futex_pi_state;
 2006#line 186
 2007struct robust_list_head;
 2008#line 186
 2009struct robust_list_head;
 2010#line 187
 2011struct bio_list;
 2012#line 187
 2013struct bio_list;
 2014#line 188
 2015struct fs_struct;
 2016#line 188
 2017struct fs_struct;
 2018#line 189
 2019struct perf_event_context;
 2020#line 189
 2021struct perf_event_context;
 2022#line 190
 2023struct blk_plug;
 2024#line 190
 2025struct blk_plug;
 2026#line 149 "include/linux/sched.h"
 2027struct cfs_rq;
 2028#line 149
 2029struct cfs_rq;
 2030#line 406 "include/linux/sched.h"
 2031struct sighand_struct {
 2032   atomic_t count ;
 2033   struct k_sigaction action[64U] ;
 2034   spinlock_t siglock ;
 2035   wait_queue_head_t signalfd_wqh ;
 2036};
 2037#line 449 "include/linux/sched.h"
 2038struct pacct_struct {
 2039   int ac_flag ;
 2040   long ac_exitcode ;
 2041   unsigned long ac_mem ;
 2042   cputime_t ac_utime ;
 2043   cputime_t ac_stime ;
 2044   unsigned long ac_minflt ;
 2045   unsigned long ac_majflt ;
 2046};
 2047#line 457 "include/linux/sched.h"
 2048struct cpu_itimer {
 2049   cputime_t expires ;
 2050   cputime_t incr ;
 2051   u32 error ;
 2052   u32 incr_error ;
 2053};
 2054#line 464 "include/linux/sched.h"
 2055struct task_cputime {
 2056   cputime_t utime ;
 2057   cputime_t stime ;
 2058   unsigned long long sum_exec_runtime ;
 2059};
 2060#line 481 "include/linux/sched.h"
 2061struct thread_group_cputimer {
 2062   struct task_cputime cputime ;
 2063   int running ;
 2064   raw_spinlock_t lock ;
 2065};
 2066#line 517
 2067struct autogroup;
 2068#line 517
 2069struct autogroup;
 2070#line 518
 2071struct tty_struct;
 2072#line 518
 2073struct taskstats;
 2074#line 518
 2075struct tty_audit_buf;
 2076#line 518 "include/linux/sched.h"
 2077struct signal_struct {
 2078   atomic_t sigcnt ;
 2079   atomic_t live ;
 2080   int nr_threads ;
 2081   wait_queue_head_t wait_chldexit ;
 2082   struct task_struct *curr_target ;
 2083   struct sigpending shared_pending ;
 2084   int group_exit_code ;
 2085   int notify_count ;
 2086   struct task_struct *group_exit_task ;
 2087   int group_stop_count ;
 2088   unsigned int flags ;
 2089   unsigned char is_child_subreaper : 1 ;
 2090   unsigned char has_child_subreaper : 1 ;
 2091   struct list_head posix_timers ;
 2092   struct hrtimer real_timer ;
 2093   struct pid *leader_pid ;
 2094   ktime_t it_real_incr ;
 2095   struct cpu_itimer it[2U] ;
 2096   struct thread_group_cputimer cputimer ;
 2097   struct task_cputime cputime_expires ;
 2098   struct list_head cpu_timers[3U] ;
 2099   struct pid *tty_old_pgrp ;
 2100   int leader ;
 2101   struct tty_struct *tty ;
 2102   struct autogroup *autogroup ;
 2103   cputime_t utime ;
 2104   cputime_t stime ;
 2105   cputime_t cutime ;
 2106   cputime_t cstime ;
 2107   cputime_t gtime ;
 2108   cputime_t cgtime ;
 2109   cputime_t prev_utime ;
 2110   cputime_t prev_stime ;
 2111   unsigned long nvcsw ;
 2112   unsigned long nivcsw ;
 2113   unsigned long cnvcsw ;
 2114   unsigned long cnivcsw ;
 2115   unsigned long min_flt ;
 2116   unsigned long maj_flt ;
 2117   unsigned long cmin_flt ;
 2118   unsigned long cmaj_flt ;
 2119   unsigned long inblock ;
 2120   unsigned long oublock ;
 2121   unsigned long cinblock ;
 2122   unsigned long coublock ;
 2123   unsigned long maxrss ;
 2124   unsigned long cmaxrss ;
 2125   struct task_io_accounting ioac ;
 2126   unsigned long long sum_sched_runtime ;
 2127   struct rlimit rlim[16U] ;
 2128   struct pacct_struct pacct ;
 2129   struct taskstats *stats ;
 2130   unsigned int audit_tty ;
 2131   struct tty_audit_buf *tty_audit_buf ;
 2132   struct rw_semaphore group_rwsem ;
 2133   int oom_adj ;
 2134   int oom_score_adj ;
 2135   int oom_score_adj_min ;
 2136   struct mutex cred_guard_mutex ;
 2137};
 2138#line 699 "include/linux/sched.h"
 2139struct user_struct {
 2140   atomic_t __count ;
 2141   atomic_t processes ;
 2142   atomic_t files ;
 2143   atomic_t sigpending ;
 2144   atomic_t inotify_watches ;
 2145   atomic_t inotify_devs ;
 2146   atomic_t fanotify_listeners ;
 2147   atomic_long_t epoll_watches ;
 2148   unsigned long mq_bytes ;
 2149   unsigned long locked_shm ;
 2150   struct key *uid_keyring ;
 2151   struct key *session_keyring ;
 2152   struct hlist_node uidhash_node ;
 2153   uid_t uid ;
 2154   struct user_namespace *user_ns ;
 2155   atomic_long_t locked_vm ;
 2156};
 2157#line 744
 2158struct backing_dev_info;
 2159#line 744
 2160struct backing_dev_info;
 2161#line 745
 2162struct reclaim_state;
 2163#line 745
 2164struct reclaim_state;
 2165#line 746 "include/linux/sched.h"
 2166struct sched_info {
 2167   unsigned long pcount ;
 2168   unsigned long long run_delay ;
 2169   unsigned long long last_arrival ;
 2170   unsigned long long last_queued ;
 2171};
 2172#line 760 "include/linux/sched.h"
 2173struct task_delay_info {
 2174   spinlock_t lock ;
 2175   unsigned int flags ;
 2176   struct timespec blkio_start ;
 2177   struct timespec blkio_end ;
 2178   u64 blkio_delay ;
 2179   u64 swapin_delay ;
 2180   u32 blkio_count ;
 2181   u32 swapin_count ;
 2182   struct timespec freepages_start ;
 2183   struct timespec freepages_end ;
 2184   u64 freepages_delay ;
 2185   u32 freepages_count ;
 2186};
 2187#line 1069
 2188struct io_context;
 2189#line 1069
 2190struct io_context;
 2191#line 1097
 2192struct pipe_inode_info;
 2193#line 1097
 2194struct pipe_inode_info;
 2195#line 1099
 2196struct rq;
 2197#line 1099
 2198struct rq;
 2199#line 1100 "include/linux/sched.h"
 2200struct sched_class {
 2201   struct sched_class    *next ;
 2202   void (*enqueue_task)(struct rq * , struct task_struct * , int  ) ;
 2203   void (*dequeue_task)(struct rq * , struct task_struct * , int  ) ;
 2204   void (*yield_task)(struct rq * ) ;
 2205   bool (*yield_to_task)(struct rq * , struct task_struct * , bool  ) ;
 2206   void (*check_preempt_curr)(struct rq * , struct task_struct * , int  ) ;
 2207   struct task_struct *(*pick_next_task)(struct rq * ) ;
 2208   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
 2209   int (*select_task_rq)(struct task_struct * , int  , int  ) ;
 2210   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
 2211   void (*post_schedule)(struct rq * ) ;
 2212   void (*task_waking)(struct task_struct * ) ;
 2213   void (*task_woken)(struct rq * , struct task_struct * ) ;
 2214   void (*set_cpus_allowed)(struct task_struct * , struct cpumask    * ) ;
 2215   void (*rq_online)(struct rq * ) ;
 2216   void (*rq_offline)(struct rq * ) ;
 2217   void (*set_curr_task)(struct rq * ) ;
 2218   void (*task_tick)(struct rq * , struct task_struct * , int  ) ;
 2219   void (*task_fork)(struct task_struct * ) ;
 2220   void (*switched_from)(struct rq * , struct task_struct * ) ;
 2221   void (*switched_to)(struct rq * , struct task_struct * ) ;
 2222   void (*prio_changed)(struct rq * , struct task_struct * , int  ) ;
 2223   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
 2224   void (*task_move_group)(struct task_struct * , int  ) ;
 2225};
 2226#line 1165 "include/linux/sched.h"
 2227struct load_weight {
 2228   unsigned long weight ;
 2229   unsigned long inv_weight ;
 2230};
 2231#line 1170 "include/linux/sched.h"
 2232struct sched_statistics {
 2233   u64 wait_start ;
 2234   u64 wait_max ;
 2235   u64 wait_count ;
 2236   u64 wait_sum ;
 2237   u64 iowait_count ;
 2238   u64 iowait_sum ;
 2239   u64 sleep_start ;
 2240   u64 sleep_max ;
 2241   s64 sum_sleep_runtime ;
 2242   u64 block_start ;
 2243   u64 block_max ;
 2244   u64 exec_max ;
 2245   u64 slice_max ;
 2246   u64 nr_migrations_cold ;
 2247   u64 nr_failed_migrations_affine ;
 2248   u64 nr_failed_migrations_running ;
 2249   u64 nr_failed_migrations_hot ;
 2250   u64 nr_forced_migrations ;
 2251   u64 nr_wakeups ;
 2252   u64 nr_wakeups_sync ;
 2253   u64 nr_wakeups_migrate ;
 2254   u64 nr_wakeups_local ;
 2255   u64 nr_wakeups_remote ;
 2256   u64 nr_wakeups_affine ;
 2257   u64 nr_wakeups_affine_attempts ;
 2258   u64 nr_wakeups_passive ;
 2259   u64 nr_wakeups_idle ;
 2260};
 2261#line 1205 "include/linux/sched.h"
 2262struct sched_entity {
 2263   struct load_weight load ;
 2264   struct rb_node run_node ;
 2265   struct list_head group_node ;
 2266   unsigned int on_rq ;
 2267   u64 exec_start ;
 2268   u64 sum_exec_runtime ;
 2269   u64 vruntime ;
 2270   u64 prev_sum_exec_runtime ;
 2271   u64 nr_migrations ;
 2272   struct sched_statistics statistics ;
 2273   struct sched_entity *parent ;
 2274   struct cfs_rq *cfs_rq ;
 2275   struct cfs_rq *my_q ;
 2276};
 2277#line 1231
 2278struct rt_rq;
 2279#line 1231 "include/linux/sched.h"
 2280struct sched_rt_entity {
 2281   struct list_head run_list ;
 2282   unsigned long timeout ;
 2283   unsigned int time_slice ;
 2284   int nr_cpus_allowed ;
 2285   struct sched_rt_entity *back ;
 2286   struct sched_rt_entity *parent ;
 2287   struct rt_rq *rt_rq ;
 2288   struct rt_rq *my_q ;
 2289};
 2290#line 1255
 2291struct mem_cgroup;
 2292#line 1255 "include/linux/sched.h"
 2293struct memcg_batch_info {
 2294   int do_batch ;
 2295   struct mem_cgroup *memcg ;
 2296   unsigned long nr_pages ;
 2297   unsigned long memsw_nr_pages ;
 2298};
 2299#line 1616
 2300struct files_struct;
 2301#line 1616
 2302struct css_set;
 2303#line 1616
 2304struct compat_robust_list_head;
 2305#line 1616 "include/linux/sched.h"
 2306struct task_struct {
 2307   long volatile   state ;
 2308   void *stack ;
 2309   atomic_t usage ;
 2310   unsigned int flags ;
 2311   unsigned int ptrace ;
 2312   struct llist_node wake_entry ;
 2313   int on_cpu ;
 2314   int on_rq ;
 2315   int prio ;
 2316   int static_prio ;
 2317   int normal_prio ;
 2318   unsigned int rt_priority ;
 2319   struct sched_class    *sched_class ;
 2320   struct sched_entity se ;
 2321   struct sched_rt_entity rt ;
 2322   struct hlist_head preempt_notifiers ;
 2323   unsigned char fpu_counter ;
 2324   unsigned int policy ;
 2325   cpumask_t cpus_allowed ;
 2326   struct sched_info sched_info ;
 2327   struct list_head tasks ;
 2328   struct plist_node pushable_tasks ;
 2329   struct mm_struct *mm ;
 2330   struct mm_struct *active_mm ;
 2331   unsigned char brk_randomized : 1 ;
 2332   int exit_state ;
 2333   int exit_code ;
 2334   int exit_signal ;
 2335   int pdeath_signal ;
 2336   unsigned int jobctl ;
 2337   unsigned int personality ;
 2338   unsigned char did_exec : 1 ;
 2339   unsigned char in_execve : 1 ;
 2340   unsigned char in_iowait : 1 ;
 2341   unsigned char sched_reset_on_fork : 1 ;
 2342   unsigned char sched_contributes_to_load : 1 ;
 2343   unsigned char irq_thread : 1 ;
 2344   pid_t pid ;
 2345   pid_t tgid ;
 2346   unsigned long stack_canary ;
 2347   struct task_struct *real_parent ;
 2348   struct task_struct *parent ;
 2349   struct list_head children ;
 2350   struct list_head sibling ;
 2351   struct task_struct *group_leader ;
 2352   struct list_head ptraced ;
 2353   struct list_head ptrace_entry ;
 2354   struct pid_link pids[3U] ;
 2355   struct list_head thread_group ;
 2356   struct completion *vfork_done ;
 2357   int *set_child_tid ;
 2358   int *clear_child_tid ;
 2359   cputime_t utime ;
 2360   cputime_t stime ;
 2361   cputime_t utimescaled ;
 2362   cputime_t stimescaled ;
 2363   cputime_t gtime ;
 2364   cputime_t prev_utime ;
 2365   cputime_t prev_stime ;
 2366   unsigned long nvcsw ;
 2367   unsigned long nivcsw ;
 2368   struct timespec start_time ;
 2369   struct timespec real_start_time ;
 2370   unsigned long min_flt ;
 2371   unsigned long maj_flt ;
 2372   struct task_cputime cputime_expires ;
 2373   struct list_head cpu_timers[3U] ;
 2374   struct cred    *real_cred ;
 2375   struct cred    *cred ;
 2376   struct cred *replacement_session_keyring ;
 2377   char comm[16U] ;
 2378   int link_count ;
 2379   int total_link_count ;
 2380   struct sysv_sem sysvsem ;
 2381   unsigned long last_switch_count ;
 2382   struct thread_struct thread ;
 2383   struct fs_struct *fs ;
 2384   struct files_struct *files ;
 2385   struct nsproxy *nsproxy ;
 2386   struct signal_struct *signal ;
 2387   struct sighand_struct *sighand ;
 2388   sigset_t blocked ;
 2389   sigset_t real_blocked ;
 2390   sigset_t saved_sigmask ;
 2391   struct sigpending pending ;
 2392   unsigned long sas_ss_sp ;
 2393   size_t sas_ss_size ;
 2394   int (*notifier)(void * ) ;
 2395   void *notifier_data ;
 2396   sigset_t *notifier_mask ;
 2397   struct audit_context *audit_context ;
 2398   uid_t loginuid ;
 2399   unsigned int sessionid ;
 2400   seccomp_t seccomp ;
 2401   u32 parent_exec_id ;
 2402   u32 self_exec_id ;
 2403   spinlock_t alloc_lock ;
 2404   raw_spinlock_t pi_lock ;
 2405   struct plist_head pi_waiters ;
 2406   struct rt_mutex_waiter *pi_blocked_on ;
 2407   struct mutex_waiter *blocked_on ;
 2408   unsigned int irq_events ;
 2409   unsigned long hardirq_enable_ip ;
 2410   unsigned long hardirq_disable_ip ;
 2411   unsigned int hardirq_enable_event ;
 2412   unsigned int hardirq_disable_event ;
 2413   int hardirqs_enabled ;
 2414   int hardirq_context ;
 2415   unsigned long softirq_disable_ip ;
 2416   unsigned long softirq_enable_ip ;
 2417   unsigned int softirq_disable_event ;
 2418   unsigned int softirq_enable_event ;
 2419   int softirqs_enabled ;
 2420   int softirq_context ;
 2421   u64 curr_chain_key ;
 2422   int lockdep_depth ;
 2423   unsigned int lockdep_recursion ;
 2424   struct held_lock held_locks[48U] ;
 2425   gfp_t lockdep_reclaim_gfp ;
 2426   void *journal_info ;
 2427   struct bio_list *bio_list ;
 2428   struct blk_plug *plug ;
 2429   struct reclaim_state *reclaim_state ;
 2430   struct backing_dev_info *backing_dev_info ;
 2431   struct io_context *io_context ;
 2432   unsigned long ptrace_message ;
 2433   siginfo_t *last_siginfo ;
 2434   struct task_io_accounting ioac ;
 2435   u64 acct_rss_mem1 ;
 2436   u64 acct_vm_mem1 ;
 2437   cputime_t acct_timexpd ;
 2438   nodemask_t mems_allowed ;
 2439   seqcount_t mems_allowed_seq ;
 2440   int cpuset_mem_spread_rotor ;
 2441   int cpuset_slab_spread_rotor ;
 2442   struct css_set *cgroups ;
 2443   struct list_head cg_list ;
 2444   struct robust_list_head *robust_list ;
 2445   struct compat_robust_list_head *compat_robust_list ;
 2446   struct list_head pi_state_list ;
 2447   struct futex_pi_state *pi_state_cache ;
 2448   struct perf_event_context *perf_event_ctxp[2U] ;
 2449   struct mutex perf_event_mutex ;
 2450   struct list_head perf_event_list ;
 2451   struct mempolicy *mempolicy ;
 2452   short il_next ;
 2453   short pref_node_fork ;
 2454   struct rcu_head rcu ;
 2455   struct pipe_inode_info *splice_pipe ;
 2456   struct task_delay_info *delays ;
 2457   int make_it_fail ;
 2458   int nr_dirtied ;
 2459   int nr_dirtied_pause ;
 2460   unsigned long dirty_paused_when ;
 2461   int latency_record_count ;
 2462   struct latency_record latency_record[32U] ;
 2463   unsigned long timer_slack_ns ;
 2464   unsigned long default_timer_slack_ns ;
 2465   struct list_head *scm_work_list ;
 2466   unsigned long trace ;
 2467   unsigned long trace_recursion ;
 2468   struct memcg_batch_info memcg_batch ;
 2469   atomic_t ptrace_bp_refcnt ;
 2470};
 2471#line 41 "include/asm-generic/sections.h"
 2472struct exception_table_entry {
 2473   unsigned long insn ;
 2474   unsigned long fixup ;
 2475};
 2476#line 702 "include/linux/interrupt.h"
 2477struct usb_ctrlrequest {
 2478   __u8 bRequestType ;
 2479   __u8 bRequest ;
 2480   __le16 wValue ;
 2481   __le16 wIndex ;
 2482   __le16 wLength ;
 2483};
 2484#line 355 "include/linux/usb/ch9.h"
 2485struct usb_endpoint_descriptor {
 2486   __u8 bLength ;
 2487   __u8 bDescriptorType ;
 2488   __u8 bEndpointAddress ;
 2489   __u8 bmAttributes ;
 2490   __le16 wMaxPacketSize ;
 2491   __u8 bInterval ;
 2492   __u8 bRefresh ;
 2493   __u8 bSynchAddress ;
 2494};
 2495#line 594 "include/linux/usb/ch9.h"
 2496struct usb_ss_ep_comp_descriptor {
 2497   __u8 bLength ;
 2498   __u8 bDescriptorType ;
 2499   __u8 bMaxBurst ;
 2500   __u8 bmAttributes ;
 2501   __le16 wBytesPerInterval ;
 2502};
 2503#line 886
 2504enum usb_device_speed {
 2505    USB_SPEED_UNKNOWN = 0,
 2506    USB_SPEED_LOW = 1,
 2507    USB_SPEED_FULL = 2,
 2508    USB_SPEED_HIGH = 3,
 2509    USB_SPEED_WIRELESS = 4,
 2510    USB_SPEED_SUPER = 5
 2511} ;
 2512#line 920
 2513struct usb_ep;
 2514#line 920
 2515struct usb_ep;
 2516#line 921 "include/linux/usb/ch9.h"
 2517struct usb_request {
 2518   void *buf ;
 2519   unsigned int length ;
 2520   dma_addr_t dma ;
 2521   struct scatterlist *sg ;
 2522   unsigned int num_sgs ;
 2523   unsigned int num_mapped_sgs ;
 2524   unsigned short stream_id ;
 2525   unsigned char no_interrupt : 1 ;
 2526   unsigned char zero : 1 ;
 2527   unsigned char short_not_ok : 1 ;
 2528   void (*complete)(struct usb_ep * , struct usb_request * ) ;
 2529   void *context ;
 2530   struct list_head list ;
 2531   int status ;
 2532   unsigned int actual ;
 2533};
 2534#line 112 "include/linux/usb/gadget.h"
 2535struct usb_ep_ops {
 2536   int (*enable)(struct usb_ep * , struct usb_endpoint_descriptor    * ) ;
 2537   int (*disable)(struct usb_ep * ) ;
 2538   struct usb_request *(*alloc_request)(struct usb_ep * , gfp_t  ) ;
 2539   void (*free_request)(struct usb_ep * , struct usb_request * ) ;
 2540   int (*queue)(struct usb_ep * , struct usb_request * , gfp_t  ) ;
 2541   int (*dequeue)(struct usb_ep * , struct usb_request * ) ;
 2542   int (*set_halt)(struct usb_ep * , int  ) ;
 2543   int (*set_wedge)(struct usb_ep * ) ;
 2544   int (*fifo_status)(struct usb_ep * ) ;
 2545   void (*fifo_flush)(struct usb_ep * ) ;
 2546};
 2547#line 141 "include/linux/usb/gadget.h"
 2548struct usb_ep {
 2549   void *driver_data ;
 2550   char    *name ;
 2551   struct usb_ep_ops    *ops ;
 2552   struct list_head ep_list ;
 2553   unsigned short maxpacket ;
 2554   unsigned short max_streams ;
 2555   unsigned char mult : 2 ;
 2556   unsigned char maxburst : 5 ;
 2557   u8 address ;
 2558   struct usb_endpoint_descriptor    *desc ;
 2559   struct usb_ss_ep_comp_descriptor    *comp_desc ;
 2560};
 2561#line 442 "include/linux/usb/gadget.h"
 2562struct usb_dcd_config_params {
 2563   __u8 bU1devExitLat ;
 2564   __le16 bU2DevExitLat ;
 2565};
 2566#line 451
 2567struct usb_gadget;
 2568#line 451
 2569struct usb_gadget;
 2570#line 452
 2571struct usb_gadget_driver;
 2572#line 452
 2573struct usb_gadget_driver;
 2574#line 453 "include/linux/usb/gadget.h"
 2575struct usb_gadget_ops {
 2576   int (*get_frame)(struct usb_gadget * ) ;
 2577   int (*wakeup)(struct usb_gadget * ) ;
 2578   int (*set_selfpowered)(struct usb_gadget * , int  ) ;
 2579   int (*vbus_session)(struct usb_gadget * , int  ) ;
 2580   int (*vbus_draw)(struct usb_gadget * , unsigned int  ) ;
 2581   int (*pullup)(struct usb_gadget * , int  ) ;
 2582   int (*ioctl)(struct usb_gadget * , unsigned int  , unsigned long  ) ;
 2583   void (*get_config_params)(struct usb_dcd_config_params * ) ;
 2584   int (*udc_start)(struct usb_gadget * , struct usb_gadget_driver * ) ;
 2585   int (*udc_stop)(struct usb_gadget * , struct usb_gadget_driver * ) ;
 2586   int (*start)(struct usb_gadget_driver * , int (*)(struct usb_gadget * ) ) ;
 2587   int (*stop)(struct usb_gadget_driver * ) ;
 2588};
 2589#line 480 "include/linux/usb/gadget.h"
 2590struct usb_gadget {
 2591   struct usb_gadget_ops    *ops ;
 2592   struct usb_ep *ep0 ;
 2593   struct list_head ep_list ;
 2594   enum usb_device_speed speed ;
 2595   enum usb_device_speed max_speed ;
 2596   unsigned char sg_supported : 1 ;
 2597   unsigned char is_otg : 1 ;
 2598   unsigned char is_a_peripheral : 1 ;
 2599   unsigned char b_hnp_enable : 1 ;
 2600   unsigned char a_hnp_support : 1 ;
 2601   unsigned char a_alt_hnp_support : 1 ;
 2602   char    *name ;
 2603   struct device dev ;
 2604};
 2605#line 766 "include/linux/usb/gadget.h"
 2606struct usb_gadget_driver {
 2607   char *function ;
 2608   enum usb_device_speed max_speed ;
 2609   void (*unbind)(struct usb_gadget * ) ;
 2610   int (*setup)(struct usb_gadget * , struct usb_ctrlrequest    * ) ;
 2611   void (*disconnect)(struct usb_gadget * ) ;
 2612   void (*suspend)(struct usb_gadget * ) ;
 2613   void (*resume)(struct usb_gadget * ) ;
 2614   struct device_driver driver ;
 2615};
 2616#line 974
 2617enum usb_otg_state {
 2618    OTG_STATE_UNDEFINED = 0,
 2619    OTG_STATE_B_IDLE = 1,
 2620    OTG_STATE_B_SRP_INIT = 2,
 2621    OTG_STATE_B_PERIPHERAL = 3,
 2622    OTG_STATE_B_WAIT_ACON = 4,
 2623    OTG_STATE_B_HOST = 5,
 2624    OTG_STATE_A_IDLE = 6,
 2625    OTG_STATE_A_WAIT_VRISE = 7,
 2626    OTG_STATE_A_WAIT_BCON = 8,
 2627    OTG_STATE_A_HOST = 9,
 2628    OTG_STATE_A_SUSPEND = 10,
 2629    OTG_STATE_A_PERIPHERAL = 11,
 2630    OTG_STATE_A_WAIT_VFALL = 12,
 2631    OTG_STATE_A_VBUS_ERR = 13
 2632} ;
 2633#line 991
 2634enum usb_phy_events {
 2635    USB_EVENT_NONE = 0,
 2636    USB_EVENT_VBUS = 1,
 2637    USB_EVENT_ID = 2,
 2638    USB_EVENT_CHARGER = 3,
 2639    USB_EVENT_ENUMERATED = 4
 2640} ;
 2641#line 999
 2642struct usb_phy;
 2643#line 999
 2644struct usb_phy;
 2645#line 1000 "include/linux/usb/gadget.h"
 2646struct usb_phy_io_ops {
 2647   int (*read)(struct usb_phy * , u32  ) ;
 2648   int (*write)(struct usb_phy * , u32  , u32  ) ;
 2649};
 2650#line 55 "include/linux/usb/otg.h"
 2651struct usb_bus;
 2652#line 55 "include/linux/usb/otg.h"
 2653struct usb_otg {
 2654   u8 default_a ;
 2655   struct usb_phy *phy ;
 2656   struct usb_bus *host ;
 2657   struct usb_gadget *gadget ;
 2658   int (*set_host)(struct usb_otg * , struct usb_bus * ) ;
 2659   int (*set_peripheral)(struct usb_otg * , struct usb_gadget * ) ;
 2660   int (*set_vbus)(struct usb_otg * , bool  ) ;
 2661   int (*start_srp)(struct usb_otg * ) ;
 2662   int (*start_hnp)(struct usb_otg * ) ;
 2663};
 2664#line 79 "include/linux/usb/otg.h"
 2665struct usb_phy {
 2666   struct device *dev ;
 2667   char    *label ;
 2668   unsigned int flags ;
 2669   enum usb_otg_state state ;
 2670   enum usb_phy_events last_event ;
 2671   struct usb_otg *otg ;
 2672   struct device *io_dev ;
 2673   struct usb_phy_io_ops *io_ops ;
 2674   void *io_priv ;
 2675   struct atomic_notifier_head notifier ;
 2676   u16 port_status ;
 2677   u16 port_change ;
 2678   int (*init)(struct usb_phy * ) ;
 2679   void (*shutdown)(struct usb_phy * ) ;
 2680   int (*set_power)(struct usb_phy * , unsigned int  ) ;
 2681   int (*set_suspend)(struct usb_phy * , int  ) ;
 2682};
 2683#line 278
 2684struct mfd_cell;
 2685#line 278
 2686struct mfd_cell;
 2687#line 279 "include/linux/usb/otg.h"
 2688struct platform_device {
 2689   char    *name ;
 2690   int id ;
 2691   struct device dev ;
 2692   u32 num_resources ;
 2693   struct resource *resource ;
 2694   struct platform_device_id    *id_entry ;
 2695   struct mfd_cell *mfd_cell ;
 2696   struct pdev_archdata archdata ;
 2697};
 2698#line 272 "include/linux/platform_device.h"
 2699struct clk;
 2700#line 272
 2701struct clk;
 2702#line 297 "include/linux/clk.h"
 2703struct mv_usb_addon_irq {
 2704   unsigned int irq ;
 2705   int (*poll)(void) ;
 2706};
 2707#line 35 "include/linux/platform_data/mv_usb.h"
 2708struct mv_usb_platform_data {
 2709   unsigned int clknum ;
 2710   char **clkname ;
 2711   struct mv_usb_addon_irq *id ;
 2712   struct mv_usb_addon_irq *vbus ;
 2713   unsigned int mode ;
 2714   unsigned char disable_otg_clock_gating : 1 ;
 2715   unsigned char otg_force_a_bus_req : 1 ;
 2716   int (*phy_init)(void * ) ;
 2717   void (*phy_deinit)(void * ) ;
 2718   int (*set_vbus)(unsigned int  ) ;
 2719   int (*private_init)(void * , void * ) ;
 2720};
 2721#line 9 "include/linux/unaligned/generic.h"
 2722struct mv_cap_regs {
 2723   u32 caplength_hciversion ;
 2724   u32 hcsparams ;
 2725   u32 hccparams ;
 2726   u32 reserved[5U] ;
 2727   u32 dciversion ;
 2728   u32 dccparams ;
 2729};
 2730#line 143 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/gadget/mv_udc.h"
 2731struct mv_op_regs {
 2732   u32 usbcmd ;
 2733   u32 usbsts ;
 2734   u32 usbintr ;
 2735   u32 frindex ;
 2736   u32 reserved1[1U] ;
 2737   u32 deviceaddr ;
 2738   u32 eplistaddr ;
 2739   u32 ttctrl ;
 2740   u32 burstsize ;
 2741   u32 txfilltuning ;
 2742   u32 reserved[4U] ;
 2743   u32 epnak ;
 2744   u32 epnaken ;
 2745   u32 configflag ;
 2746   u32 portsc[8U] ;
 2747   u32 otgsc ;
 2748   u32 usbmode ;
 2749   u32 epsetupstat ;
 2750   u32 epprime ;
 2751   u32 epflush ;
 2752   u32 epstatus ;
 2753   u32 epcomplete ;
 2754   u32 epctrlx[16U] ;
 2755   u32 mcr ;
 2756   u32 isr ;
 2757   u32 ier ;
 2758};
 2759#line 172
 2760struct mv_dqh;
 2761#line 172
 2762struct mv_ep;
 2763#line 172
 2764struct mv_dtd;
 2765#line 172
 2766struct mv_req;
 2767#line 172 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/gadget/mv_udc.h"
 2768struct mv_udc {
 2769   struct usb_gadget gadget ;
 2770   struct usb_gadget_driver *driver ;
 2771   spinlock_t lock ;
 2772   struct completion *done ;
 2773   struct platform_device *dev ;
 2774   int irq ;
 2775   struct mv_cap_regs *cap_regs ;
 2776   struct mv_op_regs *op_regs ;
 2777   void *phy_regs ;
 2778   unsigned int max_eps ;
 2779   struct mv_dqh *ep_dqh ;
 2780   size_t ep_dqh_size ;
 2781   dma_addr_t ep_dqh_dma ;
 2782   struct dma_pool *dtd_pool ;
 2783   struct mv_ep *eps ;
 2784   struct mv_dtd *dtd_head ;
 2785   struct mv_dtd *dtd_tail ;
 2786   unsigned int dtd_entries ;
 2787   struct mv_req *status_req ;
 2788   struct usb_ctrlrequest local_setup_buff ;
 2789   unsigned int resume_state ;
 2790   unsigned int usb_state ;
 2791   unsigned int ep0_state ;
 2792   unsigned int ep0_dir ;
 2793   unsigned int dev_addr ;
 2794   unsigned int test_mode ;
 2795   int errors ;
 2796   unsigned char softconnect : 1 ;
 2797   unsigned char vbus_active : 1 ;
 2798   unsigned char remote_wakeup : 1 ;
 2799   unsigned char softconnected : 1 ;
 2800   unsigned char force_fs : 1 ;
 2801   unsigned char clock_gating : 1 ;
 2802   unsigned char active : 1 ;
 2803   unsigned char stopped : 1 ;
 2804   struct work_struct vbus_work ;
 2805   struct workqueue_struct *qwork ;
 2806   struct usb_phy *transceiver ;
 2807   struct mv_usb_platform_data *pdata ;
 2808   unsigned int clknum ;
 2809   struct clk *clk[0U] ;
 2810};
 2811#line 228 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/gadget/mv_udc.h"
 2812struct mv_ep {
 2813   struct usb_ep ep ;
 2814   struct mv_udc *udc ;
 2815   struct list_head queue ;
 2816   struct mv_dqh *dqh ;
 2817   struct usb_endpoint_descriptor    *desc ;
 2818   u32 direction ;
 2819   char name[14U] ;
 2820   unsigned char stopped : 1 ;
 2821   unsigned char wedge : 1 ;
 2822   unsigned char ep_type : 2 ;
 2823   unsigned char ep_num ;
 2824};
 2825#line 243 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/gadget/mv_udc.h"
 2826struct mv_req {
 2827   struct usb_request req ;
 2828   struct mv_dtd *dtd ;
 2829   struct mv_dtd *head ;
 2830   struct mv_dtd *tail ;
 2831   struct mv_ep *ep ;
 2832   struct list_head queue ;
 2833   unsigned int test_mode ;
 2834   unsigned int dtd_count ;
 2835   unsigned char mapped : 1 ;
 2836};
 2837#line 254 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/gadget/mv_udc.h"
 2838struct mv_dqh {
 2839   u32 max_packet_length ;
 2840   u32 curr_dtd_ptr ;
 2841   u32 next_dtd_ptr ;
 2842   u32 size_ioc_int_sts ;
 2843   u32 buff_ptr0 ;
 2844   u32 buff_ptr1 ;
 2845   u32 buff_ptr2 ;
 2846   u32 buff_ptr3 ;
 2847   u32 buff_ptr4 ;
 2848   u32 reserved1 ;
 2849   u8 setup_buffer[8U] ;
 2850   u32 reserved2[4U] ;
 2851};
 2852#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/gadget/mv_udc.h"
 2853struct mv_dtd {
 2854   u32 dtd_next ;
 2855   u32 size_ioc_sts ;
 2856   u32 buff_ptr0 ;
 2857   u32 buff_ptr1 ;
 2858   u32 buff_ptr2 ;
 2859   u32 buff_ptr3 ;
 2860   u32 buff_ptr4 ;
 2861   u32 scratch_ptr ;
 2862   dma_addr_t td_dma ;
 2863   struct mv_dtd *next_dtd_virt ;
 2864};
 2865#line 1 "<compiler builtins>"
 2866
 2867#line 1
 2868long __builtin_expect(long  , long  ) ;
 2869#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 2870void ldv_spin_lock(void) ;
 2871#line 3
 2872void ldv_spin_unlock(void) ;
 2873#line 4
 2874int ldv_spin_trylock(void) ;
 2875#line 50 "include/linux/dynamic_debug.h"
 2876extern int __dynamic_dev_dbg(struct _ddebug * , struct device    * , char    * 
 2877                             , ...) ;
 2878#line 323 "include/linux/kernel.h"
 2879extern int snprintf(char * , size_t  , char    *  , ...) ;
 2880#line 24 "include/linux/list.h"
 2881__inline static void INIT_LIST_HEAD(struct list_head *list ) 
 2882{ unsigned long __cil_tmp2 ;
 2883  unsigned long __cil_tmp3 ;
 2884
 2885  {
 2886#line 26
 2887  *((struct list_head **)list) = list;
 2888#line 27
 2889  __cil_tmp2 = (unsigned long )list;
 2890#line 27
 2891  __cil_tmp3 = __cil_tmp2 + 8;
 2892#line 27
 2893  *((struct list_head **)__cil_tmp3) = list;
 2894#line 28
 2895  return;
 2896}
 2897}
 2898#line 47
 2899extern void __list_add(struct list_head * , struct list_head * , struct list_head * ) ;
 2900#line 74 "include/linux/list.h"
 2901__inline static void list_add_tail(struct list_head *new , struct list_head *head ) 
 2902{ unsigned long __cil_tmp3 ;
 2903  unsigned long __cil_tmp4 ;
 2904  struct list_head *__cil_tmp5 ;
 2905
 2906  {
 2907  {
 2908#line 76
 2909  __cil_tmp3 = (unsigned long )head;
 2910#line 76
 2911  __cil_tmp4 = __cil_tmp3 + 8;
 2912#line 76
 2913  __cil_tmp5 = *((struct list_head **)__cil_tmp4);
 2914#line 76
 2915  __list_add(new, __cil_tmp5, head);
 2916  }
 2917#line 77
 2918  return;
 2919}
 2920}
 2921#line 111
 2922extern void __list_del_entry(struct list_head * ) ;
 2923#line 142 "include/linux/list.h"
 2924__inline static void list_del_init(struct list_head *entry ) 
 2925{ 
 2926
 2927  {
 2928  {
 2929#line 144
 2930  __list_del_entry(entry);
 2931#line 145
 2932  INIT_LIST_HEAD(entry);
 2933  }
 2934#line 146
 2935  return;
 2936}
 2937}
 2938#line 186 "include/linux/list.h"
 2939__inline static int list_empty(struct list_head    *head ) 
 2940{ unsigned long __cil_tmp2 ;
 2941  struct list_head *   __cil_tmp3 ;
 2942  struct list_head    *__cil_tmp4 ;
 2943  unsigned long __cil_tmp5 ;
 2944
 2945  {
 2946  {
 2947#line 188
 2948  __cil_tmp2 = (unsigned long )head;
 2949#line 188
 2950  __cil_tmp3 = *((struct list_head *   *)head);
 2951#line 188
 2952  __cil_tmp4 = (struct list_head    *)__cil_tmp3;
 2953#line 188
 2954  __cil_tmp5 = (unsigned long )__cil_tmp4;
 2955#line 188
 2956  return (__cil_tmp5 == __cil_tmp2);
 2957  }
 2958}
 2959}
 2960#line 61 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_64_types.h"
 2961extern unsigned long __phys_addr(unsigned long  ) ;
 2962#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
 2963extern struct pv_irq_ops pv_irq_ops ;
 2964#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
 2965extern void *__memcpy(void * , void    * , size_t  ) ;
 2966#line 27 "include/linux/string.h"
 2967extern char *strncpy(char * , char    * , __kernel_size_t  ) ;
 2968#line 70 "include/asm-generic/bug.h"
 2969extern void warn_slowpath_null(char    * , int     ) ;
 2970#line 861 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
 2971__inline static unsigned long arch_local_save_flags(void) 
 2972{ unsigned long __ret ;
 2973  unsigned long __edi ;
 2974  unsigned long __esi ;
 2975  unsigned long __edx ;
 2976  unsigned long __ecx ;
 2977  unsigned long __eax ;
 2978  long tmp ;
 2979  void *__cil_tmp8 ;
 2980  unsigned long __cil_tmp9 ;
 2981  struct pv_irq_ops *__cil_tmp10 ;
 2982  void *__cil_tmp11 ;
 2983  unsigned long __cil_tmp12 ;
 2984  int __cil_tmp13 ;
 2985  long __cil_tmp14 ;
 2986  struct pv_irq_ops *__cil_tmp15 ;
 2987
 2988  {
 2989  {
 2990#line 863
 2991  __edi = __edi;
 2992#line 863
 2993  __esi = __esi;
 2994#line 863
 2995  __edx = __edx;
 2996#line 863
 2997  __ecx = __ecx;
 2998#line 863
 2999  __eax = __eax;
 3000#line 863
 3001  __cil_tmp8 = (void *)0;
 3002#line 863
 3003  __cil_tmp9 = (unsigned long )__cil_tmp8;
 3004#line 863
 3005  __cil_tmp10 = & pv_irq_ops;
 3006#line 863
 3007  __cil_tmp11 = *((void **)__cil_tmp10);
 3008#line 863
 3009  __cil_tmp12 = (unsigned long )__cil_tmp11;
 3010#line 863
 3011  __cil_tmp13 = __cil_tmp12 == __cil_tmp9;
 3012#line 863
 3013  __cil_tmp14 = (long )__cil_tmp13;
 3014#line 863
 3015  tmp = __builtin_expect(__cil_tmp14, 0L);
 3016  }
 3017#line 863
 3018  if (tmp != 0L) {
 3019#line 863
 3020    ldv_4790: ;
 3021#line 863
 3022    goto ldv_4790;
 3023  } else {
 3024
 3025  }
 3026#line 863
 3027  __cil_tmp15 = & pv_irq_ops;
 3028#line 863
 3029#line 863
 3030  __ret = __eax;
 3031#line 863
 3032  return (__ret);
 3033}
 3034}
 3035#line 27 "include/linux/err.h"
 3036__inline static long PTR_ERR(void    *ptr ) 
 3037{ 
 3038
 3039  {
 3040#line 29
 3041  return ((long )ptr);
 3042}
 3043}
 3044#line 32 "include/linux/err.h"
 3045__inline static long IS_ERR(void    *ptr ) 
 3046{ long tmp ;
 3047  unsigned long __cil_tmp3 ;
 3048  int __cil_tmp4 ;
 3049  long __cil_tmp5 ;
 3050
 3051  {
 3052  {
 3053#line 34
 3054  __cil_tmp3 = (unsigned long )ptr;
 3055#line 34
 3056  __cil_tmp4 = __cil_tmp3 > 0xfffffffffffff000UL;
 3057#line 34
 3058  __cil_tmp5 = (long )__cil_tmp4;
 3059#line 34
 3060  tmp = __builtin_expect(__cil_tmp5, 0L);
 3061  }
 3062#line 34
 3063  return (tmp);
 3064}
 3065}
 3066#line 155 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/irqflags.h"
 3067__inline static int arch_irqs_disabled_flags(unsigned long flags ) 
 3068{ unsigned long __cil_tmp2 ;
 3069
 3070  {
 3071  {
 3072#line 157
 3073  __cil_tmp2 = flags & 512UL;
 3074#line 157
 3075  return (__cil_tmp2 == 0UL);
 3076  }
 3077}
 3078}
 3079#line 261 "include/linux/lockdep.h"
 3080extern void lockdep_init_map(struct lockdep_map * , char    * , struct lock_class_key * ,
 3081                             int  ) ;
 3082#line 93 "include/linux/spinlock.h"
 3083extern void __raw_spin_lock_init(raw_spinlock_t * , char    * , struct lock_class_key * ) ;
 3084#line 22 "include/linux/spinlock_api_smp.h"
 3085extern void _raw_spin_lock(raw_spinlock_t * ) ;
 3086#line 29
 3087extern void _raw_spin_lock_irq(raw_spinlock_t * ) ;
 3088#line 39
 3089extern void _raw_spin_unlock(raw_spinlock_t * ) ;
 3090#line 41
 3091extern void _raw_spin_unlock_irq(raw_spinlock_t * ) ;
 3092#line 43
 3093extern void _raw_spin_unlock_irqrestore(raw_spinlock_t * , unsigned long  ) ;
 3094#line 272 "include/linux/spinlock.h"
 3095__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock ) 
 3096{ 
 3097
 3098  {
 3099#line 274
 3100  return ((struct raw_spinlock *)lock);
 3101}
 3102}
 3103#line 283 "include/linux/spinlock.h"
 3104__inline static void ldv_spin_lock_1(spinlock_t *lock ) 
 3105{ struct raw_spinlock *__cil_tmp2 ;
 3106
 3107  {
 3108  {
 3109#line 285
 3110  __cil_tmp2 = (struct raw_spinlock *)lock;
 3111#line 285
 3112  _raw_spin_lock(__cil_tmp2);
 3113  }
 3114#line 286
 3115  return;
 3116}
 3117}
 3118#line 283
 3119__inline static void spin_lock(spinlock_t *lock ) ;
 3120#line 308 "include/linux/spinlock.h"
 3121__inline static void ldv_spin_lock_irq_4(spinlock_t *lock ) 
 3122{ struct raw_spinlock *__cil_tmp2 ;
 3123
 3124  {
 3125  {
 3126#line 310
 3127  __cil_tmp2 = (struct raw_spinlock *)lock;
 3128#line 310
 3129  _raw_spin_lock_irq(__cil_tmp2);
 3130  }
 3131#line 311
 3132  return;
 3133}
 3134}
 3135#line 308
 3136__inline static void spin_lock_irq(spinlock_t *lock ) ;
 3137#line 323 "include/linux/spinlock.h"
 3138__inline static void ldv_spin_unlock_5(spinlock_t *lock ) 
 3139{ struct raw_spinlock *__cil_tmp2 ;
 3140
 3141  {
 3142  {
 3143#line 325
 3144  __cil_tmp2 = (struct raw_spinlock *)lock;
 3145#line 325
 3146  _raw_spin_unlock(__cil_tmp2);
 3147  }
 3148#line 326
 3149  return;
 3150}
 3151}
 3152#line 323
 3153__inline static void spin_unlock(spinlock_t *lock ) ;
 3154#line 341 "include/linux/spinlock.h"
 3155__inline static void ldv_spin_unlock_irq_7(spinlock_t *lock ) 
 3156{ struct raw_spinlock *__cil_tmp2 ;
 3157
 3158  {
 3159  {
 3160#line 343
 3161  __cil_tmp2 = (struct raw_spinlock *)lock;
 3162#line 343
 3163  _raw_spin_unlock_irq(__cil_tmp2);
 3164  }
 3165#line 344
 3166  return;
 3167}
 3168}
 3169#line 341
 3170__inline static void spin_unlock_irq(spinlock_t *lock ) ;
 3171#line 350 "include/linux/spinlock.h"
 3172__inline static void ldv_spin_unlock_irqrestore_8(spinlock_t *lock , unsigned long flags ) 
 3173{ struct raw_spinlock *__cil_tmp5 ;
 3174
 3175  {
 3176  {
 3177#line 352
 3178  __cil_tmp5 = (struct raw_spinlock *)lock;
 3179#line 352
 3180  _raw_spin_unlock_irqrestore(__cil_tmp5, flags);
 3181  }
 3182#line 353
 3183  return;
 3184}
 3185}
 3186#line 350
 3187__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags ) ;
 3188#line 91 "include/linux/completion.h"
 3189extern void complete(struct completion * ) ;
 3190#line 163 "include/linux/ioport.h"
 3191__inline static resource_size_t resource_size(struct resource    *res ) 
 3192{ resource_size_t    __cil_tmp2 ;
 3193  unsigned long long __cil_tmp3 ;
 3194  unsigned long __cil_tmp4 ;
 3195  unsigned long __cil_tmp5 ;
 3196  resource_size_t    __cil_tmp6 ;
 3197  unsigned long long __cil_tmp7 ;
 3198  unsigned long long __cil_tmp8 ;
 3199
 3200  {
 3201  {
 3202#line 165
 3203  __cil_tmp2 = *((resource_size_t    *)res);
 3204#line 165
 3205  __cil_tmp3 = (unsigned long long )__cil_tmp2;
 3206#line 165
 3207  __cil_tmp4 = (unsigned long )res;
 3208#line 165
 3209  __cil_tmp5 = __cil_tmp4 + 8;
 3210#line 165
 3211  __cil_tmp6 = *((resource_size_t    *)__cil_tmp5);
 3212#line 165
 3213  __cil_tmp7 = (unsigned long long )__cil_tmp6;
 3214#line 165
 3215  __cil_tmp8 = __cil_tmp7 - __cil_tmp3;
 3216#line 165
 3217  return (__cil_tmp8 + 1ULL);
 3218  }
 3219}
 3220}
 3221#line 156 "include/linux/workqueue.h"
 3222extern void __init_work(struct work_struct * , int  ) ;
 3223#line 304
 3224extern struct workqueue_struct *__alloc_workqueue_key(char    * , unsigned int  ,
 3225                                                      int  , struct lock_class_key * ,
 3226                                                      char    *  , ...) ;
 3227#line 368
 3228extern int queue_work(struct workqueue_struct * , struct work_struct * ) ;
 3229#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 3230__inline static unsigned int readl(void  volatile   *addr ) 
 3231{ unsigned int ret ;
 3232  unsigned int volatile   *__cil_tmp3 ;
 3233
 3234  {
 3235#line 55
 3236  __cil_tmp3 = (unsigned int volatile   *)addr;
 3237#line 55
 3238  __asm__  volatile   ("movl %1,%0": "=r" (ret): "m" (*__cil_tmp3): "memory");
 3239#line 55
 3240  return (ret);
 3241}
 3242}
 3243#line 63 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 3244__inline static void writel(unsigned int val , void volatile   *addr ) 
 3245{ unsigned int volatile   *__cil_tmp3 ;
 3246
 3247  {
 3248#line 63
 3249  __cil_tmp3 = (unsigned int volatile   *)addr;
 3250#line 63
 3251  __asm__  volatile   ("movl %0,%1": : "r" (val), "m" (*__cil_tmp3): "memory");
 3252#line 64
 3253  return;
 3254}
 3255}
 3256#line 174
 3257extern void *ioremap_nocache(resource_size_t  , unsigned long  ) ;
 3258#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 3259__inline static void *ioremap(resource_size_t offset , unsigned long size ) 
 3260{ void *tmp ;
 3261
 3262  {
 3263  {
 3264#line 184
 3265  tmp = ioremap_nocache(offset, size);
 3266  }
 3267#line 184
 3268  return (tmp);
 3269}
 3270}
 3271#line 187
 3272extern void iounmap(void volatile   * ) ;
 3273#line 161 "include/linux/slab.h"
 3274extern void kfree(void    * ) ;
 3275#line 220 "include/linux/slub_def.h"
 3276extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t  ) ;
 3277#line 223
 3278void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
 3279#line 353 "include/linux/slab.h"
 3280__inline static void *kzalloc(size_t size , gfp_t flags ) ;
 3281#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 3282extern void *__VERIFIER_nondet_pointer(void) ;
 3283#line 11
 3284void ldv_check_alloc_flags(gfp_t flags ) ;
 3285#line 12
 3286void ldv_check_alloc_nonatomic(void) ;
 3287#line 14
 3288struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
 3289#line 695 "include/linux/device.h"
 3290extern int dev_set_name(struct device * , char    *  , ...) ;
 3291#line 778
 3292extern int device_register(struct device * ) ;
 3293#line 779
 3294extern void device_unregister(struct device * ) ;
 3295#line 892
 3296extern int dev_err(struct device    * , char    *  , ...) ;
 3297#line 898
 3298extern int _dev_info(struct device    * , char    *  , ...) ;
 3299#line 17 "include/asm-generic/scatterlist.h"
 3300extern struct dma_pool *dma_pool_create(char    * , struct device * , size_t  ,
 3301                                        size_t  , size_t  ) ;
 3302#line 20 "include/linux/dmapool.h"
 3303extern void dma_pool_destroy(struct dma_pool * ) ;
 3304#line 22
 3305extern void *dma_pool_alloc(struct dma_pool * , gfp_t  , dma_addr_t * ) ;
 3306#line 26
 3307void *ldv_dma_pool_alloc_19(struct dma_pool *ldv_func_arg1 , gfp_t ldv_func_arg2 ,
 3308                            dma_addr_t *ldv_func_arg3 ) ;
 3309#line 29
 3310extern void dma_pool_free(struct dma_pool * , void * , dma_addr_t  ) ;
 3311#line 60 "include/linux/dma-mapping.h"
 3312__inline static int valid_dma_direction(int dma_direction ) 
 3313{ int tmp ;
 3314
 3315  {
 3316#line 62
 3317  if (dma_direction == 0) {
 3318#line 62
 3319    tmp = 1;
 3320  } else
 3321#line 62
 3322  if (dma_direction == 1) {
 3323#line 62
 3324    tmp = 1;
 3325  } else
 3326#line 62
 3327  if (dma_direction == 2) {
 3328#line 62
 3329    tmp = 1;
 3330  } else {
 3331#line 62
 3332    tmp = 0;
 3333  }
 3334#line 62
 3335  return (tmp);
 3336}
 3337}
 3338#line 67 "include/linux/dma-mapping.h"
 3339__inline static int is_device_dma_capable(struct device *dev ) 
 3340{ int tmp ;
 3341  u64 *__cil_tmp3 ;
 3342  unsigned long __cil_tmp4 ;
 3343  unsigned long __cil_tmp5 ;
 3344  unsigned long __cil_tmp6 ;
 3345  u64 *__cil_tmp7 ;
 3346  unsigned long __cil_tmp8 ;
 3347  unsigned long __cil_tmp9 ;
 3348  unsigned long __cil_tmp10 ;
 3349  u64 *__cil_tmp11 ;
 3350  u64 __cil_tmp12 ;
 3351
 3352  {
 3353  {
 3354#line 69
 3355  __cil_tmp3 = (u64 *)0;
 3356#line 69
 3357  __cil_tmp4 = (unsigned long )__cil_tmp3;
 3358#line 69
 3359  __cil_tmp5 = (unsigned long )dev;
 3360#line 69
 3361  __cil_tmp6 = __cil_tmp5 + 920;
 3362#line 69
 3363  __cil_tmp7 = *((u64 **)__cil_tmp6);
 3364#line 69
 3365  __cil_tmp8 = (unsigned long )__cil_tmp7;
 3366#line 69
 3367  if (__cil_tmp8 != __cil_tmp4) {
 3368    {
 3369#line 69
 3370    __cil_tmp9 = (unsigned long )dev;
 3371#line 69
 3372    __cil_tmp10 = __cil_tmp9 + 920;
 3373#line 69
 3374    __cil_tmp11 = *((u64 **)__cil_tmp10);
 3375#line 69
 3376    __cil_tmp12 = *__cil_tmp11;
 3377#line 69
 3378    if (__cil_tmp12 != 0ULL) {
 3379#line 69
 3380      tmp = 1;
 3381    } else {
 3382#line 69
 3383      tmp = 0;
 3384    }
 3385    }
 3386  } else {
 3387#line 69
 3388    tmp = 0;
 3389  }
 3390  }
 3391#line 69
 3392  return (tmp);
 3393}
 3394}
 3395#line 131 "include/linux/kmemcheck.h"
 3396__inline static void kmemcheck_mark_initialized(void *address , unsigned int n ) 
 3397{ 
 3398
 3399  {
 3400#line 133
 3401  return;
 3402}
 3403}
 3404#line 37 "include/linux/dma-debug.h"
 3405extern void debug_dma_map_page(struct device * , struct page * , size_t  , size_t  ,
 3406                               int  , dma_addr_t  , bool  ) ;
 3407#line 42
 3408extern void debug_dma_unmap_page(struct device * , dma_addr_t  , size_t  , int  ,
 3409                                 bool  ) ;
 3410#line 51
 3411extern void debug_dma_alloc_coherent(struct device * , size_t  , dma_addr_t  , void * ) ;
 3412#line 54
 3413extern void debug_dma_free_coherent(struct device * , size_t  , void * , dma_addr_t  ) ;
 3414#line 57
 3415extern void debug_dma_sync_single_for_cpu(struct device * , dma_addr_t  , size_t  ,
 3416                                          int  ) ;
 3417#line 61
 3418extern void debug_dma_sync_single_for_device(struct device * , dma_addr_t  , size_t  ,
 3419                                             int  ) ;
 3420#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h"
 3421extern struct device x86_dma_fallback_dev ;
 3422#line 29
 3423extern struct dma_map_ops *dma_ops ;
 3424#line 31 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h"
 3425__inline static struct dma_map_ops *get_dma_ops(struct device *dev ) 
 3426{ long tmp ;
 3427  struct device *__cil_tmp3 ;
 3428  unsigned long __cil_tmp4 ;
 3429  unsigned long __cil_tmp5 ;
 3430  int __cil_tmp6 ;
 3431  long __cil_tmp7 ;
 3432  struct dma_map_ops *__cil_tmp8 ;
 3433  unsigned long __cil_tmp9 ;
 3434  unsigned long __cil_tmp10 ;
 3435  unsigned long __cil_tmp11 ;
 3436  unsigned long __cil_tmp12 ;
 3437  struct dma_map_ops *__cil_tmp13 ;
 3438  unsigned long __cil_tmp14 ;
 3439  unsigned long __cil_tmp15 ;
 3440  unsigned long __cil_tmp16 ;
 3441  unsigned long __cil_tmp17 ;
 3442
 3443  {
 3444  {
 3445#line 36
 3446  __cil_tmp3 = (struct device *)0;
 3447#line 36
 3448  __cil_tmp4 = (unsigned long )__cil_tmp3;
 3449#line 36
 3450  __cil_tmp5 = (unsigned long )dev;
 3451#line 36
 3452  __cil_tmp6 = __cil_tmp5 == __cil_tmp4;
 3453#line 36
 3454  __cil_tmp7 = (long )__cil_tmp6;
 3455#line 36
 3456  tmp = __builtin_expect(__cil_tmp7, 0L);
 3457  }
 3458#line 36
 3459  if (tmp != 0L) {
 3460#line 37
 3461    return (dma_ops);
 3462  } else {
 3463    {
 3464#line 36
 3465    __cil_tmp8 = (struct dma_map_ops *)0;
 3466#line 36
 3467    __cil_tmp9 = (unsigned long )__cil_tmp8;
 3468#line 36
 3469    __cil_tmp10 = 968 + 8;
 3470#line 36
 3471    __cil_tmp11 = (unsigned long )dev;
 3472#line 36
 3473    __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
 3474#line 36
 3475    __cil_tmp13 = *((struct dma_map_ops **)__cil_tmp12);
 3476#line 36
 3477    __cil_tmp14 = (unsigned long )__cil_tmp13;
 3478#line 36
 3479    if (__cil_tmp14 == __cil_tmp9) {
 3480#line 37
 3481      return (dma_ops);
 3482    } else {
 3483      {
 3484#line 39
 3485      __cil_tmp15 = 968 + 8;
 3486#line 39
 3487      __cil_tmp16 = (unsigned long )dev;
 3488#line 39
 3489      __cil_tmp17 = __cil_tmp16 + __cil_tmp15;
 3490#line 39
 3491      return (*((struct dma_map_ops **)__cil_tmp17));
 3492      }
 3493    }
 3494    }
 3495  }
 3496}
 3497}
 3498#line 10 "include/asm-generic/dma-mapping-common.h"
 3499__inline static dma_addr_t dma_map_single_attrs(struct device *dev , void *ptr , size_t size ,
 3500                                                enum dma_data_direction dir , struct dma_attrs *attrs ) 
 3501{ struct dma_map_ops *ops ;
 3502  struct dma_map_ops *tmp ;
 3503  dma_addr_t addr ;
 3504  int tmp___0 ;
 3505  long tmp___1 ;
 3506  unsigned long tmp___2 ;
 3507  unsigned long tmp___3 ;
 3508  unsigned int __cil_tmp13 ;
 3509  int __cil_tmp14 ;
 3510  int __cil_tmp15 ;
 3511  long __cil_tmp16 ;
 3512  unsigned long __cil_tmp17 ;
 3513  unsigned long __cil_tmp18 ;
 3514  unsigned long __cil_tmp19 ;
 3515  dma_addr_t (*__cil_tmp20)(struct device * , struct page * , unsigned long  , size_t  ,
 3516                            enum dma_data_direction  , struct dma_attrs * ) ;
 3517  unsigned long __cil_tmp21 ;
 3518  unsigned long __cil_tmp22 ;
 3519  struct page *__cil_tmp23 ;
 3520  unsigned long __cil_tmp24 ;
 3521  unsigned long __cil_tmp25 ;
 3522  unsigned long __cil_tmp26 ;
 3523  unsigned long __cil_tmp27 ;
 3524  unsigned long __cil_tmp28 ;
 3525  struct page *__cil_tmp29 ;
 3526  unsigned long __cil_tmp30 ;
 3527  unsigned long __cil_tmp31 ;
 3528  int __cil_tmp32 ;
 3529  bool __cil_tmp33 ;
 3530
 3531  {
 3532  {
 3533#line 15
 3534  tmp = get_dma_ops(dev);
 3535#line 15
 3536  ops = tmp;
 3537#line 18
 3538  __cil_tmp13 = (unsigned int )size;
 3539#line 18
 3540  kmemcheck_mark_initialized(ptr, __cil_tmp13);
 3541#line 19
 3542  __cil_tmp14 = (int )dir;
 3543#line 19
 3544  tmp___0 = valid_dma_direction(__cil_tmp14);
 3545#line 19
 3546  __cil_tmp15 = tmp___0 == 0;
 3547#line 19
 3548  __cil_tmp16 = (long )__cil_tmp15;
 3549#line 19
 3550  tmp___1 = __builtin_expect(__cil_tmp16, 0L);
 3551  }
 3552#line 19
 3553  if (tmp___1 != 0L) {
 3554#line 19
 3555    __asm__  volatile   ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"),
 3556                         "i" (19), "i" (12UL));
 3557    ldv_19351: ;
 3558#line 19
 3559    goto ldv_19351;
 3560  } else {
 3561
 3562  }
 3563  {
 3564#line 20
 3565  __cil_tmp17 = (unsigned long )ptr;
 3566#line 20
 3567  tmp___2 = __phys_addr(__cil_tmp17);
 3568#line 20
 3569  __cil_tmp18 = (unsigned long )ops;
 3570#line 20
 3571  __cil_tmp19 = __cil_tmp18 + 24;
 3572#line 20
 3573  __cil_tmp20 = *((dma_addr_t (**)(struct device * , struct page * , unsigned long  ,
 3574                                   size_t  , enum dma_data_direction  , struct dma_attrs * ))__cil_tmp19);
 3575#line 20
 3576  __cil_tmp21 = tmp___2 >> 12;
 3577#line 20
 3578  __cil_tmp22 = 0xffffea0000000000UL + __cil_tmp21;
 3579#line 20
 3580  __cil_tmp23 = (struct page *)__cil_tmp22;
 3581#line 20
 3582  __cil_tmp24 = (unsigned long )ptr;
 3583#line 20
 3584  __cil_tmp25 = __cil_tmp24 & 4095UL;
 3585#line 20
 3586  addr = (*__cil_tmp20)(dev, __cil_tmp23, __cil_tmp25, size, dir, attrs);
 3587#line 23
 3588  __cil_tmp26 = (unsigned long )ptr;
 3589#line 23
 3590  tmp___3 = __phys_addr(__cil_tmp26);
 3591#line 23
 3592  __cil_tmp27 = tmp___3 >> 12;
 3593#line 23
 3594  __cil_tmp28 = 0xffffea0000000000UL + __cil_tmp27;
 3595#line 23
 3596  __cil_tmp29 = (struct page *)__cil_tmp28;
 3597#line 23
 3598  __cil_tmp30 = (unsigned long )ptr;
 3599#line 23
 3600  __cil_tmp31 = __cil_tmp30 & 4095UL;
 3601#line 23
 3602  __cil_tmp32 = (int )dir;
 3603#line 23
 3604  __cil_tmp33 = (bool )1;
 3605#line 23
 3606  debug_dma_map_page(dev, __cil_tmp29, __cil_tmp31, size, __cil_tmp32, addr, __cil_tmp33);
 3607  }
 3608#line 26
 3609  return (addr);
 3610}
 3611}
 3612#line 29 "include/asm-generic/dma-mapping-common.h"
 3613__inline static void dma_unmap_single_attrs(struct device *dev , dma_addr_t addr ,
 3614                                            size_t size , enum dma_data_direction dir ,
 3615                                            struct dma_attrs *attrs ) 
 3616{ struct dma_map_ops *ops ;
 3617  struct dma_map_ops *tmp ;
 3618  int tmp___0 ;
 3619  long tmp___1 ;
 3620  int __cil_tmp10 ;
 3621  int __cil_tmp11 ;
 3622  long __cil_tmp12 ;
 3623  void (*__cil_tmp13)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 3624                      struct dma_attrs * ) ;
 3625  unsigned long __cil_tmp14 ;
 3626  unsigned long __cil_tmp15 ;
 3627  unsigned long __cil_tmp16 ;
 3628  void (*__cil_tmp17)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 3629                      struct dma_attrs * ) ;
 3630  unsigned long __cil_tmp18 ;
 3631  unsigned long __cil_tmp19 ;
 3632  unsigned long __cil_tmp20 ;
 3633  void (*__cil_tmp21)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 3634                      struct dma_attrs * ) ;
 3635  int __cil_tmp22 ;
 3636  bool __cil_tmp23 ;
 3637
 3638  {
 3639  {
 3640#line 34
 3641  tmp = get_dma_ops(dev);
 3642#line 34
 3643  ops = tmp;
 3644#line 36
 3645  __cil_tmp10 = (int )dir;
 3646#line 36
 3647  tmp___0 = valid_dma_direction(__cil_tmp10);
 3648#line 36
 3649  __cil_tmp11 = tmp___0 == 0;
 3650#line 36
 3651  __cil_tmp12 = (long )__cil_tmp11;
 3652#line 36
 3653  tmp___1 = __builtin_expect(__cil_tmp12, 0L);
 3654  }
 3655#line 36
 3656  if (tmp___1 != 0L) {
 3657#line 36
 3658    __asm__  volatile   ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"),
 3659                         "i" (36), "i" (12UL));
 3660    ldv_19360: ;
 3661#line 36
 3662    goto ldv_19360;
 3663  } else {
 3664
 3665  }
 3666  {
 3667#line 37
 3668  __cil_tmp13 = (void (*)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 3669                          struct dma_attrs * ))0;
 3670#line 37
 3671  __cil_tmp14 = (unsigned long )__cil_tmp13;
 3672#line 37
 3673  __cil_tmp15 = (unsigned long )ops;
 3674#line 37
 3675  __cil_tmp16 = __cil_tmp15 + 32;
 3676#line 37
 3677  __cil_tmp17 = *((void (**)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 3678                             struct dma_attrs * ))__cil_tmp16);
 3679#line 37
 3680  __cil_tmp18 = (unsigned long )__cil_tmp17;
 3681#line 37
 3682  if (__cil_tmp18 != __cil_tmp14) {
 3683    {
 3684#line 38
 3685    __cil_tmp19 = (unsigned long )ops;
 3686#line 38
 3687    __cil_tmp20 = __cil_tmp19 + 32;
 3688#line 38
 3689    __cil_tmp21 = *((void (**)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 3690                               struct dma_attrs * ))__cil_tmp20);
 3691#line 38
 3692    (*__cil_tmp21)(dev, addr, size, dir, attrs);
 3693    }
 3694  } else {
 3695
 3696  }
 3697  }
 3698  {
 3699#line 39
 3700  __cil_tmp22 = (int )dir;
 3701#line 39
 3702  __cil_tmp23 = (bool )1;
 3703#line 39
 3704  debug_dma_unmap_page(dev, addr, size, __cil_tmp22, __cil_tmp23);
 3705  }
 3706#line 40
 3707  return;
 3708}
 3709}
 3710#line 97 "include/asm-generic/dma-mapping-common.h"
 3711__inline static void dma_sync_single_for_cpu(struct device *dev , dma_addr_t addr ,
 3712                                             size_t size , enum dma_data_direction dir ) 
 3713{ struct dma_map_ops *ops ;
 3714  struct dma_map_ops *tmp ;
 3715  int tmp___0 ;
 3716  long tmp___1 ;
 3717  int __cil_tmp9 ;
 3718  int __cil_tmp10 ;
 3719  long __cil_tmp11 ;
 3720  void (*__cil_tmp12)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 3721  unsigned long __cil_tmp13 ;
 3722  unsigned long __cil_tmp14 ;
 3723  unsigned long __cil_tmp15 ;
 3724  void (*__cil_tmp16)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 3725  unsigned long __cil_tmp17 ;
 3726  unsigned long __cil_tmp18 ;
 3727  unsigned long __cil_tmp19 ;
 3728  void (*__cil_tmp20)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 3729  int __cil_tmp21 ;
 3730
 3731  {
 3732  {
 3733#line 101
 3734  tmp = get_dma_ops(dev);
 3735#line 101
 3736  ops = tmp;
 3737#line 103
 3738  __cil_tmp9 = (int )dir;
 3739#line 103
 3740  tmp___0 = valid_dma_direction(__cil_tmp9);
 3741#line 103
 3742  __cil_tmp10 = tmp___0 == 0;
 3743#line 103
 3744  __cil_tmp11 = (long )__cil_tmp10;
 3745#line 103
 3746  tmp___1 = __builtin_expect(__cil_tmp11, 0L);
 3747  }
 3748#line 103
 3749  if (tmp___1 != 0L) {
 3750#line 103
 3751    __asm__  volatile   ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"),
 3752                         "i" (103), "i" (12UL));
 3753    ldv_19410: ;
 3754#line 103
 3755    goto ldv_19410;
 3756  } else {
 3757
 3758  }
 3759  {
 3760#line 104
 3761  __cil_tmp12 = (void (*)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ))0;
 3762#line 104
 3763  __cil_tmp13 = (unsigned long )__cil_tmp12;
 3764#line 104
 3765  __cil_tmp14 = (unsigned long )ops;
 3766#line 104
 3767  __cil_tmp15 = __cil_tmp14 + 56;
 3768#line 104
 3769  __cil_tmp16 = *((void (**)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ))__cil_tmp15);
 3770#line 104
 3771  __cil_tmp17 = (unsigned long )__cil_tmp16;
 3772#line 104
 3773  if (__cil_tmp17 != __cil_tmp13) {
 3774    {
 3775#line 105
 3776    __cil_tmp18 = (unsigned long )ops;
 3777#line 105
 3778    __cil_tmp19 = __cil_tmp18 + 56;
 3779#line 105
 3780    __cil_tmp20 = *((void (**)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ))__cil_tmp19);
 3781#line 105
 3782    (*__cil_tmp20)(dev, addr, size, dir);
 3783    }
 3784  } else {
 3785
 3786  }
 3787  }
 3788  {
 3789#line 106
 3790  __cil_tmp21 = (int )dir;
 3791#line 106
 3792  debug_dma_sync_single_for_cpu(dev, addr, size, __cil_tmp21);
 3793  }
 3794#line 107
 3795  return;
 3796}
 3797}
 3798#line 109 "include/asm-generic/dma-mapping-common.h"
 3799__inline static void dma_sync_single_for_device(struct device *dev , dma_addr_t addr ,
 3800                                                size_t size , enum dma_data_direction dir ) 
 3801{ struct dma_map_ops *ops ;
 3802  struct dma_map_ops *tmp ;
 3803  int tmp___0 ;
 3804  long tmp___1 ;
 3805  int __cil_tmp9 ;
 3806  int __cil_tmp10 ;
 3807  long __cil_tmp11 ;
 3808  void (*__cil_tmp12)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 3809  unsigned long __cil_tmp13 ;
 3810  unsigned long __cil_tmp14 ;
 3811  unsigned long __cil_tmp15 ;
 3812  void (*__cil_tmp16)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 3813  unsigned long __cil_tmp17 ;
 3814  unsigned long __cil_tmp18 ;
 3815  unsigned long __cil_tmp19 ;
 3816  void (*__cil_tmp20)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 3817  int __cil_tmp21 ;
 3818
 3819  {
 3820  {
 3821#line 113
 3822  tmp = get_dma_ops(dev);
 3823#line 113
 3824  ops = tmp;
 3825#line 115
 3826  __cil_tmp9 = (int )dir;
 3827#line 115
 3828  tmp___0 = valid_dma_direction(__cil_tmp9);
 3829#line 115
 3830  __cil_tmp10 = tmp___0 == 0;
 3831#line 115
 3832  __cil_tmp11 = (long )__cil_tmp10;
 3833#line 115
 3834  tmp___1 = __builtin_expect(__cil_tmp11, 0L);
 3835  }
 3836#line 115
 3837  if (tmp___1 != 0L) {
 3838#line 115
 3839    __asm__  volatile   ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"include/asm-generic/dma-mapping-common.h"),
 3840                         "i" (115), "i" (12UL));
 3841    ldv_19418: ;
 3842#line 115
 3843    goto ldv_19418;
 3844  } else {
 3845
 3846  }
 3847  {
 3848#line 116
 3849  __cil_tmp12 = (void (*)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ))0;
 3850#line 116
 3851  __cil_tmp13 = (unsigned long )__cil_tmp12;
 3852#line 116
 3853  __cil_tmp14 = (unsigned long )ops;
 3854#line 116
 3855  __cil_tmp15 = __cil_tmp14 + 64;
 3856#line 116
 3857  __cil_tmp16 = *((void (**)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ))__cil_tmp15);
 3858#line 116
 3859  __cil_tmp17 = (unsigned long )__cil_tmp16;
 3860#line 116
 3861  if (__cil_tmp17 != __cil_tmp13) {
 3862    {
 3863#line 117
 3864    __cil_tmp18 = (unsigned long )ops;
 3865#line 117
 3866    __cil_tmp19 = __cil_tmp18 + 64;
 3867#line 117
 3868    __cil_tmp20 = *((void (**)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ))__cil_tmp19);
 3869#line 117
 3870    (*__cil_tmp20)(dev, addr, size, dir);
 3871    }
 3872  } else {
 3873
 3874  }
 3875  }
 3876  {
 3877#line 118
 3878  __cil_tmp21 = (int )dir;
 3879#line 118
 3880  debug_dma_sync_single_for_device(dev, addr, size, __cil_tmp21);
 3881  }
 3882#line 119
 3883  return;
 3884}
 3885}
 3886#line 90 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h"
 3887__inline static unsigned long dma_alloc_coherent_mask(struct device *dev , gfp_t gfp ) 
 3888{ unsigned long dma_mask ;
 3889  unsigned long __cil_tmp4 ;
 3890  unsigned long __cil_tmp5 ;
 3891  u64 __cil_tmp6 ;
 3892  int __cil_tmp7 ;
 3893
 3894  {
 3895#line 93
 3896  dma_mask = 0UL;
 3897#line 95
 3898  __cil_tmp4 = (unsigned long )dev;
 3899#line 95
 3900  __cil_tmp5 = __cil_tmp4 + 928;
 3901#line 95
 3902  __cil_tmp6 = *((u64 *)__cil_tmp5);
 3903#line 95
 3904  dma_mask = (unsigned long )__cil_tmp6;
 3905#line 96
 3906  if (dma_mask == 0UL) {
 3907    {
 3908#line 97
 3909    __cil_tmp7 = (int )gfp;
 3910#line 97
 3911    if (__cil_tmp7 & 1) {
 3912#line 97
 3913      dma_mask = 16777215UL;
 3914    } else {
 3915#line 97
 3916      dma_mask = 4294967295UL;
 3917    }
 3918    }
 3919  } else {
 3920
 3921  }
 3922#line 99
 3923  return (dma_mask);
 3924}
 3925}
 3926#line 102 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h"
 3927__inline static gfp_t dma_alloc_coherent_gfp_flags(struct device *dev , gfp_t gfp ) 
 3928{ unsigned long dma_mask ;
 3929  unsigned long tmp ;
 3930  unsigned long long __cil_tmp5 ;
 3931  unsigned long long __cil_tmp6 ;
 3932  unsigned int __cil_tmp7 ;
 3933
 3934  {
 3935  {
 3936#line 104
 3937  tmp = dma_alloc_coherent_mask(dev, gfp);
 3938#line 104
 3939  dma_mask = tmp;
 3940  }
 3941  {
 3942#line 106
 3943  __cil_tmp5 = (unsigned long long )dma_mask;
 3944#line 106
 3945  if (__cil_tmp5 <= 16777215ULL) {
 3946#line 107
 3947    gfp = gfp | 1U;
 3948  } else {
 3949
 3950  }
 3951  }
 3952  {
 3953#line 109
 3954  __cil_tmp6 = (unsigned long long )dma_mask;
 3955#line 109
 3956  if (__cil_tmp6 <= 4294967295ULL) {
 3957    {
 3958#line 109
 3959    __cil_tmp7 = gfp & 1U;
 3960#line 109
 3961    if (__cil_tmp7 == 0U) {
 3962#line 110
 3963      gfp = gfp | 4U;
 3964    } else {
 3965
 3966    }
 3967    }
 3968  } else {
 3969
 3970  }
 3971  }
 3972#line 112
 3973  return (gfp);
 3974}
 3975}
 3976#line 118 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h"
 3977__inline static void *dma_alloc_attrs(struct device *dev , size_t size , dma_addr_t *dma_handle ,
 3978                                      gfp_t gfp , struct dma_attrs *attrs ) 
 3979{ struct dma_map_ops *ops ;
 3980  struct dma_map_ops *tmp ;
 3981  void *memory ;
 3982  int tmp___0 ;
 3983  gfp_t tmp___1 ;
 3984  struct device *__cil_tmp11 ;
 3985  unsigned long __cil_tmp12 ;
 3986  unsigned long __cil_tmp13 ;
 3987  void *(*__cil_tmp14)(struct device * , size_t  , dma_addr_t * , gfp_t  , struct dma_attrs * ) ;
 3988  unsigned long __cil_tmp15 ;
 3989  void *(*__cil_tmp16)(struct device * , size_t  , dma_addr_t * , gfp_t  , struct dma_attrs * ) ;
 3990  unsigned long __cil_tmp17 ;
 3991  void *(*__cil_tmp18)(struct device * , size_t  , dma_addr_t * , gfp_t  , struct dma_attrs * ) ;
 3992  dma_addr_t __cil_tmp19 ;
 3993
 3994  {
 3995  {
 3996#line 121
 3997  tmp = get_dma_ops(dev);
 3998#line 121
 3999  ops = tmp;
 4000#line 124
 4001  gfp = gfp & 4294967288U;
 4002  }
 4003  {
 4004#line 129
 4005  __cil_tmp11 = (struct device *)0;
 4006#line 129
 4007  __cil_tmp12 = (unsigned long )__cil_tmp11;
 4008#line 129
 4009  __cil_tmp13 = (unsigned long )dev;
 4010#line 129
 4011  if (__cil_tmp13 == __cil_tmp12) {
 4012#line 130
 4013    dev = & x86_dma_fallback_dev;
 4014  } else {
 4015
 4016  }
 4017  }
 4018  {
 4019#line 132
 4020  tmp___0 = is_device_dma_capable(dev);
 4021  }
 4022#line 132
 4023  if (tmp___0 == 0) {
 4024#line 133
 4025    return ((void *)0);
 4026  } else {
 4027
 4028  }
 4029  {
 4030#line 135
 4031  __cil_tmp14 = (void *(*)(struct device * , size_t  , dma_addr_t * , gfp_t  , struct dma_attrs * ))0;
 4032#line 135
 4033  __cil_tmp15 = (unsigned long )__cil_tmp14;
 4034#line 135
 4035  __cil_tmp16 = *((void *(**)(struct device * , size_t  , dma_addr_t * , gfp_t  ,
 4036                              struct dma_attrs * ))ops);
 4037#line 135
 4038  __cil_tmp17 = (unsigned long )__cil_tmp16;
 4039#line 135
 4040  if (__cil_tmp17 == __cil_tmp15) {
 4041#line 136
 4042    return ((void *)0);
 4043  } else {
 4044
 4045  }
 4046  }
 4047  {
 4048#line 138
 4049  tmp___1 = dma_alloc_coherent_gfp_flags(dev, gfp);
 4050#line 138
 4051  __cil_tmp18 = *((void *(**)(struct device * , size_t  , dma_addr_t * , gfp_t  ,
 4052                              struct dma_attrs * ))ops);
 4053#line 138
 4054  memory = (*__cil_tmp18)(dev, size, dma_handle, tmp___1, attrs);
 4055#line 140
 4056  __cil_tmp19 = *dma_handle;
 4057#line 140
 4058  debug_dma_alloc_coherent(dev, size, __cil_tmp19, memory);
 4059  }
 4060#line 142
 4061  return (memory);
 4062}
 4063}
 4064#line 147 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h"
 4065__inline static void dma_free_attrs(struct device *dev , size_t size , void *vaddr ,
 4066                                    dma_addr_t bus , struct dma_attrs *attrs ) 
 4067{ struct dma_map_ops *ops ;
 4068  struct dma_map_ops *tmp ;
 4069  int __ret_warn_on ;
 4070  unsigned long _flags ;
 4071  int tmp___0 ;
 4072  long tmp___1 ;
 4073  int __cil_tmp16 ;
 4074  long __cil_tmp17 ;
 4075  int    __cil_tmp18 ;
 4076  int __cil_tmp19 ;
 4077  long __cil_tmp20 ;
 4078  void (*__cil_tmp21)(struct device * , size_t  , void * , dma_addr_t  , struct dma_attrs * ) ;
 4079  unsigned long __cil_tmp22 ;
 4080  unsigned long __cil_tmp23 ;
 4081  unsigned long __cil_tmp24 ;
 4082  void (*__cil_tmp25)(struct device * , size_t  , void * , dma_addr_t  , struct dma_attrs * ) ;
 4083  unsigned long __cil_tmp26 ;
 4084  unsigned long __cil_tmp27 ;
 4085  unsigned long __cil_tmp28 ;
 4086  void (*__cil_tmp29)(struct device * , size_t  , void * , dma_addr_t  , struct dma_attrs * ) ;
 4087
 4088  {
 4089  {
 4090#line 151
 4091  tmp = get_dma_ops(dev);
 4092#line 151
 4093  ops = tmp;
 4094#line 153
 4095  _flags = arch_local_save_flags();
 4096#line 153
 4097  tmp___0 = arch_irqs_disabled_flags(_flags);
 4098#line 153
 4099  __ret_warn_on = tmp___0 != 0;
 4100#line 153
 4101  __cil_tmp16 = __ret_warn_on != 0;
 4102#line 153
 4103  __cil_tmp17 = (long )__cil_tmp16;
 4104#line 153
 4105  tmp___1 = __builtin_expect(__cil_tmp17, 0L);
 4106  }
 4107#line 153
 4108  if (tmp___1 != 0L) {
 4109    {
 4110#line 153
 4111    __cil_tmp18 = (int    )153;
 4112#line 153
 4113    warn_slowpath_null("/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/dma-mapping.h",
 4114                       __cil_tmp18);
 4115    }
 4116  } else {
 4117
 4118  }
 4119  {
 4120#line 153
 4121  __cil_tmp19 = __ret_warn_on != 0;
 4122#line 153
 4123  __cil_tmp20 = (long )__cil_tmp19;
 4124#line 153
 4125  __builtin_expect(__cil_tmp20, 0L);
 4126#line 158
 4127  debug_dma_free_coherent(dev, size, vaddr, bus);
 4128  }
 4129  {
 4130#line 159
 4131  __cil_tmp21 = (void (*)(struct device * , size_t  , void * , dma_addr_t  , struct dma_attrs * ))0;
 4132#line 159
 4133  __cil_tmp22 = (unsigned long )__cil_tmp21;
 4134#line 159
 4135  __cil_tmp23 = (unsigned long )ops;
 4136#line 159
 4137  __cil_tmp24 = __cil_tmp23 + 8;
 4138#line 159
 4139  __cil_tmp25 = *((void (**)(struct device * , size_t  , void * , dma_addr_t  , struct dma_attrs * ))__cil_tmp24);
 4140#line 159
 4141  __cil_tmp26 = (unsigned long )__cil_tmp25;
 4142#line 159
 4143  if (__cil_tmp26 != __cil_tmp22) {
 4144    {
 4145#line 160
 4146    __cil_tmp27 = (unsigned long )ops;
 4147#line 160
 4148    __cil_tmp28 = __cil_tmp27 + 8;
 4149#line 160
 4150    __cil_tmp29 = *((void (**)(struct device * , size_t  , void * , dma_addr_t  ,
 4151                               struct dma_attrs * ))__cil_tmp28);
 4152#line 160
 4153    (*__cil_tmp29)(dev, size, vaddr, bus, attrs);
 4154    }
 4155  } else {
 4156
 4157  }
 4158  }
 4159#line 161
 4160  return;
 4161}
 4162}
 4163#line 10 "include/asm-generic/delay.h"
 4164extern void ___udelay(unsigned long  ) ;
 4165#line 127 "include/linux/interrupt.h"
 4166extern int request_threaded_irq(unsigned int  , irqreturn_t (*)(int  , void * ) ,
 4167                                irqreturn_t (*)(int  , void * ) , unsigned long  ,
 4168                                char    * , void * ) ;
 4169#line 132 "include/linux/interrupt.h"
 4170__inline static int request_irq(unsigned int irq , irqreturn_t (*handler)(int  , void * ) ,
 4171                                unsigned long flags , char    *name , void *dev ) 
 4172{ int tmp ;
 4173  irqreturn_t (*__cil_tmp7)(int  , void * ) ;
 4174
 4175  {
 4176  {
 4177#line 135
 4178  __cil_tmp7 = (irqreturn_t (*)(int  , void * ))0;
 4179#line 135
 4180  tmp = request_threaded_irq(irq, handler, __cil_tmp7, flags, name, dev);
 4181  }
 4182#line 135
 4183  return (tmp);
 4184}
 4185}
 4186#line 184
 4187extern void free_irq(unsigned int  , void * ) ;
 4188#line 590 "include/linux/usb/ch9.h"
 4189__inline static int usb_endpoint_maxp(struct usb_endpoint_descriptor    *epd ) 
 4190{ unsigned long __cil_tmp2 ;
 4191  unsigned long __cil_tmp3 ;
 4192  __le16    __cil_tmp4 ;
 4193
 4194  {
 4195  {
 4196#line 592
 4197  __cil_tmp2 = (unsigned long )epd;
 4198#line 592
 4199  __cil_tmp3 = __cil_tmp2 + 4;
 4200#line 592
 4201  __cil_tmp4 = *((__le16    *)__cil_tmp3);
 4202#line 592
 4203  return ((int )__cil_tmp4);
 4204  }
 4205}
 4206}
 4207#line 890 "include/linux/usb/gadget.h"
 4208extern int usb_add_gadget_udc(struct device * , struct usb_gadget * ) ;
 4209#line 175 "include/linux/usb/otg.h"
 4210extern struct usb_phy *usb_get_transceiver(void) ;
 4211#line 228 "include/linux/usb/otg.h"
 4212__inline static int otg_set_peripheral(struct usb_otg *otg , struct usb_gadget *periph ) 
 4213{ int tmp ;
 4214  struct usb_otg *__cil_tmp4 ;
 4215  unsigned long __cil_tmp5 ;
 4216  unsigned long __cil_tmp6 ;
 4217  int (*__cil_tmp7)(struct usb_otg * , struct usb_gadget * ) ;
 4218  unsigned long __cil_tmp8 ;
 4219  unsigned long __cil_tmp9 ;
 4220  unsigned long __cil_tmp10 ;
 4221  int (*__cil_tmp11)(struct usb_otg * , struct usb_gadget * ) ;
 4222  unsigned long __cil_tmp12 ;
 4223  unsigned long __cil_tmp13 ;
 4224  unsigned long __cil_tmp14 ;
 4225  int (*__cil_tmp15)(struct usb_otg * , struct usb_gadget * ) ;
 4226
 4227  {
 4228  {
 4229#line 230
 4230  __cil_tmp4 = (struct usb_otg *)0;
 4231#line 230
 4232  __cil_tmp5 = (unsigned long )__cil_tmp4;
 4233#line 230
 4234  __cil_tmp6 = (unsigned long )otg;
 4235#line 230
 4236  if (__cil_tmp6 != __cil_tmp5) {
 4237    {
 4238#line 230
 4239    __cil_tmp7 = (int (*)(struct usb_otg * , struct usb_gadget * ))0;
 4240#line 230
 4241    __cil_tmp8 = (unsigned long )__cil_tmp7;
 4242#line 230
 4243    __cil_tmp9 = (unsigned long )otg;
 4244#line 230
 4245    __cil_tmp10 = __cil_tmp9 + 40;
 4246#line 230
 4247    __cil_tmp11 = *((int (**)(struct usb_otg * , struct usb_gadget * ))__cil_tmp10);
 4248#line 230
 4249    __cil_tmp12 = (unsigned long )__cil_tmp11;
 4250#line 230
 4251    if (__cil_tmp12 != __cil_tmp8) {
 4252      {
 4253#line 231
 4254      __cil_tmp13 = (unsigned long )otg;
 4255#line 231
 4256      __cil_tmp14 = __cil_tmp13 + 40;
 4257#line 231
 4258      __cil_tmp15 = *((int (**)(struct usb_otg * , struct usb_gadget * ))__cil_tmp14);
 4259#line 231
 4260      tmp = (*__cil_tmp15)(otg, periph);
 4261      }
 4262#line 231
 4263      return (tmp);
 4264    } else {
 4265
 4266    }
 4267    }
 4268  } else {
 4269
 4270  }
 4271  }
 4272#line 233
 4273  return (-524);
 4274}
 4275}
 4276#line 46 "include/linux/platform_device.h"
 4277extern struct resource *platform_get_resource(struct platform_device * , unsigned int  ,
 4278                                              unsigned int  ) ;
 4279#line 48
 4280extern struct resource *platform_get_resource_byname(struct platform_device * , unsigned int  ,
 4281                                                     char    * ) ;
 4282#line 74 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4283static struct completion release_done  =    {0U, {{{{{{0U}}, 3735899821U, 4294967295U, (void *)0xffffffffffffffffUL, {(struct lock_class_key *)0,
 4284                                                                             {(struct lock_class *)0,
 4285                                                                              (struct lock_class *)0},
 4286                                                                             "(release_done).wait.lock",
 4287                                                                             0, 0UL}}}},
 4288         {& release_done.wait.task_list, & release_done.wait.task_list}}};
 4289#line 76 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4290static char    driver_name[7U]  = {      (char    )'m',      (char const   )'v',      (char const   )'_',      (char const   )'u', 
 4291        (char    )'d',      (char    )'c',      (char const   )'\000'};
 4292#line 80 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4293static struct mv_udc *the_controller  ;
 4294#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4295int mv_usb_otgsc  ;
 4296#line 83
 4297static void nuke(struct mv_ep *ep , int status ) ;
 4298#line 84
 4299static void stop_activity(struct mv_udc *udc , struct usb_gadget_driver *driver ) ;
 4300#line 87 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4301static struct usb_endpoint_descriptor    mv_ep0_desc  = 
 4302#line 87
 4303     {(__u8 )7U, (__u8 )5U, (__u8 )0U, (__u8 )0U, (__le16 )64U, (unsigned char)0, (unsigned char)0,
 4304    (unsigned char)0};
 4305#line 95 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4306static void ep0_reset(struct mv_udc *udc ) 
 4307{ struct mv_ep *ep ;
 4308  u32 epctrlx ;
 4309  int i ;
 4310  unsigned long __cil_tmp5 ;
 4311  unsigned long __cil_tmp6 ;
 4312  unsigned long __cil_tmp7 ;
 4313  struct mv_ep *__cil_tmp8 ;
 4314  unsigned long __cil_tmp9 ;
 4315  unsigned long __cil_tmp10 ;
 4316  unsigned long __cil_tmp11 ;
 4317  unsigned long __cil_tmp12 ;
 4318  unsigned long __cil_tmp13 ;
 4319  unsigned long __cil_tmp14 ;
 4320  unsigned long __cil_tmp15 ;
 4321  struct mv_dqh *__cil_tmp16 ;
 4322  unsigned long __cil_tmp17 ;
 4323  unsigned long __cil_tmp18 ;
 4324  struct mv_dqh *__cil_tmp19 ;
 4325  unsigned long __cil_tmp20 ;
 4326  unsigned long __cil_tmp21 ;
 4327  struct mv_dqh *__cil_tmp22 ;
 4328  unsigned long __cil_tmp23 ;
 4329  unsigned long __cil_tmp24 ;
 4330  unsigned long __cil_tmp25 ;
 4331  unsigned long __cil_tmp26 ;
 4332  struct mv_op_regs *__cil_tmp27 ;
 4333  unsigned long __cil_tmp28 ;
 4334  unsigned long __cil_tmp29 ;
 4335  u32 (*__cil_tmp30)[16U] ;
 4336  void  volatile   *__cil_tmp31 ;
 4337  unsigned long __cil_tmp32 ;
 4338  unsigned long __cil_tmp33 ;
 4339  struct mv_op_regs *__cil_tmp34 ;
 4340  unsigned long __cil_tmp35 ;
 4341  unsigned long __cil_tmp36 ;
 4342  u32 (*__cil_tmp37)[16U] ;
 4343  void volatile   *__cil_tmp38 ;
 4344
 4345  {
 4346#line 99
 4347  i = 0;
 4348#line 102
 4349  i = 0;
 4350#line 102
 4351  goto ldv_25358;
 4352  ldv_25357: 
 4353  {
 4354#line 103
 4355  __cil_tmp5 = (unsigned long )i;
 4356#line 103
 4357  __cil_tmp6 = (unsigned long )udc;
 4358#line 103
 4359  __cil_tmp7 = __cil_tmp6 + 1376;
 4360#line 103
 4361  __cil_tmp8 = *((struct mv_ep **)__cil_tmp7);
 4362#line 103
 4363  ep = __cil_tmp8 + __cil_tmp5;
 4364#line 104
 4365  __cil_tmp9 = (unsigned long )ep;
 4366#line 104
 4367  __cil_tmp10 = __cil_tmp9 + 64;
 4368#line 104
 4369  *((struct mv_udc **)__cil_tmp10) = udc;
 4370#line 107
 4371  __cil_tmp11 = (unsigned long )ep;
 4372#line 107
 4373  __cil_tmp12 = __cil_tmp11 + 88;
 4374#line 107
 4375  __cil_tmp13 = (unsigned long )i;
 4376#line 107
 4377  __cil_tmp14 = (unsigned long )udc;
 4378#line 107
 4379  __cil_tmp15 = __cil_tmp14 + 1344;
 4380#line 107
 4381  __cil_tmp16 = *((struct mv_dqh **)__cil_tmp15);
 4382#line 107
 4383  *((struct mv_dqh **)__cil_tmp12) = __cil_tmp16 + __cil_tmp13;
 4384#line 110
 4385  __cil_tmp17 = (unsigned long )ep;
 4386#line 110
 4387  __cil_tmp18 = __cil_tmp17 + 88;
 4388#line 110
 4389  __cil_tmp19 = *((struct mv_dqh **)__cil_tmp18);
 4390#line 110
 4391  *((u32 *)__cil_tmp19) = 4227072U;
 4392#line 114
 4393  __cil_tmp20 = (unsigned long )ep;
 4394#line 114
 4395  __cil_tmp21 = __cil_tmp20 + 88;
 4396#line 114
 4397  __cil_tmp22 = *((struct mv_dqh **)__cil_tmp21);
 4398#line 114
 4399  __cil_tmp23 = (unsigned long )__cil_tmp22;
 4400#line 114
 4401  __cil_tmp24 = __cil_tmp23 + 8;
 4402#line 114
 4403  *((u32 *)__cil_tmp24) = 1U;
 4404#line 116
 4405  __cil_tmp25 = (unsigned long )udc;
 4406#line 116
 4407  __cil_tmp26 = __cil_tmp25 + 1320;
 4408#line 116
 4409  __cil_tmp27 = *((struct mv_op_regs **)__cil_tmp26);
 4410#line 116
 4411  __cil_tmp28 = (unsigned long )__cil_tmp27;
 4412#line 116
 4413  __cil_tmp29 = __cil_tmp28 + 128;
 4414#line 116
 4415  __cil_tmp30 = (u32 (*)[16U])__cil_tmp29;
 4416#line 116
 4417  __cil_tmp31 = (void  volatile   *)__cil_tmp30;
 4418#line 116
 4419  epctrlx = readl(__cil_tmp31);
 4420  }
 4421#line 117
 4422  if (i != 0) {
 4423#line 118
 4424    epctrlx = epctrlx | 8388608U;
 4425  } else {
 4426#line 123
 4427    epctrlx = epctrlx | 128U;
 4428  }
 4429  {
 4430#line 128
 4431  __cil_tmp32 = (unsigned long )udc;
 4432#line 128
 4433  __cil_tmp33 = __cil_tmp32 + 1320;
 4434#line 128
 4435  __cil_tmp34 = *((struct mv_op_regs **)__cil_tmp33);
 4436#line 128
 4437  __cil_tmp35 = (unsigned long )__cil_tmp34;
 4438#line 128
 4439  __cil_tmp36 = __cil_tmp35 + 128;
 4440#line 128
 4441  __cil_tmp37 = (u32 (*)[16U])__cil_tmp36;
 4442#line 128
 4443  __cil_tmp38 = (void volatile   *)__cil_tmp37;
 4444#line 128
 4445  writel(epctrlx, __cil_tmp38);
 4446#line 102
 4447  i = i + 1;
 4448  }
 4449  ldv_25358: ;
 4450#line 102
 4451  if (i <= 1) {
 4452#line 103
 4453    goto ldv_25357;
 4454  } else {
 4455#line 105
 4456    goto ldv_25359;
 4457  }
 4458  ldv_25359: ;
 4459#line 107
 4460  return;
 4461}
 4462}
 4463#line 133 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4464static void ep0_stall(struct mv_udc *udc ) 
 4465{ u32 epctrlx ;
 4466  unsigned long __cil_tmp3 ;
 4467  unsigned long __cil_tmp4 ;
 4468  struct mv_op_regs *__cil_tmp5 ;
 4469  unsigned long __cil_tmp6 ;
 4470  unsigned long __cil_tmp7 ;
 4471  u32 (*__cil_tmp8)[16U] ;
 4472  void  volatile   *__cil_tmp9 ;
 4473  unsigned long __cil_tmp10 ;
 4474  unsigned long __cil_tmp11 ;
 4475  struct mv_op_regs *__cil_tmp12 ;
 4476  unsigned long __cil_tmp13 ;
 4477  unsigned long __cil_tmp14 ;
 4478  u32 (*__cil_tmp15)[16U] ;
 4479  void volatile   *__cil_tmp16 ;
 4480  unsigned long __cil_tmp17 ;
 4481  unsigned long __cil_tmp18 ;
 4482  unsigned long __cil_tmp19 ;
 4483  unsigned long __cil_tmp20 ;
 4484
 4485  {
 4486  {
 4487#line 138
 4488  __cil_tmp3 = (unsigned long )udc;
 4489#line 138
 4490  __cil_tmp4 = __cil_tmp3 + 1320;
 4491#line 138
 4492  __cil_tmp5 = *((struct mv_op_regs **)__cil_tmp4);
 4493#line 138
 4494  __cil_tmp6 = (unsigned long )__cil_tmp5;
 4495#line 138
 4496  __cil_tmp7 = __cil_tmp6 + 128;
 4497#line 138
 4498  __cil_tmp8 = (u32 (*)[16U])__cil_tmp7;
 4499#line 138
 4500  __cil_tmp9 = (void  volatile   *)__cil_tmp8;
 4501#line 138
 4502  epctrlx = readl(__cil_tmp9);
 4503#line 139
 4504  epctrlx = epctrlx | 65537U;
 4505#line 140
 4506  __cil_tmp10 = (unsigned long )udc;
 4507#line 140
 4508  __cil_tmp11 = __cil_tmp10 + 1320;
 4509#line 140
 4510  __cil_tmp12 = *((struct mv_op_regs **)__cil_tmp11);
 4511#line 140
 4512  __cil_tmp13 = (unsigned long )__cil_tmp12;
 4513#line 140
 4514  __cil_tmp14 = __cil_tmp13 + 128;
 4515#line 140
 4516  __cil_tmp15 = (u32 (*)[16U])__cil_tmp14;
 4517#line 140
 4518  __cil_tmp16 = (void volatile   *)__cil_tmp15;
 4519#line 140
 4520  writel(epctrlx, __cil_tmp16);
 4521#line 143
 4522  __cil_tmp17 = (unsigned long )udc;
 4523#line 143
 4524  __cil_tmp18 = __cil_tmp17 + 1432;
 4525#line 143
 4526  *((unsigned int *)__cil_tmp18) = 0U;
 4527#line 144
 4528  __cil_tmp19 = (unsigned long )udc;
 4529#line 144
 4530  __cil_tmp20 = __cil_tmp19 + 1436;
 4531#line 144
 4532  *((unsigned int *)__cil_tmp20) = 0U;
 4533  }
 4534#line 145
 4535  return;
 4536}
 4537}
 4538#line 147 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 4539static int process_ep_req(struct mv_udc *udc , int index , struct mv_req *curr_req ) 
 4540{ struct mv_dtd *curr_dtd ;
 4541  struct mv_dqh *curr_dqh ;
 4542  int td_complete ;
 4543  int actual ;
 4544  int remaining_length ;
 4545  int i ;
 4546  int direction ;
 4547  int retval ;
 4548  u32 errors ;
 4549  u32 bit_pos ;
 4550  struct _ddebug descriptor ;
 4551  long tmp ;
 4552  struct _ddebug descriptor___0 ;
 4553  long tmp___0 ;
 4554  char *tmp___1 ;
 4555  unsigned int tmp___2 ;
 4556  unsigned long __cil_tmp20 ;
 4557  unsigned long __cil_tmp21 ;
 4558  unsigned long __cil_tmp22 ;
 4559  struct mv_dqh *__cil_tmp23 ;
 4560  unsigned long __cil_tmp24 ;
 4561  unsigned long __cil_tmp25 ;
 4562  unsigned long __cil_tmp26 ;
 4563  unsigned long __cil_tmp27 ;
 4564  unsigned long __cil_tmp28 ;
 4565  unsigned int __cil_tmp29 ;
 4566  unsigned long __cil_tmp30 ;
 4567  unsigned long __cil_tmp31 ;
 4568  u32 __cil_tmp32 ;
 4569  unsigned int __cil_tmp33 ;
 4570  struct _ddebug *__cil_tmp34 ;
 4571  unsigned long __cil_tmp35 ;
 4572  unsigned long __cil_tmp36 ;
 4573  unsigned long __cil_tmp37 ;
 4574  unsigned long __cil_tmp38 ;
 4575  unsigned long __cil_tmp39 ;
 4576  unsigned long __cil_tmp40 ;
 4577  unsigned char __cil_tmp41 ;
 4578  long __cil_tmp42 ;
 4579  long __cil_tmp43 ;
 4580  unsigned long __cil_tmp44 ;
 4581  unsigned long __cil_tmp45 ;
 4582  struct platform_device *__cil_tmp46 ;
 4583  unsigned long __cil_tmp47 ;
 4584  unsigned long __cil_tmp48 ;
 4585  struct device *__cil_tmp49 ;
 4586  struct device    *__cil_tmp50 ;
 4587  unsigned long __cil_tmp51 ;
 4588  unsigned long __cil_tmp52 ;
 4589  unsigned long __cil_tmp53 ;
 4590  struct mv_ep *__cil_tmp54 ;
 4591  struct mv_ep *__cil_tmp55 ;
 4592  unsigned long __cil_tmp56 ;
 4593  unsigned long __cil_tmp57 ;
 4594  char (*__cil_tmp58)[14U] ;
 4595  char *__cil_tmp59 ;
 4596  unsigned long __cil_tmp60 ;
 4597  unsigned long __cil_tmp61 ;
 4598  u32 __cil_tmp62 ;
 4599  unsigned long __cil_tmp63 ;
 4600  unsigned long __cil_tmp64 ;
 4601  u32 __cil_tmp65 ;
 4602  unsigned int __cil_tmp66 ;
 4603  unsigned int __cil_tmp67 ;
 4604  struct _ddebug *__cil_tmp68 ;
 4605  unsigned long __cil_tmp69 ;
 4606  unsigned long __cil_tmp70 ;
 4607  unsigned long __cil_tmp71 ;
 4608  unsigned long __cil_tmp72 ;
 4609  unsigned long __cil_tmp73 ;
 4610  unsigned long __cil_tmp74 ;
 4611  unsigned char __cil_tmp75 ;
 4612  long __cil_tmp76 ;
 4613  long __cil_tmp77 ;
 4614  unsigned long __cil_tmp78 ;
 4615  unsigned long __cil_tmp79 ;
 4616  struct platform_device *__cil_tmp80 ;
 4617  unsigned long __cil_tmp81 ;
 4618  unsigned long __cil_tmp82 ;
 4619  struct device *__cil_tmp83 ;
 4620  struct device    *__cil_tmp84 ;
 4621  unsigned long __cil_tmp85 ;
 4622  unsigned long __cil_tmp86 ;
 4623  struct platform_device *__cil_tmp87 ;
 4624  unsigned long __cil_tmp88 ;
 4625  unsigned long __cil_tmp89 ;
 4626  struct device *__cil_tmp90 ;
 4627  struct device    *__cil_tmp91 ;
 4628  int __cil_tmp92 ;
 4629  unsigned int __cil_tmp93 ;
 4630  unsigned long __cil_tmp94 ;
 4631  unsigned long __cil_tmp95 ;
 4632  u32 __cil_tmp96 ;
 4633  unsigned long __cil_tmp97 ;
 4634  unsigned long __cil_tmp98 ;
 4635  u32 __cil_tmp99 ;
 4636  unsigned int __cil_tmp100 ;
 4637  unsigned int __cil_tmp101 ;
 4638  unsigned long __cil_tmp102 ;
 4639  unsigned long __cil_tmp103 ;
 4640  unsigned int __cil_tmp104 ;
 4641  unsigned int __cil_tmp105 ;
 4642  unsigned int __cil_tmp106 ;
 4643  unsigned long __cil_tmp107 ;
 4644  unsigned long __cil_tmp108 ;
 4645  unsigned long __cil_tmp109 ;
 4646  unsigned long __cil_tmp110 ;
 4647  unsigned int __cil_tmp111 ;
 4648  unsigned int __cil_tmp112 ;
 4649  unsigned long __cil_tmp113 ;
 4650  unsigned long __cil_tmp114 ;
 4651  struct mv_ep *__cil_tmp115 ;
 4652  unsigned long __cil_tmp116 ;
 4653  unsigned long __cil_tmp117 ;
 4654  unsigned char __cil_tmp118 ;
 4655  int __cil_tmp119 ;
 4656  int __cil_tmp120 ;
 4657  unsigned long __cil_tmp121 ;
 4658  unsigned long __cil_tmp122 ;
 4659  struct mv_ep *__cil_tmp123 ;
 4660  unsigned long __cil_tmp124 ;
 4661  unsigned long __cil_tmp125 ;
 4662  unsigned char __cil_tmp126 ;
 4663  int __cil_tmp127 ;
 4664  int __cil_tmp128 ;
 4665  int __cil_tmp129 ;
 4666  u32 __cil_tmp130 ;
 4667  unsigned long __cil_tmp131 ;
 4668  unsigned long __cil_tmp132 ;
 4669  struct mv_op_regs *__cil_tmp133 ;
 4670  unsigned long __cil_tmp134 ;
 4671  unsigned long __cil_tmp135 ;
 4672  u32 *__cil_tmp136 ;
 4673  void  volatile   *__cil_tmp137 ;
 4674  unsigned int __cil_tmp138 ;
 4675  unsigned long __cil_tmp139 ;
 4676  unsigned long __cil_tmp140 ;
 4677  dma_addr_t __cil_tmp141 ;
 4678  unsigned long __cil_tmp142 ;
 4679  unsigned long __cil_tmp143 ;
 4680  u32 __cil_tmp144 ;
 4681  dma_addr_t __cil_tmp145 ;
 4682  unsigned long __cil_tmp146 ;
 4683  unsigned long __cil_tmp147 ;
 4684  unsigned long __cil_tmp148 ;
 4685
 4686  {
 4687#line 154
 4688  retval = 0;
 4689#line 158
 4690  __cil_tmp20 = (unsigned long )index;
 4691#line 158
 4692  __cil_tmp21 = (unsigned long )udc;
 4693#line 158
 4694  __cil_tmp22 = __cil_tmp21 + 1344;
 4695#line 158
 4696  __cil_tmp23 = *((struct mv_dqh **)__cil_tmp22);
 4697#line 158
 4698  curr_dqh = __cil_tmp23 + __cil_tmp20;
 4699#line 159
 4700  direction = index % 2;
 4701#line 161
 4702  __cil_tmp24 = (unsigned long )curr_req;
 4703#line 161
 4704  __cil_tmp25 = __cil_tmp24 + 96;
 4705#line 161
 4706  curr_dtd = *((struct mv_dtd **)__cil_tmp25);
 4707#line 162
 4708  td_complete = 0;
 4709#line 163
 4710  __cil_tmp26 = 0 + 8;
 4711#line 163
 4712  __cil_tmp27 = (unsigned long )curr_req;
 4713#line 163
 4714  __cil_tmp28 = __cil_tmp27 + __cil_tmp26;
 4715#line 163
 4716  __cil_tmp29 = *((unsigned int *)__cil_tmp28);
 4717#line 163
 4718  actual = (int )__cil_tmp29;
 4719#line 165
 4720  i = 0;
 4721#line 165
 4722  goto ldv_25384;
 4723  ldv_25383: ;
 4724  {
 4725#line 166
 4726  __cil_tmp30 = (unsigned long )curr_dtd;
 4727#line 166
 4728  __cil_tmp31 = __cil_tmp30 + 4;
 4729#line 166
 4730  __cil_tmp32 = *((u32 *)__cil_tmp31);
 4731#line 166
 4732  __cil_tmp33 = __cil_tmp32 & 128U;
 4733#line 166
 4734  if (__cil_tmp33 != 0U) {
 4735    {
 4736#line 167
 4737    __cil_tmp34 = & descriptor;
 4738#line 167
 4739    *((char    **)__cil_tmp34) = "mv_udc";
 4740#line 167
 4741    __cil_tmp35 = (unsigned long )(& descriptor) + 8;
 4742#line 167
 4743    *((char    **)__cil_tmp35) = "process_ep_req";
 4744#line 167
 4745    __cil_tmp36 = (unsigned long )(& descriptor) + 16;
 4746#line 167
 4747    *((char    **)__cil_tmp36) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p";
 4748#line 167
 4749    __cil_tmp37 = (unsigned long )(& descriptor) + 24;
 4750#line 167
 4751    *((char    **)__cil_tmp37) = "%s, dTD not completed\n";
 4752#line 167
 4753    __cil_tmp38 = (unsigned long )(& descriptor) + 32;
 4754#line 167
 4755    *((unsigned int *)__cil_tmp38) = 168U;
 4756#line 167
 4757    __cil_tmp39 = (unsigned long )(& descriptor) + 35;
 4758#line 167
 4759    *((unsigned char *)__cil_tmp39) = (unsigned char)1;
 4760#line 167
 4761    __cil_tmp40 = (unsigned long )(& descriptor) + 35;
 4762#line 167
 4763    __cil_tmp41 = *((unsigned char *)__cil_tmp40);
 4764#line 167
 4765    __cil_tmp42 = (long )__cil_tmp41;
 4766#line 167
 4767    __cil_tmp43 = __cil_tmp42 & 1L;
 4768#line 167
 4769    tmp = __builtin_expect(__cil_tmp43, 0L);
 4770    }
 4771#line 167
 4772    if (tmp != 0L) {
 4773      {
 4774#line 167
 4775      __cil_tmp44 = (unsigned long )udc;
 4776#line 167
 4777      __cil_tmp45 = __cil_tmp44 + 1296;
 4778#line 167
 4779      __cil_tmp46 = *((struct platform_device **)__cil_tmp45);
 4780#line 167
 4781      __cil_tmp47 = (unsigned long )__cil_tmp46;
 4782#line 167
 4783      __cil_tmp48 = __cil_tmp47 + 16;
 4784#line 167
 4785      __cil_tmp49 = (struct device *)__cil_tmp48;
 4786#line 167
 4787      __cil_tmp50 = (struct device    *)__cil_tmp49;
 4788#line 167
 4789      __cil_tmp51 = (unsigned long )index;
 4790#line 167
 4791      __cil_tmp52 = (unsigned long )udc;
 4792#line 167
 4793      __cil_tmp53 = __cil_tmp52 + 1376;
 4794#line 167
 4795      __cil_tmp54 = *((struct mv_ep **)__cil_tmp53);
 4796#line 167
 4797      __cil_tmp55 = __cil_tmp54 + __cil_tmp51;
 4798#line 167
 4799      __cil_tmp56 = (unsigned long )__cil_tmp55;
 4800#line 167
 4801      __cil_tmp57 = __cil_tmp56 + 108;
 4802#line 167
 4803      __cil_tmp58 = (char (*)[14U])__cil_tmp57;
 4804#line 167
 4805      __cil_tmp59 = (char *)__cil_tmp58;
 4806#line 167
 4807      __dynamic_dev_dbg(& descriptor, __cil_tmp50, "%s, dTD not completed\n", __cil_tmp59);
 4808      }
 4809    } else {
 4810
 4811    }
 4812#line 169
 4813    return (1);
 4814  } else {
 4815
 4816  }
 4817  }
 4818#line 172
 4819  __cil_tmp60 = (unsigned long )curr_dtd;
 4820#line 172
 4821  __cil_tmp61 = __cil_tmp60 + 4;
 4822#line 172
 4823  __cil_tmp62 = *((u32 *)__cil_tmp61);
 4824#line 172
 4825  errors = __cil_tmp62 & 104U;
 4826#line 173
 4827  if (errors == 0U) {
 4828#line 174
 4829    __cil_tmp63 = (unsigned long )curr_dtd;
 4830#line 174
 4831    __cil_tmp64 = __cil_tmp63 + 4;
 4832#line 174
 4833    __cil_tmp65 = *((u32 *)__cil_tmp64);
 4834#line 174
 4835    __cil_tmp66 = __cil_tmp65 & 2147418112U;
 4836#line 174
 4837    __cil_tmp67 = __cil_tmp66 >> 16;
 4838#line 174
 4839    remaining_length = (int )__cil_tmp67;
 4840#line 177
 4841    actual = actual - remaining_length;
 4842#line 179
 4843    if (remaining_length != 0) {
 4844#line 180
 4845      if (direction != 0) {
 4846        {
 4847#line 181
 4848        __cil_tmp68 = & descriptor___0;
 4849#line 181
 4850        *((char    **)__cil_tmp68) = "mv_udc";
 4851#line 181
 4852        __cil_tmp69 = (unsigned long )(& descriptor___0) + 8;
 4853#line 181
 4854        *((char    **)__cil_tmp69) = "process_ep_req";
 4855#line 181
 4856        __cil_tmp70 = (unsigned long )(& descriptor___0) + 16;
 4857#line 181
 4858        *((char    **)__cil_tmp70) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p";
 4859#line 181
 4860        __cil_tmp71 = (unsigned long )(& descriptor___0) + 24;
 4861#line 181
 4862        *((char    **)__cil_tmp71) = "TX dTD remains data\n";
 4863#line 181
 4864        __cil_tmp72 = (unsigned long )(& descriptor___0) + 32;
 4865#line 181
 4866        *((unsigned int *)__cil_tmp72) = 182U;
 4867#line 181
 4868        __cil_tmp73 = (unsigned long )(& descriptor___0) + 35;
 4869#line 181
 4870        *((unsigned char *)__cil_tmp73) = (unsigned char)1;
 4871#line 181
 4872        __cil_tmp74 = (unsigned long )(& descriptor___0) + 35;
 4873#line 181
 4874        __cil_tmp75 = *((unsigned char *)__cil_tmp74);
 4875#line 181
 4876        __cil_tmp76 = (long )__cil_tmp75;
 4877#line 181
 4878        __cil_tmp77 = __cil_tmp76 & 1L;
 4879#line 181
 4880        tmp___0 = __builtin_expect(__cil_tmp77, 0L);
 4881        }
 4882#line 181
 4883        if (tmp___0 != 0L) {
 4884          {
 4885#line 181
 4886          __cil_tmp78 = (unsigned long )udc;
 4887#line 181
 4888          __cil_tmp79 = __cil_tmp78 + 1296;
 4889#line 181
 4890          __cil_tmp80 = *((struct platform_device **)__cil_tmp79);
 4891#line 181
 4892          __cil_tmp81 = (unsigned long )__cil_tmp80;
 4893#line 181
 4894          __cil_tmp82 = __cil_tmp81 + 16;
 4895#line 181
 4896          __cil_tmp83 = (struct device *)__cil_tmp82;
 4897#line 181
 4898          __cil_tmp84 = (struct device    *)__cil_tmp83;
 4899#line 181
 4900          __dynamic_dev_dbg(& descriptor___0, __cil_tmp84, "TX dTD remains data\n");
 4901          }
 4902        } else {
 4903
 4904        }
 4905#line 183
 4906        retval = -71;
 4907#line 184
 4908        goto ldv_25382;
 4909      } else {
 4910#line 186
 4911        goto ldv_25382;
 4912      }
 4913    } else {
 4914
 4915    }
 4916  } else {
 4917#line 189
 4918    if (direction != 0) {
 4919#line 189
 4920      tmp___1 = (char *)"SEND";
 4921    } else {
 4922#line 189
 4923      tmp___1 = (char *)"RECV";
 4924    }
 4925    {
 4926#line 189
 4927    __cil_tmp85 = (unsigned long )udc;
 4928#line 189
 4929    __cil_tmp86 = __cil_tmp85 + 1296;
 4930#line 189
 4931    __cil_tmp87 = *((struct platform_device **)__cil_tmp86);
 4932#line 189
 4933    __cil_tmp88 = (unsigned long )__cil_tmp87;
 4934#line 189
 4935    __cil_tmp89 = __cil_tmp88 + 16;
 4936#line 189
 4937    __cil_tmp90 = (struct device *)__cil_tmp89;
 4938#line 189
 4939    __cil_tmp91 = (struct device    *)__cil_tmp90;
 4940#line 189
 4941    __cil_tmp92 = index >> 1;
 4942#line 189
 4943    _dev_info(__cil_tmp91, "complete_tr error: ep=%d %s: error = 0x%x\n", __cil_tmp92,
 4944              tmp___1, errors);
 4945    }
 4946    {
 4947#line 193
 4948    __cil_tmp93 = errors & 64U;
 4949#line 193
 4950    if (__cil_tmp93 != 0U) {
 4951#line 195
 4952      __cil_tmp94 = (unsigned long )curr_dqh;
 4953#line 195
 4954      __cil_tmp95 = __cil_tmp94 + 12;
 4955#line 195
 4956      __cil_tmp96 = ~ errors;
 4957#line 195
 4958      __cil_tmp97 = (unsigned long )curr_dqh;
 4959#line 195
 4960      __cil_tmp98 = __cil_tmp97 + 12;
 4961#line 195
 4962      __cil_tmp99 = *((u32 *)__cil_tmp98);
 4963#line 195
 4964      *((u32 *)__cil_tmp95) = __cil_tmp99 & __cil_tmp96;
 4965#line 196
 4966      retval = -32;
 4967    } else {
 4968      {
 4969#line 197
 4970      __cil_tmp100 = errors & 32U;
 4971#line 197
 4972      if (__cil_tmp100 != 0U) {
 4973#line 198
 4974        retval = -71;
 4975      } else {
 4976        {
 4977#line 199
 4978        __cil_tmp101 = errors & 8U;
 4979#line 199
 4980        if (__cil_tmp101 != 0U) {
 4981#line 200
 4982          retval = -84;
 4983        } else {
 4984
 4985        }
 4986        }
 4987      }
 4988      }
 4989    }
 4990    }
 4991  }
 4992  {
 4993#line 203
 4994  __cil_tmp102 = (unsigned long )curr_req;
 4995#line 203
 4996  __cil_tmp103 = __cil_tmp102 + 140;
 4997#line 203
 4998  __cil_tmp104 = *((unsigned int *)__cil_tmp103);
 4999#line 203
 5000  __cil_tmp105 = __cil_tmp104 - 1U;
 5001#line 203
 5002  __cil_tmp106 = (unsigned int )i;
 5003#line 203
 5004  if (__cil_tmp106 != __cil_tmp105) {
 5005#line 204
 5006    __cil_tmp107 = (unsigned long )curr_dtd;
 5007#line 204
 5008    __cil_tmp108 = __cil_tmp107 + 40;
 5009#line 204
 5010    curr_dtd = *((struct mv_dtd **)__cil_tmp108);
 5011  } else {
 5012
 5013  }
 5014  }
 5015#line 165
 5016  i = i + 1;
 5017  ldv_25384: ;
 5018  {
 5019#line 165
 5020  __cil_tmp109 = (unsigned long )curr_req;
 5021#line 165
 5022  __cil_tmp110 = __cil_tmp109 + 140;
 5023#line 165
 5024  __cil_tmp111 = *((unsigned int *)__cil_tmp110);
 5025#line 165
 5026  __cil_tmp112 = (unsigned int )i;
 5027#line 165
 5028  if (__cil_tmp112 < __cil_tmp111) {
 5029#line 166
 5030    goto ldv_25383;
 5031  } else {
 5032#line 168
 5033    goto ldv_25382;
 5034  }
 5035  }
 5036  ldv_25382: ;
 5037#line 206
 5038  if (retval != 0) {
 5039#line 207
 5040    return (retval);
 5041  } else {
 5042
 5043  }
 5044#line 209
 5045  if (direction == 0) {
 5046#line 210
 5047    __cil_tmp113 = (unsigned long )curr_req;
 5048#line 210
 5049    __cil_tmp114 = __cil_tmp113 + 112;
 5050#line 210
 5051    __cil_tmp115 = *((struct mv_ep **)__cil_tmp114);
 5052#line 210
 5053    __cil_tmp116 = (unsigned long )__cil_tmp115;
 5054#line 210
 5055    __cil_tmp117 = __cil_tmp116 + 123;
 5056#line 210
 5057    __cil_tmp118 = *((unsigned char *)__cil_tmp117);
 5058#line 210
 5059    __cil_tmp119 = (int )__cil_tmp118;
 5060#line 210
 5061    __cil_tmp120 = 1 << __cil_tmp119;
 5062#line 210
 5063    bit_pos = (u32 )__cil_tmp120;
 5064  } else {
 5065#line 212
 5066    __cil_tmp121 = (unsigned long )curr_req;
 5067#line 212
 5068    __cil_tmp122 = __cil_tmp121 + 112;
 5069#line 212
 5070    __cil_tmp123 = *((struct mv_ep **)__cil_tmp122);
 5071#line 212
 5072    __cil_tmp124 = (unsigned long )__cil_tmp123;
 5073#line 212
 5074    __cil_tmp125 = __cil_tmp124 + 123;
 5075#line 212
 5076    __cil_tmp126 = *((unsigned char *)__cil_tmp125);
 5077#line 212
 5078    __cil_tmp127 = (int )__cil_tmp126;
 5079#line 212
 5080    __cil_tmp128 = __cil_tmp127 + 16;
 5081#line 212
 5082    __cil_tmp129 = 1 << __cil_tmp128;
 5083#line 212
 5084    bit_pos = (u32 )__cil_tmp129;
 5085  }
 5086#line 214
 5087  goto ldv_25390;
 5088  ldv_25389: ;
 5089  {
 5090#line 215
 5091  __cil_tmp130 = *((u32 *)curr_dtd);
 5092#line 215
 5093  if (__cil_tmp130 == 1U) {
 5094#line 216
 5095    goto ldv_25386;
 5096    ldv_25385: 
 5097    {
 5098#line 217
 5099    ___udelay(4295UL);
 5100    }
 5101    ldv_25386: 
 5102    {
 5103#line 216
 5104    __cil_tmp131 = (unsigned long )udc;
 5105#line 216
 5106    __cil_tmp132 = __cil_tmp131 + 1320;
 5107#line 216
 5108    __cil_tmp133 = *((struct mv_op_regs **)__cil_tmp132);
 5109#line 216
 5110    __cil_tmp134 = (unsigned long )__cil_tmp133;
 5111#line 216
 5112    __cil_tmp135 = __cil_tmp134 + 120;
 5113#line 216
 5114    __cil_tmp136 = (u32 *)__cil_tmp135;
 5115#line 216
 5116    __cil_tmp137 = (void  volatile   *)__cil_tmp136;
 5117#line 216
 5118    tmp___2 = readl(__cil_tmp137);
 5119    }
 5120    {
 5121#line 216
 5122    __cil_tmp138 = tmp___2 & bit_pos;
 5123#line 216
 5124    if (__cil_tmp138 != 0U) {
 5125#line 217
 5126      goto ldv_25385;
 5127    } else {
 5128#line 219
 5129      goto ldv_25387;
 5130    }
 5131    }
 5132    ldv_25387: ;
 5133#line 218
 5134    goto ldv_25388;
 5135  } else {
 5136
 5137  }
 5138  }
 5139  {
 5140#line 220
 5141  ___udelay(4295UL);
 5142  }
 5143  ldv_25390: ;
 5144  {
 5145#line 214
 5146  __cil_tmp139 = (unsigned long )curr_dtd;
 5147#line 214
 5148  __cil_tmp140 = __cil_tmp139 + 32;
 5149#line 214
 5150  __cil_tmp141 = *((dma_addr_t *)__cil_tmp140);
 5151#line 214
 5152  __cil_tmp142 = (unsigned long )curr_dqh;
 5153#line 214
 5154  __cil_tmp143 = __cil_tmp142 + 4;
 5155#line 214
 5156  __cil_tmp144 = *((u32 *)__cil_tmp143);
 5157#line 214
 5158  __cil_tmp145 = (dma_addr_t )__cil_tmp144;
 5159#line 214
 5160  if (__cil_tmp145 == __cil_tmp141) {
 5161#line 215
 5162    goto ldv_25389;
 5163  } else {
 5164#line 217
 5165    goto ldv_25388;
 5166  }
 5167  }
 5168  ldv_25388: 
 5169#line 223
 5170  __cil_tmp146 = 0 + 84;
 5171#line 223
 5172  __cil_tmp147 = (unsigned long )curr_req;
 5173#line 223
 5174  __cil_tmp148 = __cil_tmp147 + __cil_tmp146;
 5175#line 223
 5176  *((unsigned int *)__cil_tmp148) = (unsigned int )actual;
 5177#line 225
 5178  return (0);
 5179}
 5180}
 5181#line 233 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 5182static void done(struct mv_ep *ep , struct mv_req *req , int status ) 
 5183{ struct mv_udc *udc ;
 5184  unsigned char stopped ;
 5185  struct mv_dtd *curr_td ;
 5186  struct mv_dtd *next_td ;
 5187  int j ;
 5188  int tmp___0 ;
 5189  int tmp___1 ;
 5190  int tmp___3 ;
 5191  int tmp___4 ;
 5192  unsigned long __cil_tmp15 ;
 5193  unsigned long __cil_tmp16 ;
 5194  unsigned long __cil_tmp17 ;
 5195  unsigned long __cil_tmp18 ;
 5196  unsigned long __cil_tmp19 ;
 5197  unsigned long __cil_tmp20 ;
 5198  struct list_head *__cil_tmp21 ;
 5199  unsigned long __cil_tmp22 ;
 5200  unsigned long __cil_tmp23 ;
 5201  unsigned long __cil_tmp24 ;
 5202  int __cil_tmp25 ;
 5203  unsigned long __cil_tmp26 ;
 5204  unsigned long __cil_tmp27 ;
 5205  unsigned long __cil_tmp28 ;
 5206  unsigned long __cil_tmp29 ;
 5207  unsigned long __cil_tmp30 ;
 5208  unsigned long __cil_tmp31 ;
 5209  unsigned long __cil_tmp32 ;
 5210  unsigned long __cil_tmp33 ;
 5211  unsigned long __cil_tmp34 ;
 5212  unsigned long __cil_tmp35 ;
 5213  unsigned int __cil_tmp36 ;
 5214  unsigned int __cil_tmp37 ;
 5215  unsigned int __cil_tmp38 ;
 5216  unsigned long __cil_tmp39 ;
 5217  unsigned long __cil_tmp40 ;
 5218  unsigned long __cil_tmp41 ;
 5219  unsigned long __cil_tmp42 ;
 5220  struct dma_pool *__cil_tmp43 ;
 5221  void *__cil_tmp44 ;
 5222  unsigned long __cil_tmp45 ;
 5223  unsigned long __cil_tmp46 ;
 5224  dma_addr_t __cil_tmp47 ;
 5225  unsigned long __cil_tmp48 ;
 5226  unsigned long __cil_tmp49 ;
 5227  unsigned int __cil_tmp50 ;
 5228  unsigned int __cil_tmp51 ;
 5229  unsigned char *__cil_tmp52 ;
 5230  unsigned char *__cil_tmp53 ;
 5231  unsigned char __cil_tmp54 ;
 5232  unsigned int __cil_tmp55 ;
 5233  unsigned short *__cil_tmp56 ;
 5234  unsigned short *__cil_tmp57 ;
 5235  unsigned short __cil_tmp58 ;
 5236  unsigned int __cil_tmp59 ;
 5237  unsigned long __cil_tmp60 ;
 5238  unsigned long __cil_tmp61 ;
 5239  struct mv_udc *__cil_tmp62 ;
 5240  unsigned long __cil_tmp63 ;
 5241  unsigned long __cil_tmp64 ;
 5242  unsigned int __cil_tmp65 ;
 5243  unsigned long __cil_tmp66 ;
 5244  unsigned long __cil_tmp67 ;
 5245  u32 __cil_tmp68 ;
 5246  unsigned long __cil_tmp69 ;
 5247  unsigned long __cil_tmp70 ;
 5248  unsigned long __cil_tmp71 ;
 5249  struct mv_udc *__cil_tmp72 ;
 5250  unsigned long __cil_tmp73 ;
 5251  unsigned long __cil_tmp74 ;
 5252  struct device *__cil_tmp75 ;
 5253  unsigned long __cil_tmp76 ;
 5254  unsigned long __cil_tmp77 ;
 5255  unsigned long __cil_tmp78 ;
 5256  dma_addr_t __cil_tmp79 ;
 5257  unsigned long __cil_tmp80 ;
 5258  unsigned long __cil_tmp81 ;
 5259  unsigned long __cil_tmp82 ;
 5260  unsigned int __cil_tmp83 ;
 5261  size_t __cil_tmp84 ;
 5262  enum dma_data_direction __cil_tmp85 ;
 5263  struct dma_attrs *__cil_tmp86 ;
 5264  unsigned long __cil_tmp87 ;
 5265  unsigned long __cil_tmp88 ;
 5266  unsigned long __cil_tmp89 ;
 5267  unsigned long __cil_tmp90 ;
 5268  unsigned long __cil_tmp91 ;
 5269  unsigned short *__cil_tmp92 ;
 5270  unsigned short *__cil_tmp93 ;
 5271  unsigned short __cil_tmp94 ;
 5272  unsigned int __cil_tmp95 ;
 5273  unsigned long __cil_tmp96 ;
 5274  unsigned long __cil_tmp97 ;
 5275  struct mv_udc *__cil_tmp98 ;
 5276  unsigned long __cil_tmp99 ;
 5277  unsigned long __cil_tmp100 ;
 5278  unsigned int __cil_tmp101 ;
 5279  unsigned long __cil_tmp102 ;
 5280  unsigned long __cil_tmp103 ;
 5281  u32 __cil_tmp104 ;
 5282  unsigned long __cil_tmp105 ;
 5283  unsigned long __cil_tmp106 ;
 5284  unsigned long __cil_tmp107 ;
 5285  struct mv_udc *__cil_tmp108 ;
 5286  unsigned long __cil_tmp109 ;
 5287  unsigned long __cil_tmp110 ;
 5288  struct device *__cil_tmp111 ;
 5289  unsigned long __cil_tmp112 ;
 5290  unsigned long __cil_tmp113 ;
 5291  unsigned long __cil_tmp114 ;
 5292  dma_addr_t __cil_tmp115 ;
 5293  unsigned long __cil_tmp116 ;
 5294  unsigned long __cil_tmp117 ;
 5295  unsigned long __cil_tmp118 ;
 5296  unsigned int __cil_tmp119 ;
 5297  size_t __cil_tmp120 ;
 5298  enum dma_data_direction __cil_tmp121 ;
 5299  unsigned long __cil_tmp122 ;
 5300  unsigned long __cil_tmp123 ;
 5301  struct platform_device *__cil_tmp124 ;
 5302  unsigned long __cil_tmp125 ;
 5303  unsigned long __cil_tmp126 ;
 5304  struct device *__cil_tmp127 ;
 5305  struct device    *__cil_tmp128 ;
 5306  unsigned long __cil_tmp129 ;
 5307  unsigned long __cil_tmp130 ;
 5308  unsigned long __cil_tmp131 ;
 5309  char    *__cil_tmp132 ;
 5310  struct usb_request *__cil_tmp133 ;
 5311  unsigned long __cil_tmp134 ;
 5312  unsigned long __cil_tmp135 ;
 5313  unsigned long __cil_tmp136 ;
 5314  unsigned int __cil_tmp137 ;
 5315  unsigned long __cil_tmp138 ;
 5316  unsigned long __cil_tmp139 ;
 5317  unsigned long __cil_tmp140 ;
 5318  unsigned int __cil_tmp141 ;
 5319  unsigned long __cil_tmp142 ;
 5320  unsigned long __cil_tmp143 ;
 5321  unsigned long __cil_tmp144 ;
 5322  unsigned long __cil_tmp145 ;
 5323  struct mv_udc *__cil_tmp146 ;
 5324  unsigned long __cil_tmp147 ;
 5325  unsigned long __cil_tmp148 ;
 5326  spinlock_t *__cil_tmp149 ;
 5327  void (*__cil_tmp150)(struct usb_ep * , struct usb_request * ) ;
 5328  unsigned long __cil_tmp151 ;
 5329  unsigned long __cil_tmp152 ;
 5330  unsigned long __cil_tmp153 ;
 5331  unsigned long __cil_tmp154 ;
 5332  void (*__cil_tmp155)(struct usb_ep * , struct usb_request * ) ;
 5333  unsigned long __cil_tmp156 ;
 5334  unsigned long __cil_tmp157 ;
 5335  unsigned long __cil_tmp158 ;
 5336  unsigned long __cil_tmp159 ;
 5337  void (*__cil_tmp160)(struct usb_ep * , struct usb_request * ) ;
 5338  struct usb_ep *__cil_tmp161 ;
 5339  struct usb_request *__cil_tmp162 ;
 5340  unsigned long __cil_tmp163 ;
 5341  unsigned long __cil_tmp164 ;
 5342  struct mv_udc *__cil_tmp165 ;
 5343  unsigned long __cil_tmp166 ;
 5344  unsigned long __cil_tmp167 ;
 5345  spinlock_t *__cil_tmp168 ;
 5346  unsigned long __cil_tmp169 ;
 5347  unsigned long __cil_tmp170 ;
 5348
 5349  {
 5350  {
 5351#line 235
 5352  udc = (struct mv_udc *)0;
 5353#line 236
 5354  __cil_tmp15 = (unsigned long )ep;
 5355#line 236
 5356  __cil_tmp16 = __cil_tmp15 + 122;
 5357#line 236
 5358  stopped = *((unsigned char *)__cil_tmp16);
 5359#line 240
 5360  __cil_tmp17 = (unsigned long )ep;
 5361#line 240
 5362  __cil_tmp18 = __cil_tmp17 + 64;
 5363#line 240
 5364  udc = *((struct mv_udc **)__cil_tmp18);
 5365#line 242
 5366  __cil_tmp19 = (unsigned long )req;
 5367#line 242
 5368  __cil_tmp20 = __cil_tmp19 + 120;
 5369#line 242
 5370  __cil_tmp21 = (struct list_head *)__cil_tmp20;
 5371#line 242
 5372  list_del_init(__cil_tmp21);
 5373  }
 5374  {
 5375#line 245
 5376  __cil_tmp22 = 0 + 80;
 5377#line 245
 5378  __cil_tmp23 = (unsigned long )req;
 5379#line 245
 5380  __cil_tmp24 = __cil_tmp23 + __cil_tmp22;
 5381#line 245
 5382  __cil_tmp25 = *((int *)__cil_tmp24);
 5383#line 245
 5384  if (__cil_tmp25 == -115) {
 5385#line 246
 5386    __cil_tmp26 = 0 + 80;
 5387#line 246
 5388    __cil_tmp27 = (unsigned long )req;
 5389#line 246
 5390    __cil_tmp28 = __cil_tmp27 + __cil_tmp26;
 5391#line 246
 5392    *((int *)__cil_tmp28) = status;
 5393  } else {
 5394#line 248
 5395    __cil_tmp29 = 0 + 80;
 5396#line 248
 5397    __cil_tmp30 = (unsigned long )req;
 5398#line 248
 5399    __cil_tmp31 = __cil_tmp30 + __cil_tmp29;
 5400#line 248
 5401    status = *((int *)__cil_tmp31);
 5402  }
 5403  }
 5404#line 251
 5405  __cil_tmp32 = (unsigned long )req;
 5406#line 251
 5407  __cil_tmp33 = __cil_tmp32 + 96;
 5408#line 251
 5409  next_td = *((struct mv_dtd **)__cil_tmp33);
 5410#line 252
 5411  j = 0;
 5412#line 252
 5413  goto ldv_25402;
 5414  ldv_25401: 
 5415#line 253
 5416  curr_td = next_td;
 5417  {
 5418#line 254
 5419  __cil_tmp34 = (unsigned long )req;
 5420#line 254
 5421  __cil_tmp35 = __cil_tmp34 + 140;
 5422#line 254
 5423  __cil_tmp36 = *((unsigned int *)__cil_tmp35);
 5424#line 254
 5425  __cil_tmp37 = __cil_tmp36 - 1U;
 5426#line 254
 5427  __cil_tmp38 = (unsigned int )j;
 5428#line 254
 5429  if (__cil_tmp38 != __cil_tmp37) {
 5430#line 255
 5431    __cil_tmp39 = (unsigned long )curr_td;
 5432#line 255
 5433    __cil_tmp40 = __cil_tmp39 + 40;
 5434#line 255
 5435    next_td = *((struct mv_dtd **)__cil_tmp40);
 5436  } else {
 5437
 5438  }
 5439  }
 5440  {
 5441#line 256
 5442  __cil_tmp41 = (unsigned long )udc;
 5443#line 256
 5444  __cil_tmp42 = __cil_tmp41 + 1368;
 5445#line 256
 5446  __cil_tmp43 = *((struct dma_pool **)__cil_tmp42);
 5447#line 256
 5448  __cil_tmp44 = (void *)curr_td;
 5449#line 256
 5450  __cil_tmp45 = (unsigned long )curr_td;
 5451#line 256
 5452  __cil_tmp46 = __cil_tmp45 + 32;
 5453#line 256
 5454  __cil_tmp47 = *((dma_addr_t *)__cil_tmp46);
 5455#line 256
 5456  dma_pool_free(__cil_tmp43, __cil_tmp44, __cil_tmp47);
 5457#line 252
 5458  j = j + 1;
 5459  }
 5460  ldv_25402: ;
 5461  {
 5462#line 252
 5463  __cil_tmp48 = (unsigned long )req;
 5464#line 252
 5465  __cil_tmp49 = __cil_tmp48 + 140;
 5466#line 252
 5467  __cil_tmp50 = *((unsigned int *)__cil_tmp49);
 5468#line 252
 5469  __cil_tmp51 = (unsigned int )j;
 5470#line 252
 5471  if (__cil_tmp51 < __cil_tmp50) {
 5472#line 253
 5473    goto ldv_25401;
 5474  } else {
 5475#line 255
 5476    goto ldv_25403;
 5477  }
 5478  }
 5479  ldv_25403: ;
 5480  {
 5481#line 259
 5482  __cil_tmp52 = (unsigned char *)req;
 5483#line 259
 5484  __cil_tmp53 = __cil_tmp52 + 144UL;
 5485#line 259
 5486  __cil_tmp54 = *__cil_tmp53;
 5487#line 259
 5488  __cil_tmp55 = (unsigned int )__cil_tmp54;
 5489#line 259
 5490  if (__cil_tmp55 != 0U) {
 5491    {
 5492#line 260
 5493    __cil_tmp56 = (unsigned short *)ep;
 5494#line 260
 5495    __cil_tmp57 = __cil_tmp56 + 61UL;
 5496#line 260
 5497    __cil_tmp58 = *__cil_tmp57;
 5498#line 260
 5499    __cil_tmp59 = (unsigned int )__cil_tmp58;
 5500#line 260
 5501    if (__cil_tmp59 == 0U) {
 5502#line 260
 5503      __cil_tmp60 = (unsigned long )ep;
 5504#line 260
 5505      __cil_tmp61 = __cil_tmp60 + 64;
 5506#line 260
 5507      __cil_tmp62 = *((struct mv_udc **)__cil_tmp61);
 5508#line 260
 5509      __cil_tmp63 = (unsigned long )__cil_tmp62;
 5510#line 260
 5511      __cil_tmp64 = __cil_tmp63 + 1436;
 5512#line 260
 5513      __cil_tmp65 = *((unsigned int *)__cil_tmp64);
 5514#line 260
 5515      tmp___1 = __cil_tmp65 == 1U;
 5516    } else {
 5517#line 260
 5518      __cil_tmp66 = (unsigned long )ep;
 5519#line 260
 5520      __cil_tmp67 = __cil_tmp66 + 104;
 5521#line 260
 5522      __cil_tmp68 = *((u32 *)__cil_tmp67);
 5523#line 260
 5524      tmp___1 = __cil_tmp68 == 1U;
 5525    }
 5526    }
 5527#line 260
 5528    if (tmp___1) {
 5529#line 260
 5530      tmp___0 = 1;
 5531    } else {
 5532#line 260
 5533      tmp___0 = 2;
 5534    }
 5535    {
 5536#line 260
 5537    __cil_tmp69 = 0 + 56;
 5538#line 260
 5539    __cil_tmp70 = (unsigned long )ep;
 5540#line 260
 5541    __cil_tmp71 = __cil_tmp70 + 64;
 5542#line 260
 5543    __cil_tmp72 = *((struct mv_udc **)__cil_tmp71);
 5544#line 260
 5545    __cil_tmp73 = (unsigned long )__cil_tmp72;
 5546#line 260
 5547    __cil_tmp74 = __cil_tmp73 + __cil_tmp69;
 5548#line 260
 5549    __cil_tmp75 = *((struct device **)__cil_tmp74);
 5550#line 260
 5551    __cil_tmp76 = 0 + 16;
 5552#line 260
 5553    __cil_tmp77 = (unsigned long )req;
 5554#line 260
 5555    __cil_tmp78 = __cil_tmp77 + __cil_tmp76;
 5556#line 260
 5557    __cil_tmp79 = *((dma_addr_t *)__cil_tmp78);
 5558#line 260
 5559    __cil_tmp80 = 0 + 8;
 5560#line 260
 5561    __cil_tmp81 = (unsigned long )req;
 5562#line 260
 5563    __cil_tmp82 = __cil_tmp81 + __cil_tmp80;
 5564#line 260
 5565    __cil_tmp83 = *((unsigned int *)__cil_tmp82);
 5566#line 260
 5567    __cil_tmp84 = (size_t )__cil_tmp83;
 5568#line 260
 5569    __cil_tmp85 = (enum dma_data_direction )tmp___0;
 5570#line 260
 5571    __cil_tmp86 = (struct dma_attrs *)0;
 5572#line 260
 5573    dma_unmap_single_attrs(__cil_tmp75, __cil_tmp79, __cil_tmp84, __cil_tmp85, __cil_tmp86);
 5574#line 264
 5575    __cil_tmp87 = 0 + 16;
 5576#line 264
 5577    __cil_tmp88 = (unsigned long )req;
 5578#line 264
 5579    __cil_tmp89 = __cil_tmp88 + __cil_tmp87;
 5580#line 264
 5581    *((dma_addr_t *)__cil_tmp89) = 0xffffffffffffffffULL;
 5582#line 265
 5583    __cil_tmp90 = (unsigned long )req;
 5584#line 265
 5585    __cil_tmp91 = __cil_tmp90 + 144;
 5586#line 265
 5587    *((unsigned char *)__cil_tmp91) = (unsigned char)0;
 5588    }
 5589  } else {
 5590    {
 5591#line 267
 5592    __cil_tmp92 = (unsigned short *)ep;
 5593#line 267
 5594    __cil_tmp93 = __cil_tmp92 + 61UL;
 5595#line 267
 5596    __cil_tmp94 = *__cil_tmp93;
 5597#line 267
 5598    __cil_tmp95 = (unsigned int )__cil_tmp94;
 5599#line 267
 5600    if (__cil_tmp95 == 0U) {
 5601#line 267
 5602      __cil_tmp96 = (unsigned long )ep;
 5603#line 267
 5604      __cil_tmp97 = __cil_tmp96 + 64;
 5605#line 267
 5606      __cil_tmp98 = *((struct mv_udc **)__cil_tmp97);
 5607#line 267
 5608      __cil_tmp99 = (unsigned long )__cil_tmp98;
 5609#line 267
 5610      __cil_tmp100 = __cil_tmp99 + 1436;
 5611#line 267
 5612      __cil_tmp101 = *((unsigned int *)__cil_tmp100);
 5613#line 267
 5614      tmp___4 = __cil_tmp101 == 1U;
 5615    } else {
 5616#line 267
 5617      __cil_tmp102 = (unsigned long )ep;
 5618#line 267
 5619      __cil_tmp103 = __cil_tmp102 + 104;
 5620#line 267
 5621      __cil_tmp104 = *((u32 *)__cil_tmp103);
 5622#line 267
 5623      tmp___4 = __cil_tmp104 == 1U;
 5624    }
 5625    }
 5626#line 267
 5627    if (tmp___4) {
 5628#line 267
 5629      tmp___3 = 1;
 5630    } else {
 5631#line 267
 5632      tmp___3 = 2;
 5633    }
 5634    {
 5635#line 267
 5636    __cil_tmp105 = 0 + 56;
 5637#line 267
 5638    __cil_tmp106 = (unsigned long )ep;
 5639#line 267
 5640    __cil_tmp107 = __cil_tmp106 + 64;
 5641#line 267
 5642    __cil_tmp108 = *((struct mv_udc **)__cil_tmp107);
 5643#line 267
 5644    __cil_tmp109 = (unsigned long )__cil_tmp108;
 5645#line 267
 5646    __cil_tmp110 = __cil_tmp109 + __cil_tmp105;
 5647#line 267
 5648    __cil_tmp111 = *((struct device **)__cil_tmp110);
 5649#line 267
 5650    __cil_tmp112 = 0 + 16;
 5651#line 267
 5652    __cil_tmp113 = (unsigned long )req;
 5653#line 267
 5654    __cil_tmp114 = __cil_tmp113 + __cil_tmp112;
 5655#line 267
 5656    __cil_tmp115 = *((dma_addr_t *)__cil_tmp114);
 5657#line 267
 5658    __cil_tmp116 = 0 + 8;
 5659#line 267
 5660    __cil_tmp117 = (unsigned long )req;
 5661#line 267
 5662    __cil_tmp118 = __cil_tmp117 + __cil_tmp116;
 5663#line 267
 5664    __cil_tmp119 = *((unsigned int *)__cil_tmp118);
 5665#line 267
 5666    __cil_tmp120 = (size_t )__cil_tmp119;
 5667#line 267
 5668    __cil_tmp121 = (enum dma_data_direction )tmp___3;
 5669#line 267
 5670    dma_sync_single_for_cpu(__cil_tmp111, __cil_tmp115, __cil_tmp120, __cil_tmp121);
 5671    }
 5672  }
 5673  }
 5674#line 272
 5675  if (status != 0) {
 5676#line 272
 5677    if (status != -108) {
 5678      {
 5679#line 273
 5680      __cil_tmp122 = (unsigned long )udc;
 5681#line 273
 5682      __cil_tmp123 = __cil_tmp122 + 1296;
 5683#line 273
 5684      __cil_tmp124 = *((struct platform_device **)__cil_tmp123);
 5685#line 273
 5686      __cil_tmp125 = (unsigned long )__cil_tmp124;
 5687#line 273
 5688      __cil_tmp126 = __cil_tmp125 + 16;
 5689#line 273
 5690      __cil_tmp127 = (struct device *)__cil_tmp126;
 5691#line 273
 5692      __cil_tmp128 = (struct device    *)__cil_tmp127;
 5693#line 273
 5694      __cil_tmp129 = 0 + 8;
 5695#line 273
 5696      __cil_tmp130 = (unsigned long )ep;
 5697#line 273
 5698      __cil_tmp131 = __cil_tmp130 + __cil_tmp129;
 5699#line 273
 5700      __cil_tmp132 = *((char    **)__cil_tmp131);
 5701#line 273
 5702      __cil_tmp133 = (struct usb_request *)req;
 5703#line 273
 5704      __cil_tmp134 = 0 + 84;
 5705#line 273
 5706      __cil_tmp135 = (unsigned long )req;
 5707#line 273
 5708      __cil_tmp136 = __cil_tmp135 + __cil_tmp134;
 5709#line 273
 5710      __cil_tmp137 = *((unsigned int *)__cil_tmp136);
 5711#line 273
 5712      __cil_tmp138 = 0 + 8;
 5713#line 273
 5714      __cil_tmp139 = (unsigned long )req;
 5715#line 273
 5716      __cil_tmp140 = __cil_tmp139 + __cil_tmp138;
 5717#line 273
 5718      __cil_tmp141 = *((unsigned int *)__cil_tmp140);
 5719#line 273
 5720      _dev_info(__cil_tmp128, "complete %s req %p stat %d len %u/%u", __cil_tmp132,
 5721                __cil_tmp133, status, __cil_tmp137, __cil_tmp141);
 5722      }
 5723    } else {
 5724
 5725    }
 5726  } else {
 5727
 5728  }
 5729  {
 5730#line 277
 5731  __cil_tmp142 = (unsigned long )ep;
 5732#line 277
 5733  __cil_tmp143 = __cil_tmp142 + 122;
 5734#line 277
 5735  *((unsigned char *)__cil_tmp143) = (unsigned char)1;
 5736#line 279
 5737  __cil_tmp144 = (unsigned long )ep;
 5738#line 279
 5739  __cil_tmp145 = __cil_tmp144 + 64;
 5740#line 279
 5741  __cil_tmp146 = *((struct mv_udc **)__cil_tmp145);
 5742#line 279
 5743  __cil_tmp147 = (unsigned long )__cil_tmp146;
 5744#line 279
 5745  __cil_tmp148 = __cil_tmp147 + 1216;
 5746#line 279
 5747  __cil_tmp149 = (spinlock_t *)__cil_tmp148;
 5748#line 279
 5749  spin_unlock(__cil_tmp149);
 5750  }
 5751  {
 5752#line 284
 5753  __cil_tmp150 = (void (*)(struct usb_ep * , struct usb_request * ))0;
 5754#line 284
 5755  __cil_tmp151 = (unsigned long )__cil_tmp150;
 5756#line 284
 5757  __cil_tmp152 = 0 + 48;
 5758#line 284
 5759  __cil_tmp153 = (unsigned long )req;
 5760#line 284
 5761  __cil_tmp154 = __cil_tmp153 + __cil_tmp152;
 5762#line 284
 5763  __cil_tmp155 = *((void (**)(struct usb_ep * , struct usb_request * ))__cil_tmp154);
 5764#line 284
 5765  __cil_tmp156 = (unsigned long )__cil_tmp155;
 5766#line 284
 5767  if (__cil_tmp156 != __cil_tmp151) {
 5768    {
 5769#line 285
 5770    __cil_tmp157 = 0 + 48;
 5771#line 285
 5772    __cil_tmp158 = (unsigned long )req;
 5773#line 285
 5774    __cil_tmp159 = __cil_tmp158 + __cil_tmp157;
 5775#line 285
 5776    __cil_tmp160 = *((void (**)(struct usb_ep * , struct usb_request * ))__cil_tmp159);
 5777#line 285
 5778    __cil_tmp161 = (struct usb_ep *)ep;
 5779#line 285
 5780    __cil_tmp162 = (struct usb_request *)req;
 5781#line 285
 5782    (*__cil_tmp160)(__cil_tmp161, __cil_tmp162);
 5783    }
 5784  } else {
 5785
 5786  }
 5787  }
 5788  {
 5789#line 287
 5790  __cil_tmp163 = (unsigned long )ep;
 5791#line 287
 5792  __cil_tmp164 = __cil_tmp163 + 64;
 5793#line 287
 5794  __cil_tmp165 = *((struct mv_udc **)__cil_tmp164);
 5795#line 287
 5796  __cil_tmp166 = (unsigned long )__cil_tmp165;
 5797#line 287
 5798  __cil_tmp167 = __cil_tmp166 + 1216;
 5799#line 287
 5800  __cil_tmp168 = (spinlock_t *)__cil_tmp167;
 5801#line 287
 5802  spin_lock(__cil_tmp168);
 5803#line 288
 5804  __cil_tmp169 = (unsigned long )ep;
 5805#line 288
 5806  __cil_tmp170 = __cil_tmp169 + 122;
 5807#line 288
 5808  *((unsigned char *)__cil_tmp170) = stopped;
 5809  }
 5810#line 289
 5811  return;
 5812}
 5813}
 5814#line 291 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 5815static int queue_dtd(struct mv_ep *ep , struct mv_req *req ) 
 5816{ struct mv_udc *udc ;
 5817  struct mv_dqh *dqh ;
 5818  u32 bit_pos ;
 5819  u32 direction ;
 5820  u32 usbcmd ;
 5821  u32 epstatus ;
 5822  unsigned int loops ;
 5823  int retval ;
 5824  int tmp ;
 5825  struct mv_req *lastreq ;
 5826  struct list_head    *__mptr ;
 5827  unsigned int tmp___0 ;
 5828  unsigned int tmp___1 ;
 5829  unsigned int tmp___2 ;
 5830  int tmp___3 ;
 5831  unsigned long __cil_tmp18 ;
 5832  unsigned long __cil_tmp19 ;
 5833  unsigned short *__cil_tmp20 ;
 5834  unsigned short *__cil_tmp21 ;
 5835  unsigned short __cil_tmp22 ;
 5836  unsigned int __cil_tmp23 ;
 5837  unsigned long __cil_tmp24 ;
 5838  unsigned long __cil_tmp25 ;
 5839  struct mv_udc *__cil_tmp26 ;
 5840  unsigned long __cil_tmp27 ;
 5841  unsigned long __cil_tmp28 ;
 5842  unsigned long __cil_tmp29 ;
 5843  unsigned long __cil_tmp30 ;
 5844  unsigned long __cil_tmp31 ;
 5845  unsigned long __cil_tmp32 ;
 5846  unsigned char __cil_tmp33 ;
 5847  int __cil_tmp34 ;
 5848  int __cil_tmp35 ;
 5849  u32 __cil_tmp36 ;
 5850  u32 __cil_tmp37 ;
 5851  unsigned long __cil_tmp38 ;
 5852  unsigned long __cil_tmp39 ;
 5853  unsigned long __cil_tmp40 ;
 5854  struct mv_dqh *__cil_tmp41 ;
 5855  unsigned long __cil_tmp42 ;
 5856  unsigned long __cil_tmp43 ;
 5857  unsigned char __cil_tmp44 ;
 5858  int __cil_tmp45 ;
 5859  int __cil_tmp46 ;
 5860  int __cil_tmp47 ;
 5861  unsigned long __cil_tmp48 ;
 5862  unsigned long __cil_tmp49 ;
 5863  struct list_head *__cil_tmp50 ;
 5864  struct list_head    *__cil_tmp51 ;
 5865  unsigned long __cil_tmp52 ;
 5866  unsigned long __cil_tmp53 ;
 5867  unsigned long __cil_tmp54 ;
 5868  struct list_head *__cil_tmp55 ;
 5869  struct mv_req *__cil_tmp56 ;
 5870  unsigned long __cil_tmp57 ;
 5871  unsigned long __cil_tmp58 ;
 5872  struct mv_dtd *__cil_tmp59 ;
 5873  unsigned long __cil_tmp60 ;
 5874  unsigned long __cil_tmp61 ;
 5875  struct mv_dtd *__cil_tmp62 ;
 5876  unsigned long __cil_tmp63 ;
 5877  unsigned long __cil_tmp64 ;
 5878  dma_addr_t __cil_tmp65 ;
 5879  u32 __cil_tmp66 ;
 5880  unsigned long __cil_tmp67 ;
 5881  unsigned long __cil_tmp68 ;
 5882  struct mv_op_regs *__cil_tmp69 ;
 5883  unsigned long __cil_tmp70 ;
 5884  unsigned long __cil_tmp71 ;
 5885  u32 *__cil_tmp72 ;
 5886  void  volatile   *__cil_tmp73 ;
 5887  unsigned int __cil_tmp74 ;
 5888  unsigned long __cil_tmp75 ;
 5889  unsigned long __cil_tmp76 ;
 5890  struct mv_op_regs *__cil_tmp77 ;
 5891  u32 *__cil_tmp78 ;
 5892  void  volatile   *__cil_tmp79 ;
 5893  unsigned long __cil_tmp80 ;
 5894  unsigned long __cil_tmp81 ;
 5895  struct mv_op_regs *__cil_tmp82 ;
 5896  u32 *__cil_tmp83 ;
 5897  void volatile   *__cil_tmp84 ;
 5898  unsigned long __cil_tmp85 ;
 5899  unsigned long __cil_tmp86 ;
 5900  struct mv_op_regs *__cil_tmp87 ;
 5901  unsigned long __cil_tmp88 ;
 5902  unsigned long __cil_tmp89 ;
 5903  u32 *__cil_tmp90 ;
 5904  void  volatile   *__cil_tmp91 ;
 5905  unsigned long __cil_tmp92 ;
 5906  unsigned long __cil_tmp93 ;
 5907  struct mv_op_regs *__cil_tmp94 ;
 5908  u32 *__cil_tmp95 ;
 5909  void  volatile   *__cil_tmp96 ;
 5910  unsigned int __cil_tmp97 ;
 5911  unsigned long __cil_tmp98 ;
 5912  unsigned long __cil_tmp99 ;
 5913  struct platform_device *__cil_tmp100 ;
 5914  unsigned long __cil_tmp101 ;
 5915  unsigned long __cil_tmp102 ;
 5916  struct device *__cil_tmp103 ;
 5917  struct device    *__cil_tmp104 ;
 5918  unsigned long __cil_tmp105 ;
 5919  unsigned long __cil_tmp106 ;
 5920  struct mv_op_regs *__cil_tmp107 ;
 5921  u32 *__cil_tmp108 ;
 5922  void  volatile   *__cil_tmp109 ;
 5923  unsigned long __cil_tmp110 ;
 5924  unsigned long __cil_tmp111 ;
 5925  struct mv_op_regs *__cil_tmp112 ;
 5926  u32 *__cil_tmp113 ;
 5927  void volatile   *__cil_tmp114 ;
 5928  unsigned long __cil_tmp115 ;
 5929  unsigned long __cil_tmp116 ;
 5930  unsigned long __cil_tmp117 ;
 5931  unsigned long __cil_tmp118 ;
 5932  struct mv_dtd *__cil_tmp119 ;
 5933  unsigned long __cil_tmp120 ;
 5934  unsigned long __cil_tmp121 ;
 5935  dma_addr_t __cil_tmp122 ;
 5936  u32 __cil_tmp123 ;
 5937  unsigned long __cil_tmp124 ;
 5938  unsigned long __cil_tmp125 ;
 5939  unsigned long __cil_tmp126 ;
 5940  unsigned long __cil_tmp127 ;
 5941  u32 __cil_tmp128 ;
 5942  unsigned long __cil_tmp129 ;
 5943  unsigned long __cil_tmp130 ;
 5944  struct mv_op_regs *__cil_tmp131 ;
 5945  unsigned long __cil_tmp132 ;
 5946  unsigned long __cil_tmp133 ;
 5947  u32 *__cil_tmp134 ;
 5948  void volatile   *__cil_tmp135 ;
 5949
 5950  {
 5951#line 298
 5952  retval = 0;
 5953#line 300
 5954  __cil_tmp18 = (unsigned long )ep;
 5955#line 300
 5956  __cil_tmp19 = __cil_tmp18 + 64;
 5957#line 300
 5958  udc = *((struct mv_udc **)__cil_tmp19);
 5959  {
 5960#line 301
 5961  __cil_tmp20 = (unsigned short *)ep;
 5962#line 301
 5963  __cil_tmp21 = __cil_tmp20 + 61UL;
 5964#line 301
 5965  __cil_tmp22 = *__cil_tmp21;
 5966#line 301
 5967  __cil_tmp23 = (unsigned int )__cil_tmp22;
 5968#line 301
 5969  if (__cil_tmp23 == 0U) {
 5970#line 301
 5971    __cil_tmp24 = (unsigned long )ep;
 5972#line 301
 5973    __cil_tmp25 = __cil_tmp24 + 64;
 5974#line 301
 5975    __cil_tmp26 = *((struct mv_udc **)__cil_tmp25);
 5976#line 301
 5977    __cil_tmp27 = (unsigned long )__cil_tmp26;
 5978#line 301
 5979    __cil_tmp28 = __cil_tmp27 + 1436;
 5980#line 301
 5981    direction = *((unsigned int *)__cil_tmp28);
 5982  } else {
 5983#line 301
 5984    __cil_tmp29 = (unsigned long )ep;
 5985#line 301
 5986    __cil_tmp30 = __cil_tmp29 + 104;
 5987#line 301
 5988    direction = *((u32 *)__cil_tmp30);
 5989  }
 5990  }
 5991#line 302
 5992  __cil_tmp31 = (unsigned long )ep;
 5993#line 302
 5994  __cil_tmp32 = __cil_tmp31 + 123;
 5995#line 302
 5996  __cil_tmp33 = *((unsigned char *)__cil_tmp32);
 5997#line 302
 5998  __cil_tmp34 = (int )__cil_tmp33;
 5999#line 302
 6000  __cil_tmp35 = __cil_tmp34 * 2;
 6001#line 302
 6002  __cil_tmp36 = (u32 )__cil_tmp35;
 6003#line 302
 6004  __cil_tmp37 = __cil_tmp36 + direction;
 6005#line 302
 6006  __cil_tmp38 = (unsigned long )__cil_tmp37;
 6007#line 302
 6008  __cil_tmp39 = (unsigned long )udc;
 6009#line 302
 6010  __cil_tmp40 = __cil_tmp39 + 1344;
 6011#line 302
 6012  __cil_tmp41 = *((struct mv_dqh **)__cil_tmp40);
 6013#line 302
 6014  dqh = __cil_tmp41 + __cil_tmp38;
 6015#line 303
 6016  if (direction == 0U) {
 6017#line 303
 6018    tmp = 0;
 6019  } else {
 6020#line 303
 6021    tmp = 16;
 6022  }
 6023  {
 6024#line 303
 6025  __cil_tmp42 = (unsigned long )ep;
 6026#line 303
 6027  __cil_tmp43 = __cil_tmp42 + 123;
 6028#line 303
 6029  __cil_tmp44 = *((unsigned char *)__cil_tmp43);
 6030#line 303
 6031  __cil_tmp45 = (int )__cil_tmp44;
 6032#line 303
 6033  __cil_tmp46 = tmp + __cil_tmp45;
 6034#line 303
 6035  __cil_tmp47 = 1 << __cil_tmp46;
 6036#line 303
 6037  bit_pos = (u32 )__cil_tmp47;
 6038#line 306
 6039  __cil_tmp48 = (unsigned long )ep;
 6040#line 306
 6041  __cil_tmp49 = __cil_tmp48 + 72;
 6042#line 306
 6043  __cil_tmp50 = (struct list_head *)__cil_tmp49;
 6044#line 306
 6045  __cil_tmp51 = (struct list_head    *)__cil_tmp50;
 6046#line 306
 6047  tmp___3 = list_empty(__cil_tmp51);
 6048  }
 6049#line 306
 6050  if (tmp___3 == 0) {
 6051    {
 6052#line 308
 6053    __cil_tmp52 = 72 + 8;
 6054#line 308
 6055    __cil_tmp53 = (unsigned long )ep;
 6056#line 308
 6057    __cil_tmp54 = __cil_tmp53 + __cil_tmp52;
 6058#line 308
 6059    __cil_tmp55 = *((struct list_head **)__cil_tmp54);
 6060#line 308
 6061    __mptr = (struct list_head    *)__cil_tmp55;
 6062#line 308
 6063    __cil_tmp56 = (struct mv_req *)__mptr;
 6064#line 308
 6065    lastreq = __cil_tmp56 + 0xffffffffffffff88UL;
 6066#line 309
 6067    __cil_tmp57 = (unsigned long )lastreq;
 6068#line 309
 6069    __cil_tmp58 = __cil_tmp57 + 104;
 6070#line 309
 6071    __cil_tmp59 = *((struct mv_dtd **)__cil_tmp58);
 6072#line 309
 6073    __cil_tmp60 = (unsigned long )req;
 6074#line 309
 6075    __cil_tmp61 = __cil_tmp60 + 96;
 6076#line 309
 6077    __cil_tmp62 = *((struct mv_dtd **)__cil_tmp61);
 6078#line 309
 6079    __cil_tmp63 = (unsigned long )__cil_tmp62;
 6080#line 309
 6081    __cil_tmp64 = __cil_tmp63 + 32;
 6082#line 309
 6083    __cil_tmp65 = *((dma_addr_t *)__cil_tmp64);
 6084#line 309
 6085    __cil_tmp66 = (u32 )__cil_tmp65;
 6086#line 309
 6087    *((u32 *)__cil_tmp59) = __cil_tmp66 & 4294967264U;
 6088#line 312
 6089    __asm__  volatile   ("sfence": : : "memory");
 6090#line 314
 6091    __cil_tmp67 = (unsigned long )udc;
 6092#line 314
 6093    __cil_tmp68 = __cil_tmp67 + 1320;
 6094#line 314
 6095    __cil_tmp69 = *((struct mv_op_regs **)__cil_tmp68);
 6096#line 314
 6097    __cil_tmp70 = (unsigned long )__cil_tmp69;
 6098#line 314
 6099    __cil_tmp71 = __cil_tmp70 + 112;
 6100#line 314
 6101    __cil_tmp72 = (u32 *)__cil_tmp71;
 6102#line 314
 6103    __cil_tmp73 = (void  volatile   *)__cil_tmp72;
 6104#line 314
 6105    tmp___0 = readl(__cil_tmp73);
 6106    }
 6107    {
 6108#line 314
 6109    __cil_tmp74 = tmp___0 & bit_pos;
 6110#line 314
 6111    if (__cil_tmp74 != 0U) {
 6112#line 315
 6113      goto done;
 6114    } else {
 6115
 6116    }
 6117    }
 6118#line 317
 6119    loops = 62U;
 6120    ldv_25421: 
 6121    {
 6122#line 320
 6123    __cil_tmp75 = (unsigned long )udc;
 6124#line 320
 6125    __cil_tmp76 = __cil_tmp75 + 1320;
 6126#line 320
 6127    __cil_tmp77 = *((struct mv_op_regs **)__cil_tmp76);
 6128#line 320
 6129    __cil_tmp78 = (u32 *)__cil_tmp77;
 6130#line 320
 6131    __cil_tmp79 = (void  volatile   *)__cil_tmp78;
 6132#line 320
 6133    usbcmd = readl(__cil_tmp79);
 6134#line 321
 6135    usbcmd = usbcmd | 16384U;
 6136#line 322
 6137    __cil_tmp80 = (unsigned long )udc;
 6138#line 322
 6139    __cil_tmp81 = __cil_tmp80 + 1320;
 6140#line 322
 6141    __cil_tmp82 = *((struct mv_op_regs **)__cil_tmp81);
 6142#line 322
 6143    __cil_tmp83 = (u32 *)__cil_tmp82;
 6144#line 322
 6145    __cil_tmp84 = (void volatile   *)__cil_tmp83;
 6146#line 322
 6147    writel(usbcmd, __cil_tmp84);
 6148#line 325
 6149    __cil_tmp85 = (unsigned long )udc;
 6150#line 325
 6151    __cil_tmp86 = __cil_tmp85 + 1320;
 6152#line 325
 6153    __cil_tmp87 = *((struct mv_op_regs **)__cil_tmp86);
 6154#line 325
 6155    __cil_tmp88 = (unsigned long )__cil_tmp87;
 6156#line 325
 6157    __cil_tmp89 = __cil_tmp88 + 120;
 6158#line 325
 6159    __cil_tmp90 = (u32 *)__cil_tmp89;
 6160#line 325
 6161    __cil_tmp91 = (void  volatile   *)__cil_tmp90;
 6162#line 325
 6163    tmp___1 = readl(__cil_tmp91);
 6164#line 325
 6165    epstatus = tmp___1 & bit_pos;
 6166#line 334
 6167    __cil_tmp92 = (unsigned long )udc;
 6168#line 334
 6169    __cil_tmp93 = __cil_tmp92 + 1320;
 6170#line 334
 6171    __cil_tmp94 = *((struct mv_op_regs **)__cil_tmp93);
 6172#line 334
 6173    __cil_tmp95 = (u32 *)__cil_tmp94;
 6174#line 334
 6175    __cil_tmp96 = (void  volatile   *)__cil_tmp95;
 6176#line 334
 6177    tmp___2 = readl(__cil_tmp96);
 6178    }
 6179    {
 6180#line 334
 6181    __cil_tmp97 = tmp___2 & 16384U;
 6182#line 334
 6183    if (__cil_tmp97 != 0U) {
 6184#line 336
 6185      goto ldv_25420;
 6186    } else {
 6187
 6188    }
 6189    }
 6190#line 338
 6191    loops = loops - 1U;
 6192#line 339
 6193    if (loops == 0U) {
 6194      {
 6195#line 340
 6196      __cil_tmp98 = (unsigned long )udc;
 6197#line 340
 6198      __cil_tmp99 = __cil_tmp98 + 1296;
 6199#line 340
 6200      __cil_tmp100 = *((struct platform_device **)__cil_tmp99);
 6201#line 340
 6202      __cil_tmp101 = (unsigned long )__cil_tmp100;
 6203#line 340
 6204      __cil_tmp102 = __cil_tmp101 + 16;
 6205#line 340
 6206      __cil_tmp103 = (struct device *)__cil_tmp102;
 6207#line 340
 6208      __cil_tmp104 = (struct device    *)__cil_tmp103;
 6209#line 340
 6210      dev_err(__cil_tmp104, "Timeout for ATDTW_TRIPWIRE...\n");
 6211#line 342
 6212      retval = -62;
 6213      }
 6214#line 343
 6215      goto done;
 6216    } else {
 6217
 6218    }
 6219    {
 6220#line 345
 6221    ___udelay(68720UL);
 6222    }
 6223#line 346
 6224    goto ldv_25421;
 6225    ldv_25420: 
 6226    {
 6227#line 349
 6228    __cil_tmp105 = (unsigned long )udc;
 6229#line 349
 6230    __cil_tmp106 = __cil_tmp105 + 1320;
 6231#line 349
 6232    __cil_tmp107 = *((struct mv_op_regs **)__cil_tmp106);
 6233#line 349
 6234    __cil_tmp108 = (u32 *)__cil_tmp107;
 6235#line 349
 6236    __cil_tmp109 = (void  volatile   *)__cil_tmp108;
 6237#line 349
 6238    usbcmd = readl(__cil_tmp109);
 6239#line 350
 6240    usbcmd = usbcmd & 4294950911U;
 6241#line 351
 6242    __cil_tmp110 = (unsigned long )udc;
 6243#line 351
 6244    __cil_tmp111 = __cil_tmp110 + 1320;
 6245#line 351
 6246    __cil_tmp112 = *((struct mv_op_regs **)__cil_tmp111);
 6247#line 351
 6248    __cil_tmp113 = (u32 *)__cil_tmp112;
 6249#line 351
 6250    __cil_tmp114 = (void volatile   *)__cil_tmp113;
 6251#line 351
 6252    writel(usbcmd, __cil_tmp114);
 6253    }
 6254#line 353
 6255    if (epstatus != 0U) {
 6256#line 354
 6257      goto done;
 6258    } else {
 6259
 6260    }
 6261  } else {
 6262
 6263  }
 6264  {
 6265#line 358
 6266  __cil_tmp115 = (unsigned long )dqh;
 6267#line 358
 6268  __cil_tmp116 = __cil_tmp115 + 8;
 6269#line 358
 6270  __cil_tmp117 = (unsigned long )req;
 6271#line 358
 6272  __cil_tmp118 = __cil_tmp117 + 96;
 6273#line 358
 6274  __cil_tmp119 = *((struct mv_dtd **)__cil_tmp118);
 6275#line 358
 6276  __cil_tmp120 = (unsigned long )__cil_tmp119;
 6277#line 358
 6278  __cil_tmp121 = __cil_tmp120 + 32;
 6279#line 358
 6280  __cil_tmp122 = *((dma_addr_t *)__cil_tmp121);
 6281#line 358
 6282  __cil_tmp123 = (u32 )__cil_tmp122;
 6283#line 358
 6284  *((u32 *)__cil_tmp116) = __cil_tmp123 & 4294967264U;
 6285#line 362
 6286  __cil_tmp124 = (unsigned long )dqh;
 6287#line 362
 6288  __cil_tmp125 = __cil_tmp124 + 12;
 6289#line 362
 6290  __cil_tmp126 = (unsigned long )dqh;
 6291#line 362
 6292  __cil_tmp127 = __cil_tmp126 + 12;
 6293#line 362
 6294  __cil_tmp128 = *((u32 *)__cil_tmp127);
 6295#line 362
 6296  *((u32 *)__cil_tmp125) = __cil_tmp128 & 4294967103U;
 6297#line 365
 6298  __asm__  volatile   ("sfence": : : "memory");
 6299#line 368
 6300  __cil_tmp129 = (unsigned long )udc;
 6301#line 368
 6302  __cil_tmp130 = __cil_tmp129 + 1320;
 6303#line 368
 6304  __cil_tmp131 = *((struct mv_op_regs **)__cil_tmp130);
 6305#line 368
 6306  __cil_tmp132 = (unsigned long )__cil_tmp131;
 6307#line 368
 6308  __cil_tmp133 = __cil_tmp132 + 112;
 6309#line 368
 6310  __cil_tmp134 = (u32 *)__cil_tmp133;
 6311#line 368
 6312  __cil_tmp135 = (void volatile   *)__cil_tmp134;
 6313#line 368
 6314  writel(bit_pos, __cil_tmp135);
 6315  }
 6316  done: ;
 6317#line 371
 6318  return (retval);
 6319}
 6320}
 6321#line 375 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 6322static struct mv_dtd *build_dtd(struct mv_req *req , unsigned int *length , dma_addr_t *dma ,
 6323                                int *is_last ) 
 6324{ u32 temp ;
 6325  struct mv_dtd *dtd ;
 6326  struct mv_udc *udc ;
 6327  unsigned int _min1 ;
 6328  unsigned int _min2 ;
 6329  unsigned int tmp ;
 6330  void *tmp___0 ;
 6331  unsigned long __cil_tmp12 ;
 6332  unsigned long __cil_tmp13 ;
 6333  unsigned long __cil_tmp14 ;
 6334  unsigned int __cil_tmp15 ;
 6335  unsigned long __cil_tmp16 ;
 6336  unsigned long __cil_tmp17 ;
 6337  unsigned long __cil_tmp18 ;
 6338  unsigned int __cil_tmp19 ;
 6339  unsigned long __cil_tmp20 ;
 6340  unsigned long __cil_tmp21 ;
 6341  struct mv_ep *__cil_tmp22 ;
 6342  unsigned long __cil_tmp23 ;
 6343  unsigned long __cil_tmp24 ;
 6344  unsigned long __cil_tmp25 ;
 6345  unsigned long __cil_tmp26 ;
 6346  struct dma_pool *__cil_tmp27 ;
 6347  struct mv_dtd *__cil_tmp28 ;
 6348  unsigned long __cil_tmp29 ;
 6349  unsigned long __cil_tmp30 ;
 6350  unsigned long __cil_tmp31 ;
 6351  unsigned long __cil_tmp32 ;
 6352  unsigned long __cil_tmp33 ;
 6353  unsigned long __cil_tmp34 ;
 6354  unsigned long __cil_tmp35 ;
 6355  unsigned int __cil_tmp36 ;
 6356  unsigned long __cil_tmp37 ;
 6357  unsigned long __cil_tmp38 ;
 6358  unsigned long __cil_tmp39 ;
 6359  dma_addr_t __cil_tmp40 ;
 6360  unsigned int __cil_tmp41 ;
 6361  unsigned long __cil_tmp42 ;
 6362  unsigned long __cil_tmp43 ;
 6363  unsigned long __cil_tmp44 ;
 6364  unsigned long __cil_tmp45 ;
 6365  unsigned long __cil_tmp46 ;
 6366  unsigned long __cil_tmp47 ;
 6367  unsigned long __cil_tmp48 ;
 6368  unsigned long __cil_tmp49 ;
 6369  unsigned long __cil_tmp50 ;
 6370  unsigned long __cil_tmp51 ;
 6371  unsigned long __cil_tmp52 ;
 6372  unsigned long __cil_tmp53 ;
 6373  unsigned long __cil_tmp54 ;
 6374  unsigned int __cil_tmp55 ;
 6375  unsigned long __cil_tmp56 ;
 6376  unsigned long __cil_tmp57 ;
 6377  unsigned long __cil_tmp58 ;
 6378  unsigned int __cil_tmp59 ;
 6379  unsigned char *__cil_tmp60 ;
 6380  unsigned char *__cil_tmp61 ;
 6381  unsigned char __cil_tmp62 ;
 6382  unsigned int __cil_tmp63 ;
 6383  unsigned int __cil_tmp64 ;
 6384  unsigned long __cil_tmp65 ;
 6385  unsigned long __cil_tmp66 ;
 6386  unsigned long __cil_tmp67 ;
 6387  struct mv_ep *__cil_tmp68 ;
 6388  unsigned long __cil_tmp69 ;
 6389  unsigned long __cil_tmp70 ;
 6390  unsigned short __cil_tmp71 ;
 6391  unsigned int __cil_tmp72 ;
 6392  unsigned int __cil_tmp73 ;
 6393  unsigned int __cil_tmp74 ;
 6394  unsigned long __cil_tmp75 ;
 6395  unsigned long __cil_tmp76 ;
 6396  unsigned long __cil_tmp77 ;
 6397  unsigned int __cil_tmp78 ;
 6398  unsigned long __cil_tmp79 ;
 6399  unsigned long __cil_tmp80 ;
 6400  unsigned long __cil_tmp81 ;
 6401  unsigned int __cil_tmp82 ;
 6402  unsigned int __cil_tmp83 ;
 6403  unsigned int __cil_tmp84 ;
 6404  int __cil_tmp85 ;
 6405  unsigned char *__cil_tmp86 ;
 6406  unsigned char *__cil_tmp87 ;
 6407  unsigned char __cil_tmp88 ;
 6408  unsigned int __cil_tmp89 ;
 6409  unsigned long __cil_tmp90 ;
 6410  unsigned long __cil_tmp91 ;
 6411
 6412  {
 6413#line 383
 6414  __cil_tmp12 = 0 + 84;
 6415#line 383
 6416  __cil_tmp13 = (unsigned long )req;
 6417#line 383
 6418  __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
 6419#line 383
 6420  __cil_tmp15 = *((unsigned int *)__cil_tmp14);
 6421#line 383
 6422  __cil_tmp16 = 0 + 8;
 6423#line 383
 6424  __cil_tmp17 = (unsigned long )req;
 6425#line 383
 6426  __cil_tmp18 = __cil_tmp17 + __cil_tmp16;
 6427#line 383
 6428  __cil_tmp19 = *((unsigned int *)__cil_tmp18);
 6429#line 383
 6430  _min1 = __cil_tmp19 - __cil_tmp15;
 6431#line 383
 6432  _min2 = 16384U;
 6433#line 383
 6434  if (_min1 < _min2) {
 6435#line 383
 6436    tmp = _min1;
 6437  } else {
 6438#line 383
 6439    tmp = _min2;
 6440  }
 6441  {
 6442#line 383
 6443  *length = tmp;
 6444#line 386
 6445  __cil_tmp20 = (unsigned long )req;
 6446#line 386
 6447  __cil_tmp21 = __cil_tmp20 + 112;
 6448#line 386
 6449  __cil_tmp22 = *((struct mv_ep **)__cil_tmp21);
 6450#line 386
 6451  __cil_tmp23 = (unsigned long )__cil_tmp22;
 6452#line 386
 6453  __cil_tmp24 = __cil_tmp23 + 64;
 6454#line 386
 6455  udc = *((struct mv_udc **)__cil_tmp24);
 6456#line 392
 6457  __cil_tmp25 = (unsigned long )udc;
 6458#line 392
 6459  __cil_tmp26 = __cil_tmp25 + 1368;
 6460#line 392
 6461  __cil_tmp27 = *((struct dma_pool **)__cil_tmp26);
 6462#line 392
 6463  tmp___0 = ldv_dma_pool_alloc_19(__cil_tmp27, 208U, dma);
 6464#line 392
 6465  dtd = (struct mv_dtd *)tmp___0;
 6466  }
 6467  {
 6468#line 393
 6469  __cil_tmp28 = (struct mv_dtd *)0;
 6470#line 393
 6471  __cil_tmp29 = (unsigned long )__cil_tmp28;
 6472#line 393
 6473  __cil_tmp30 = (unsigned long )dtd;
 6474#line 393
 6475  if (__cil_tmp30 == __cil_tmp29) {
 6476#line 394
 6477    return (dtd);
 6478  } else {
 6479
 6480  }
 6481  }
 6482#line 396
 6483  __cil_tmp31 = (unsigned long )dtd;
 6484#line 396
 6485  __cil_tmp32 = __cil_tmp31 + 32;
 6486#line 396
 6487  *((dma_addr_t *)__cil_tmp32) = *dma;
 6488#line 398
 6489  __cil_tmp33 = 0 + 84;
 6490#line 398
 6491  __cil_tmp34 = (unsigned long )req;
 6492#line 398
 6493  __cil_tmp35 = __cil_tmp34 + __cil_tmp33;
 6494#line 398
 6495  __cil_tmp36 = *((unsigned int *)__cil_tmp35);
 6496#line 398
 6497  __cil_tmp37 = 0 + 16;
 6498#line 398
 6499  __cil_tmp38 = (unsigned long )req;
 6500#line 398
 6501  __cil_tmp39 = __cil_tmp38 + __cil_tmp37;
 6502#line 398
 6503  __cil_tmp40 = *((dma_addr_t *)__cil_tmp39);
 6504#line 398
 6505  __cil_tmp41 = (unsigned int )__cil_tmp40;
 6506#line 398
 6507  temp = __cil_tmp41 + __cil_tmp36;
 6508#line 399
 6509  __cil_tmp42 = (unsigned long )dtd;
 6510#line 399
 6511  __cil_tmp43 = __cil_tmp42 + 8;
 6512#line 399
 6513  *((u32 *)__cil_tmp43) = temp;
 6514#line 400
 6515  temp = temp & 4294963200U;
 6516#line 401
 6517  __cil_tmp44 = (unsigned long )dtd;
 6518#line 401
 6519  __cil_tmp45 = __cil_tmp44 + 12;
 6520#line 401
 6521  *((u32 *)__cil_tmp45) = temp + 4096U;
 6522#line 402
 6523  __cil_tmp46 = (unsigned long )dtd;
 6524#line 402
 6525  __cil_tmp47 = __cil_tmp46 + 16;
 6526#line 402
 6527  *((u32 *)__cil_tmp47) = temp + 8192U;
 6528#line 403
 6529  __cil_tmp48 = (unsigned long )dtd;
 6530#line 403
 6531  __cil_tmp49 = __cil_tmp48 + 20;
 6532#line 403
 6533  *((u32 *)__cil_tmp49) = temp + 12288U;
 6534#line 404
 6535  __cil_tmp50 = (unsigned long )dtd;
 6536#line 404
 6537  __cil_tmp51 = __cil_tmp50 + 24;
 6538#line 404
 6539  *((u32 *)__cil_tmp51) = temp + 16384U;
 6540#line 406
 6541  __cil_tmp52 = 0 + 84;
 6542#line 406
 6543  __cil_tmp53 = (unsigned long )req;
 6544#line 406
 6545  __cil_tmp54 = __cil_tmp53 + __cil_tmp52;
 6546#line 406
 6547  __cil_tmp55 = *length;
 6548#line 406
 6549  __cil_tmp56 = 0 + 84;
 6550#line 406
 6551  __cil_tmp57 = (unsigned long )req;
 6552#line 406
 6553  __cil_tmp58 = __cil_tmp57 + __cil_tmp56;
 6554#line 406
 6555  __cil_tmp59 = *((unsigned int *)__cil_tmp58);
 6556#line 406
 6557  *((unsigned int *)__cil_tmp54) = __cil_tmp59 + __cil_tmp55;
 6558  {
 6559#line 409
 6560  __cil_tmp60 = (unsigned char *)req;
 6561#line 409
 6562  __cil_tmp61 = __cil_tmp60 + 42UL;
 6563#line 409
 6564  __cil_tmp62 = *__cil_tmp61;
 6565#line 409
 6566  __cil_tmp63 = (unsigned int )__cil_tmp62;
 6567#line 409
 6568  if (__cil_tmp63 != 0U) {
 6569    {
 6570#line 410
 6571    __cil_tmp64 = *length;
 6572#line 410
 6573    if (__cil_tmp64 == 0U) {
 6574#line 411
 6575      *is_last = 1;
 6576    } else {
 6577      {
 6578#line 410
 6579      __cil_tmp65 = 0 + 40;
 6580#line 410
 6581      __cil_tmp66 = (unsigned long )req;
 6582#line 410
 6583      __cil_tmp67 = __cil_tmp66 + 112;
 6584#line 410
 6585      __cil_tmp68 = *((struct mv_ep **)__cil_tmp67);
 6586#line 410
 6587      __cil_tmp69 = (unsigned long )__cil_tmp68;
 6588#line 410
 6589      __cil_tmp70 = __cil_tmp69 + __cil_tmp65;
 6590#line 410
 6591      __cil_tmp71 = *((unsigned short *)__cil_tmp70);
 6592#line 410
 6593      __cil_tmp72 = (unsigned int )__cil_tmp71;
 6594#line 410
 6595      __cil_tmp73 = *length;
 6596#line 410
 6597      __cil_tmp74 = __cil_tmp73 % __cil_tmp72;
 6598#line 410
 6599      if (__cil_tmp74 != 0U) {
 6600#line 411
 6601        *is_last = 1;
 6602      } else {
 6603#line 413
 6604        *is_last = 0;
 6605      }
 6606      }
 6607    }
 6608    }
 6609  } else {
 6610    {
 6611#line 414
 6612    __cil_tmp75 = 0 + 84;
 6613#line 414
 6614    __cil_tmp76 = (unsigned long )req;
 6615#line 414
 6616    __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
 6617#line 414
 6618    __cil_tmp78 = *((unsigned int *)__cil_tmp77);
 6619#line 414
 6620    __cil_tmp79 = 0 + 8;
 6621#line 414
 6622    __cil_tmp80 = (unsigned long )req;
 6623#line 414
 6624    __cil_tmp81 = __cil_tmp80 + __cil_tmp79;
 6625#line 414
 6626    __cil_tmp82 = *((unsigned int *)__cil_tmp81);
 6627#line 414
 6628    if (__cil_tmp82 == __cil_tmp78) {
 6629#line 415
 6630      *is_last = 1;
 6631    } else {
 6632#line 417
 6633      *is_last = 0;
 6634    }
 6635    }
 6636  }
 6637  }
 6638#line 420
 6639  __cil_tmp83 = *length;
 6640#line 420
 6641  __cil_tmp84 = __cil_tmp83 << 16;
 6642#line 420
 6643  temp = __cil_tmp84 | 128U;
 6644  {
 6645#line 423
 6646  __cil_tmp85 = *is_last;
 6647#line 423
 6648  if (__cil_tmp85 != 0) {
 6649    {
 6650#line 423
 6651    __cil_tmp86 = (unsigned char *)req;
 6652#line 423
 6653    __cil_tmp87 = __cil_tmp86 + 42UL;
 6654#line 423
 6655    __cil_tmp88 = *__cil_tmp87;
 6656#line 423
 6657    __cil_tmp89 = (unsigned int )__cil_tmp88;
 6658#line 423
 6659    if (__cil_tmp89 == 0U) {
 6660#line 424
 6661      temp = temp | 32768U;
 6662    } else {
 6663
 6664    }
 6665    }
 6666  } else {
 6667
 6668  }
 6669  }
 6670#line 426
 6671  __cil_tmp90 = (unsigned long )dtd;
 6672#line 426
 6673  __cil_tmp91 = __cil_tmp90 + 4;
 6674#line 426
 6675  *((u32 *)__cil_tmp91) = temp;
 6676#line 428
 6677  __asm__  volatile   ("mfence": : : "memory");
 6678#line 430
 6679  return (dtd);
 6680}
 6681}
 6682#line 434 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/1956/dscv_tempdir/dscv/ri/43_1a/drivers/usb/gadget/mv_udc_core.c.p"
 6683static int req_to_dtd(struct mv_req *req ) 
 6684{ unsigned int count ;
 6685  int is_last ;
 6686  int is_first ;
 6687  struct mv_dtd *dtd ;
 6688  struct mv_dtd *last_dtd ;
 6689  struct mv_udc *udc ;
 6690  dma_addr_t dma ;
 6691  unsigned long __cil_tmp9 ;
 6692  unsigned long __cil_tmp10 ;
 6693  struct mv_ep *__cil_tmp11 ;
 6694  unsigned long __cil_tmp12 ;
 6695  unsigned long __cil_tmp13 ;
 6696  struct mv_dtd *__cil_tmp14 ;
 6697  unsigned long __cil_tmp15 ;
 6698  unsigned long __cil_tmp16 ;
 6699  unsigned long __cil_tmp17 ;
 6700  unsigned long __cil_tmp18 ;
 6701  dma_addr_t *__cil_tmp19 ;
 6702  dma_addr_t __cil_tmp20 ;
 6703  unsigned long __cil_tmp21 ;
 6704  unsigned long __cil_tmp22 ;
 6705  unsigned long __cil_tmp23 ;
 6706  unsigned long __cil_tmp24 ;
 6707  unsigned long __cil_tmp25 ;
 6708  unsigned long __cil_tmp26 ;
 6709  unsigned int __cil_tmp27 ;
 6710  int *__cil_tmp28 ;
 6711  int __cil_tmp29 ;
 6712  unsigned long __cil_tmp30 ;
 6713  unsigned long __cil_tmp31 ;
 6714
 6715  {
 6716#line 437
 6717  is_first = 1;
 6718#line 438
 6719  last_dtd = (struct mv_dtd *)0;
 6720#line 442
 6721  __cil_tmp9 = (unsigned long )req;
 6722#line 442
 6723  __cil_tmp10 = __cil_tmp9 + 112;
 6724#line 442
 6725  __cil_tmp11 = *((struct mv_ep **)__cil_tmp10);
 6726