Preprocessing e1000.merged.c gcc -D_GNUCC -E -DCIL=1 e1000.merged.c -o /tmp/cil-uyJMXJI0.i /scratch/sym/cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-J8uFa8vK.cil.c --verbose --dodrivers --dofuncptr false --dovoidptr false --do-symdriver-test false --dowhat find-roots e1000.entry_points.txt /tmp/cil-uyJMXJI0.i Frontc is parsing /tmp/cil-uyJMXJI0.i Converting CABS->CIL e1000.merged.c:15574: Warning: e1000.merged.c:15574: CIL only supports attribute((alias)) for functions. Removing unused temporaries Running CIL feature drivers (device-driver analysis) ************************************************************** Generating Root annotations ************************************************************** ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.gprc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.gprc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.gptc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.gptc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.gorcl) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.gorcl ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.gotcl) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.gotcl ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.bprc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.bprc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.bptc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.bptc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mprc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mprc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mptc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mptc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.rxerrc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.rxerrc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.txerrc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.txerrc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->net_stats.tx_dropped) ROOT 3 failed: & ((struct e1000_adapter *)0)->net_stats.tx_dropped ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mprc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mprc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.colc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.colc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.rlerrc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.rlerrc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->net_stats.rx_over_errors) ROOT 3 failed: & ((struct e1000_adapter *)0)->net_stats.rx_over_errors ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.crcerrs) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.crcerrs ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->net_stats.rx_frame_errors) ROOT 3 failed: & ((struct e1000_adapter *)0)->net_stats.rx_frame_errors ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.rnbc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.rnbc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mpc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mpc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.ecol) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.ecol ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.tncrs) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.tncrs ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->net_stats.tx_fifo_errors) ROOT 3 failed: & ((struct e1000_adapter *)0)->net_stats.tx_fifo_errors ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->net_stats.tx_heartbeat_errors) ROOT 3 failed: & ((struct e1000_adapter *)0)->net_stats.tx_heartbeat_errors ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.latecol) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.latecol ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.latecol) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.latecol ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.dc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.dc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.scc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.scc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mcc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mcc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->tx_timeout_count) ROOT 3 failed: & ((struct e1000_adapter *)0)->tx_timeout_count ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->restart_queue) ROOT 3 failed: & ((struct e1000_adapter *)0)->restart_queue ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.roc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.roc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.ruc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.ruc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.algnerrc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.algnerrc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.tsctc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.tsctc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.tsctfc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.tsctfc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.xonrxc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.xonrxc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.xoffrxc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.xoffrxc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.xontxc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.xontxc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.xofftxc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.xofftxc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.gorcl) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.gorcl ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->hw_csum_good) ROOT 3 failed: & ((struct e1000_adapter *)0)->hw_csum_good ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->hw_csum_err) ROOT 3 failed: & ((struct e1000_adapter *)0)->hw_csum_err ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->rx_hdr_split) ROOT 3 failed: & ((struct e1000_adapter *)0)->rx_hdr_split ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->alloc_rx_buff_failed) ROOT 3 failed: & ((struct e1000_adapter *)0)->alloc_rx_buff_failed ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mgptc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mgptc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mgprc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mgprc ROOT 5 failed: struct e1000_stats const [47] ROOT 3 failed: sizeof(((struct e1000_adapter *)0)->stats.mgpdc) ROOT 3 failed: & ((struct e1000_adapter *)0)->stats.mgpdc ROOT 2: e1000_get_settings ROOT 2: e1000_set_settings ROOT 2: e1000_get_drvinfo ROOT 2: e1000_get_regs_len ROOT 2: e1000_get_regs ROOT 2: e1000_get_wol ROOT 2: e1000_set_wol ROOT 2: e1000_get_msglevel ROOT 2: e1000_set_msglevel ROOT 2: e1000_nway_reset ROOT 2: ethtool_op_get_link ROOT 2: e1000_get_eeprom_len ROOT 2: e1000_get_eeprom ROOT 2: e1000_set_eeprom ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: e1000_get_ringparam ROOT 2: e1000_set_ringparam ROOT 2: e1000_get_pauseparam ROOT 2: e1000_set_pauseparam ROOT 2: e1000_get_rx_csum ROOT 2: e1000_set_rx_csum ROOT 2: e1000_get_tx_csum ROOT 2: e1000_set_tx_csum ROOT 3 failed: 0 ROOT 2: ethtool_op_set_sg ROOT 3 failed: 0 ROOT 2: e1000_set_tso ROOT 2: e1000_diag_test ROOT 2: e1000_get_strings ROOT 2: e1000_phys_id ROOT 2: e1000_get_ethtool_stats ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: e1000_get_sset_count ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 3 failed: sizeof(TxDescriptors) / sizeof(TxDescriptors[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_TxDescriptors ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(TxDescriptors[0]) ROOT 3 failed: TxDescriptors ROOT 3 failed: __param_str_TxDescriptors ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(RxDescriptors) / sizeof(RxDescriptors[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_RxDescriptors ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(RxDescriptors[0]) ROOT 3 failed: RxDescriptors ROOT 3 failed: __param_str_RxDescriptors ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(Speed) / sizeof(Speed[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_Speed ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(Speed[0]) ROOT 3 failed: Speed ROOT 3 failed: __param_str_Speed ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(Duplex) / sizeof(Duplex[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_Duplex ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(Duplex[0]) ROOT 3 failed: Duplex ROOT 3 failed: __param_str_Duplex ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(AutoNeg) / sizeof(AutoNeg[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_AutoNeg ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(AutoNeg[0]) ROOT 3 failed: AutoNeg ROOT 3 failed: __param_str_AutoNeg ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(FlowControl) / sizeof(FlowControl[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_FlowControl ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(FlowControl[0]) ROOT 3 failed: FlowControl ROOT 3 failed: __param_str_FlowControl ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(XsumRX) / sizeof(XsumRX[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_XsumRX ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(XsumRX[0]) ROOT 3 failed: XsumRX ROOT 3 failed: __param_str_XsumRX ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(TxIntDelay) / sizeof(TxIntDelay[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_TxIntDelay ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(TxIntDelay[0]) ROOT 3 failed: TxIntDelay ROOT 3 failed: __param_str_TxIntDelay ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(TxAbsIntDelay) / sizeof(TxAbsIntDelay[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_TxAbsIntDelay ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(TxAbsIntDelay[0]) ROOT 3 failed: TxAbsIntDelay ROOT 3 failed: __param_str_TxAbsIntDelay ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(RxIntDelay) / sizeof(RxIntDelay[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_RxIntDelay ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(RxIntDelay[0]) ROOT 3 failed: RxIntDelay ROOT 3 failed: __param_str_RxIntDelay ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(RxAbsIntDelay) / sizeof(RxAbsIntDelay[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_RxAbsIntDelay ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(RxAbsIntDelay[0]) ROOT 3 failed: RxAbsIntDelay ROOT 3 failed: __param_str_RxAbsIntDelay ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(InterruptThrottleRate) / sizeof(InterruptThrottleRate[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_InterruptThrottleRate ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(InterruptThrottleRate[0]) ROOT 3 failed: InterruptThrottleRate ROOT 3 failed: __param_str_InterruptThrottleRate ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(SmartPowerDownEnable) / sizeof(SmartPowerDownEnable[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_SmartPowerDownEnable ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(SmartPowerDownEnable[0]) ROOT 3 failed: SmartPowerDownEnable ROOT 3 failed: __param_str_SmartPowerDownEnable ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: sizeof(KumeranLockLoss) / sizeof(KumeranLockLoss[0]) + (sizeof(char [1]) - 1UL) ROOT 2: num_KumeranLockLoss ROOT 5 failed: struct kparam_array const ROOT 2: param_set_int ROOT 5 failed: struct kparam_array const ROOT 2: param_get_int ROOT 5 failed: struct kparam_array const ROOT 3 failed: sizeof(KumeranLockLoss[0]) ROOT 3 failed: KumeranLockLoss ROOT 3 failed: __param_str_KumeranLockLoss ROOT 3 failed: 0U ROOT 2: param_array_set ROOT 5 failed: struct kernel_param const ROOT 2: param_array_get ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: 0 ROOT 3 failed: "" ROOT 3 failed: 10 ROOT 3 failed: "" ROOT 3 failed: 100 ROOT 3 failed: "" ROOT 3 failed: 1000 ROOT 3 failed: "" ROOT 3 failed: 0 ROOT 3 failed: "" ROOT 3 failed: 1 ROOT 3 failed: "" ROOT 3 failed: 2 ROOT 3 failed: "" ROOT 3 failed: 1 ROOT 3 failed: "AutoNeg advertising 10/HD" ROOT 3 failed: 2 ROOT 3 failed: "AutoNeg advertising 10/FD" ROOT 3 failed: 3 ROOT 3 failed: "AutoNeg advertising 10/FD, 10/HD" ROOT 3 failed: 4 ROOT 3 failed: "AutoNeg advertising 100/HD" ROOT 3 failed: 5 ROOT 3 failed: "AutoNeg advertising 100/HD, 10/HD" ROOT 3 failed: 6 ROOT 3 failed: "AutoNeg advertising 100/HD, 10/FD" ROOT 3 failed: 7 ROOT 3 failed: "AutoNeg advertising 100/HD, 10/FD, 10/HD" ROOT 3 failed: 8 ROOT 3 failed: "AutoNeg advertising 100/FD" ROOT 3 failed: 9 ROOT 3 failed: "AutoNeg advertising 100/FD, 10/HD" ROOT 3 failed: 10 ROOT 3 failed: "AutoNeg advertising 100/FD, 10/FD" ROOT 3 failed: 11 ROOT 3 failed: "AutoNeg advertising 100/FD, 10/FD, 10/HD" ROOT 3 failed: 12 ROOT 3 failed: "AutoNeg advertising 100/FD, 100/HD" ROOT 3 failed: 13 ROOT 3 failed: "AutoNeg advertising 100/FD, 100/HD, 10/HD" ROOT 3 failed: 14 ROOT 3 failed: "AutoNeg advertising 100/FD, 100/HD, 10/FD" ROOT 3 failed: 15 ROOT 3 failed: "AutoNeg advertising 100/FD, 100/HD, 10/FD, 10/HD" ROOT 3 failed: 32 ROOT 3 failed: "AutoNeg advertising 1000/FD" ROOT 3 failed: 33 ROOT 3 failed: "AutoNeg advertising 1000/FD, 10/HD" ROOT 3 failed: 34 ROOT 3 failed: "AutoNeg advertising 1000/FD, 10/FD" ROOT 3 failed: 35 ROOT 3 failed: "AutoNeg advertising 1000/FD, 10/FD, 10/HD" ROOT 3 failed: 36 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/HD" ROOT 3 failed: 37 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/HD, 10/HD" ROOT 3 failed: 38 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/HD, 10/FD" ROOT 3 failed: 39 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/HD, 10/FD, 10/HD" ROOT 3 failed: 40 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD" ROOT 3 failed: 41 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 10/HD" ROOT 3 failed: 42 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 10/FD" ROOT 3 failed: 43 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 10/FD, 10/HD" ROOT 3 failed: 44 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 100/HD" ROOT 3 failed: 45 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 100/HD, 10/HD" ROOT 3 failed: 46 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 100/HD, 10/FD" ROOT 3 failed: 47 ROOT 3 failed: "AutoNeg advertising 1000/FD, 100/FD, 100/HD, 10/FD, 10/HD" ROOT 3 failed: 32902U ROOT 3 failed: 4096U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4097U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4100U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4104U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4105U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4108U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4109U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4110U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4111U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4112U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4113U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4114U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4115U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4116U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4117U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4118U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4119U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4120U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4121U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4122U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4125U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4126U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4134U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4135U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4136U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4213U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4214U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4215U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4216U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4217U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4218U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4219U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4220U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4234U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4249U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 32902U ROOT 3 failed: 4277U ROOT 3 failed: ~ 0 ROOT 3 failed: ~ 0 ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0U ROOT 3 failed: 0UL ROOT 3 failed: __param_str_copybreak ROOT 3 failed: 420U ROOT 2: param_set_uint ROOT 5 failed: struct kernel_param const ROOT 2: param_get_uint ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 2: e1000_io_error_detected ROOT 5 failed: struct pci_error_handlers ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: e1000_io_slot_reset ROOT 5 failed: struct pci_error_handlers ROOT 2: e1000_io_resume ROOT 5 failed: struct pci_error_handlers ROOT 3 failed: e1000_driver_name ROOT 3 failed: e1000_pci_tbl ROOT 2: e1000_probe ROOT 2: e1000_remove ROOT 2: e1000_suspend ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: e1000_resume ROOT 2: e1000_shutdown ROOT 2: e1000_err_handler ROOT 3 failed: __param_str_debug ROOT 3 failed: 0U ROOT 2: param_set_int ROOT 5 failed: struct kernel_param const ROOT 2: param_get_int ROOT 5 failed: struct kernel_param const ROOT 5 failed: struct kernel_param const ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: e1000_open ROOT 2: e1000_close ROOT 2: e1000_xmit_frame ROOT 3 failed: 0 ROOT 3 failed: 0 ROOT 2: e1000_set_rx_mode ROOT 3 failed: 0 ROOT 2: e1000_set_mac ROOT 2: eth_validate_addr ROOT 2: e1000_ioctl ROOT 3 failed: 0 ROOT 2: e1000_change_mtu ROOT 3 failed: 0 ROOT 2: e1000_tx_timeout ROOT 2: e1000_get_stats ROOT 2: e1000_vlan_rx_register ROOT 2: e1000_vlan_rx_add_vid ROOT 2: e1000_vlan_rx_kill_vid ROOT 2: e1000_netpoll ROOT 5 failed: spinlock_t ROOT 3 failed: 3735899821U ROOT 3 failed: 4294967295U ROOT 3 failed: -1L ROOT 5 failed: spinlock_t init_module init_module e1000_set_settings set_settings eth_validate_addr ndo_validate_addr e1000_get_strings get_strings e1000_get_rx_csum get_rx_csum e1000_close ndo_stop e1000_get_msglevel get_msglevel e1000_probe probe_pci e1000_set_rx_mode ndo_set_rx_mode e1000_test_intr interrupt e1000_intr interrupt e1000_get_wol get_wol e1000_get_regs get_regs e1000_ioctl ndo_do_ioctl e1000_get_drvinfo get_drvinfo e1000_get_stats ndo_get_stats e1000_set_msglevel set_msglevel e1000_get_eeprom get_eeprom ethtool_op_get_link get_link e1000_set_mac ndo_set_mac_address e1000_get_ethtool_stats get_ethtool_stats e1000_netpoll ndo_poll_controller e1000_open ndo_open ethtool_op_set_sg set_sg e1000_set_tx_csum set_tx_csum e1000_get_sset_count get_sset_count e1000_intr_msi interrupt e1000_tx_timeout ndo_tx_timeout e1000_vlan_rx_add_vid ndo_vlan_rx_add_vid e1000_get_eeprom_len get_eeprom_len e1000_phys_id phys_id e1000_set_wol set_wol e1000_set_pauseparam set_pauseparam e1000_shutdown shutdown_pci e1000_get_regs_len get_regs_len e1000_change_mtu ndo_change_mtu e1000_get_tx_csum get_tx_csum e1000_set_rx_csum set_rx_csum e1000_set_eeprom set_eeprom e1000_resume resume_pci e1000_nway_reset nway_reset cleanup_module cleanup_module e1000_set_ringparam set_ringparam e1000_remove remove_pci e1000_get_settings get_settings e1000_xmit_frame ndo_start_xmit e1000_diag_test self_test e1000_get_pauseparam get_pauseparam e1000_vlan_rx_kill_vid ndo_vlan_rx_kill_vid e1000_get_ringparam get_ringparam e1000_set_tso set_tso e1000_vlan_rx_register ndo_vlan_rx_register ======================================================= ======================================================= #### Total execution time: 0.739886 printing file /tmp/cil-J8uFa8vK.cil.c Timings: TOTAL 0.000 s Timing used Unix.time Memory statistics: total=236.69Mb, max=14.73Mb, minor=236.55Mb, major=17.33Mb, promoted=17.19Mb minor collections=1804 major collections=14 compactions=0 Preprocessing /tmp/cil-J8uFa8vK.cil.c gcc -D_GNUCC -E /tmp/cil-J8uFa8vK.cil.c -o /tmp/cil-vBynmq1t.cil.i