15847
15848 }
15849 }
15850#line 1207
15851 __cil_tmp167 = (unsigned long )adapter;
15852#line 1207
15853 __cil_tmp168 = __cil_tmp167 + 2803;
15854#line 1207
15855 *((u8 *)__cil_tmp168) = (u8 )1;
15856#line 1208
15857 __cil_tmp169 = (unsigned long )adapter;
15858#line 1208
15859 __cil_tmp170 = __cil_tmp169 + 480;
15860#line 1208
15861 *((struct sk_buff **)__cil_tmp170) = skb_cmd;
15862 } else {
15863
15864 }
15865 }
15866 }
15867 }
15868#line 1216
15869 return (0);
15870}
15871}
15872#line 1256
15873static int mwifiex_pcie_event_complete(struct mwifiex_adapter *adapter , struct sk_buff *skb ) ;
15874#line 1256 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/10020/dscv_tempdir/dscv/ri/32_1/drivers/net/wireless/mwifiex/pcie.c.common.c"
15875static struct _ddebug __attribute__((__aligned__(8))) descriptor___27 __attribute__((__used__,
15876__section__("__verbose"))) = {"mwifiex_pcie", "mwifiex_pcie_event_complete", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/10020/dscv_tempdir/dscv/ri/32_1/drivers/net/wireless/mwifiex/pcie.c.common.c",
15877 "info: ERROR: buf still valid at index %d, <%p, %p>\n", 1258U, 0U};
15878#line 1267
15879static int mwifiex_pcie_event_complete(struct mwifiex_adapter *adapter , struct sk_buff *skb ) ;
15880#line 1267 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/10020/dscv_tempdir/dscv/ri/32_1/drivers/net/wireless/mwifiex/pcie.c.common.c"
15881static struct _ddebug __attribute__((__aligned__(8))) descriptor___28 __attribute__((__used__,
15882__section__("__verbose"))) = {"mwifiex_pcie", "mwifiex_pcie_event_complete", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/10020/dscv_tempdir/dscv/ri/32_1/drivers/net/wireless/mwifiex/pcie.c.common.c",
15883 "info: Updated <Rd: 0x%x, Wr: 0x%x>", 1268U, 0U};
15884#line 1277
15885static int mwifiex_pcie_event_complete(struct mwifiex_adapter *adapter , struct sk_buff *skb ) ;
15886#line 1277 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/10020/dscv_tempdir/dscv/ri/32_1/drivers/net/wireless/mwifiex/pcie.c.common.c"
15887static struct _ddebug __attribute__((__aligned__(8))) descriptor___29 __attribute__((__used__,