9965 goto ldv_22776;
9966 } else
9967#line 3635
9968 if (ldv_s_ipmi_wdog_fops_file_operations != 0) {
9969#line 3637
9970 goto ldv_22776;
9971 } else {
9972#line 3639
9973 goto ldv_22778;
9974 }
9975 ldv_22778: ;
9976 ldv_module_exit:
9977 {
9978#line 6072
9979 ipmi_wdog_exit();
9980 }
9981 ldv_final:
9982 {
9983#line 6075
9984 ldv_check_final_state();
9985 }
9986#line 6078
9987 return;
9988}
9989}
9990#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/char/ipmi/ipmi_watchdog.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"
9991void ldv_blast_assert(void)
9992{
9993
9994 {
9995 ERROR: ;
9996#line 6
9997 goto ERROR;
9998}
9999}
10000#line 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/char/ipmi/ipmi_watchdog.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"
10001extern int ldv_undefined_int(void) ;
10002#line 6095 "/anthill/stuff/tacas-comp/work/current--X--drivers/char/ipmi/ipmi_watchdog.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/char/ipmi/ipmi_watchdog.c.p"
10003int ldv_module_refcounter = 1;
10004#line 6098 "/anthill/stuff/tacas-comp/work/current--X--drivers/char/ipmi/ipmi_watchdog.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/char/ipmi/ipmi_watchdog.c.p"
10005void ldv_module_get(struct module *module )