4459
4460 }
4461#line 207
4462 result = 0;
4463 error:
4464#line 209
4465 return (result);
4466}
4467}
4468#line 211
4469extern void *__crc_i1480_fw_upload __attribute__((__weak__)) ;
4470#line 211 "/anthill/stuff/tacas-comp/work/current--X--drivers/uwb/i1480/dfu/i1480-dfu-usb.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/14/dscv_tempdir/dscv/ri/68_1/drivers/uwb/i1480/dfu/dfu.c.common.c"
4471static unsigned long const __kcrctab_i1480_fw_upload __attribute__((__used__, __unused__,
4472__section__("___kcrctab_gpl+i1480_fw_upload"))) = (unsigned long const )((unsigned long )(& __crc_i1480_fw_upload));
4473#line 211 "/anthill/stuff/tacas-comp/work/current--X--drivers/uwb/i1480/dfu/i1480-dfu-usb.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/14/dscv_tempdir/dscv/ri/68_1/drivers/uwb/i1480/dfu/dfu.c.common.c"
4474static char const __kstrtab_i1480_fw_upload[16] __attribute__((__section__("__ksymtab_strings"),
4475__aligned__(1))) =
4476#line 211
4477 { (char const )'i', (char const )'1', (char const )'4', (char const )'8',
4478 (char const )'0', (char const )'_', (char const )'f', (char const )'w',
4479 (char const )'_', (char const )'u', (char const )'p', (char const )'l',
4480 (char const )'o', (char const )'a', (char const )'d', (char const )'\000'};
4481#line 211 "/anthill/stuff/tacas-comp/work/current--X--drivers/uwb/i1480/dfu/i1480-dfu-usb.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/14/dscv_tempdir/dscv/ri/68_1/drivers/uwb/i1480/dfu/dfu.c.common.c"
4482static struct kernel_symbol const __ksymtab_i1480_fw_upload __attribute__((__used__,
4483__unused__, __section__("___ksymtab_gpl+i1480_fw_upload"))) = {(unsigned long )(& i1480_fw_upload), __kstrtab_i1480_fw_upload};
4484#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/uwb/i1480/dfu/i1480-dfu-usb.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/14/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast-assert.h"
4485void ldv_blast_assert(void)
4486{
4487
4488 {
4489 ERROR:
4490#line 6
4491 goto ERROR;
4492}
4493}
4494#line 7 "/anthill/stuff/tacas-comp/work/current--X--drivers/uwb/i1480/dfu/i1480-dfu-usb.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/14/dscv_tempdir/dscv/ri/68_1/kernel-rules/files/engine-blast.h"
4495extern void *ldv_undefined_pointer(void) ;
4496#line 1332 "include/linux/usb.h"
4497struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags ) __attribute__((__ldv_model__)) ;
4498#line 1333
4499void usb_free_urb(struct urb *urb ) __attribute__((__ldv_model__)) ;