1398#line 141
1399 __cil_tmp12 = (int (*)(void * ))__cil_tmp11;
1400#line 141
1401 __cil_tmp13 = (void *)0;
1402#line 141
1403 __cil_tmp14 = (void (*)(void * ))__cil_tmp13;
1404#line 141
1405 __cil_tmp15 = (void *)0;
1406#line 141
1407 __cil_tmp16 = (void (*)(void * ))__cil_tmp15;
1408#line 141
1409 __cil_tmp17 = 1 << 1;
1410#line 141
1411 __cil_tmp18 = (void *)0;
1412#line 141
1413 ks0108_pardevice = parport_register_device(ks0108_parport, "ks0108", __cil_tmp12,
1414 __cil_tmp14, __cil_tmp16, __cil_tmp17,
1415 __cil_tmp18);
1416 }
1417 {
1418#line 143
1419 __cil_tmp19 = (void *)0;
1420#line 143
1421 __cil_tmp20 = (unsigned long )__cil_tmp19;
1422#line 143
1423 __cil_tmp21 = (unsigned long )ks0108_pardevice;
1424#line 143
1425 if (__cil_tmp21 == __cil_tmp20) {
1426 {
1427#line 144
1428 printk("<3>ks0108: ERROR: parport didn\'t register new device\n");
1429 }
1430#line 146
1431 goto none;
1432 } else {
1433
1434 }
1435 }
1436 {
1437#line 149
1438 result = parport_claim(ks0108_pardevice);