13103 goto ldv_25063;
13104 } else
13105#line 2610
13106 if (ldv_s_it87_driver_platform_driver != 0) {
13107#line 2612
13108 goto ldv_25063;
13109 } else {
13110#line 2614
13111 goto ldv_25065;
13112 }
13113 ldv_25065: ;
13114 ldv_module_exit:
13115 {
13116#line 2905
13117 sm_it87_exit();
13118 }
13119 ldv_final:
13120 {
13121#line 2908
13122 ldv_check_final_state();
13123 }
13124#line 2911
13125 return;
13126}
13127}
13128#line 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/hwmon/it87.ko--X--bulklinux-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"
13129void ldv_blast_assert(void)
13130{
13131
13132 {
13133 ERROR: ;
13134#line 6
13135 goto ERROR;
13136}
13137}
13138#line 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/hwmon/it87.ko--X--bulklinux-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"
13139extern int ldv_undefined_int(void) ;
13140#line 2928 "/anthill/stuff/tacas-comp/work/current--X--drivers/hwmon/it87.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/hwmon/it87.c.p"
13141int ldv_module_refcounter = 1;
13142#line 2931 "/anthill/stuff/tacas-comp/work/current--X--drivers/hwmon/it87.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/hwmon/it87.c.p"
13143void ldv_module_get(struct module *module )