21635 } else
21636#line 3742
21637 if (ldv_s_ops_atmdev_ops != 0) {
21638#line 3745
21639 goto ldv_40768;
21640 } else
21641#line 3742
21642 if (ldv_s_eni_driver_pci_driver != 0) {
21643#line 3745
21644 goto ldv_40768;
21645 } else {
21646#line 3747
21647 goto ldv_40770;
21648 }
21649 ldv_40770: ;
21650 ldv_module_exit: ;
21651 ldv_final:
21652 {
21653#line 5134
21654 ldv_check_final_state();
21655 }
21656#line 5137
21657 return;
21658}
21659}
21660#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/atm/eni.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/kernel-rules/files/engine-blast-assert.h"
21661void ldv_blast_assert(void)
21662{
21663
21664 {
21665 ERROR: ;
21666#line 6
21667 goto ERROR;
21668}
21669}
21670#line 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/atm/eni.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/kernel-rules/files/engine-blast.h"
21671extern int ldv_undefined_int(void) ;
21672#line 5154 "/anthill/stuff/tacas-comp/work/current--X--drivers/atm/eni.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/atm/eni.c.p"
21673int ldv_module_refcounter = 1;
21674#line 5157 "/anthill/stuff/tacas-comp/work/current--X--drivers/atm/eni.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/atm/eni.c.p"
21675void ldv_module_get(struct module *module )