11114 switch_default:
11115#line 1568
11116 goto switch_break;
11117 } else {
11118 switch_break: ;
11119 }
11120 }
11121 }
11122 while_break___0: ;
11123 }
11124
11125 while_break:
11126 {
11127#line 1590
11128 cqcam_cleanup();
11129 }
11130 ldv_final:
11131 {
11132#line 1593
11133 ldv_check_final_state();
11134 }
11135#line 1596
11136 return;
11137}
11138}
11139#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/media/video/c-qcam.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast-assert.h"
11140void ldv_blast_assert(void)
11141{
11142
11143 {
11144 ERROR:
11145#line 6
11146 goto ERROR;
11147}
11148}
11149#line 7 "/anthill/stuff/tacas-comp/work/current--X--drivers/media/video/c-qcam.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast.h"
11150extern void *ldv_undefined_pointer(void) ;
11151#line 1332 "include/linux/usb.h"
11152struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags ) __attribute__((__ldv_model__)) ;
11153#line 1333
11154void usb_free_urb(struct urb *urb ) __attribute__((__ldv_model__)) ;