Preprocessing r8169.merged.sym.c gcc -D_GNUCC -E -DCIL=1 r8169.merged.sym.c -o ./r8169.merged.sym.i /scratch/sym/cil/obj/x86_LINUX/cilly.asm.exe --out ./r8169.merged.sym.cil.c --verbose --commPrintLnSparse --docarb --sfireads --sfiwrites --heapifyAll --dodrivers --dofuncptr false --dovoidptr false --do-symdriver-test false --dobecons false --dowhat normal-user r8169.all_annots.txt r8169.entry_points.txt ./r8169.merged.sym.i Frontc is parsing ./r8169.merged.sym.i Converting CABS->CIL /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:190: Warning: /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:190: CIL only supports attribute((alias)) for functions. /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:786: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1132: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1382: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1403: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1416: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1427: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1440: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1455: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1480: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1507: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1529: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1570: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1605: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:1625: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2108: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2112: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2394: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2585: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2629: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2643: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:2805: Warning: CALL in constant /scratch/sym/ipc_drivers/r8169/r8169_annotated.c:3858: Warning: Return statement without a value in function returning int Removing unused temporaries Running CIL feature carb (Carburizer Analysis) scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(1)... scanning globals(1)... scanning globals(1)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(1)... ****** ISOLATING :::: rtl8169_get_wol ::::::::::odftPerforimg heapify rtl8169_get_wolscanning globals(0)... scanning globals(1)... ****** ISOLATING :::: rtl8169_get_drvinfo ::::::::::odftPerforimg heapify rtl8169_get_drvinfoscanning globals(1)... ****** ISOLATING :::: rtl8169_get_regs_len ::::::::::odftPerforimg heapify rtl8169_get_regs_lenscanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(1)... ****** ISOLATING :::: rtl8169_get_rx_csum ::::::::::odftPerforimg heapify rtl8169_get_rx_csumscanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(1)... ****** ISOLATING :::: rtl8169_get_regs ::::::::::odftPerforimg heapify rtl8169_get_regsscanning globals(1)... ****** ISOLATING :::: rtl8169_get_msglevel ::::::::::odftPerforimg heapify rtl8169_get_msglevelscanning globals(0)... scanning globals(1)... ****** ISOLATING :::: rtl8169_get_sset_count ::::::::::odftPerforimg heapify rtl8169_get_sset_countscanning globals(0)... scanning globals(1)... ****** ISOLATING :::: rtl8169_get_ethtool_stats ::::::::::odftPerforimg heapify rtl8169_get_ethtool_statsscanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(1)... scanning globals(1)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(0)... scanning globals(2)... scanning globals(1)... scanning globals(0)... scanning globals(0)... skipped generating err reports. skipped generating err reports. ====================Hardware dependence bugs====================== Infinite polling: 1. Unsafe static array deference: 0 Dynamic array deference: 0 Unsafe halt code: 0 Missing error report on device failure: 1 Missing error report on device timeout: 10 Existing device failures reported: 1 Other(ignore)dma 3. ====================Detailed Summary(with line numbers)================= Missing timeout:542 Missing timeout:559 Missing timeout:602 Missing timeout:616 Missing timeout:635 Missing timeout:650 Missing timeout:1164 Infinite Loop:1314 Missing report:2082 Missing timeout:2097 Missing timeout:2337 Missing timeout:2394 Note: When CIL cannot compute line numbers: Line numbers show up as -1. FAULTINJECTION - NOt perforfming FIAbout to call sfi with kernel parameter 0... Performing sfi wth gen_kern 0.. Activating sfi for fn:rtl8169_get_wol. Activating sfi for fn:rtl8169_get_drvinfo. Activating sfi for fn:rtl8169_get_regs_len. Activating sfi for fn:rtl8169_get_rx_csum. Activating sfi for fn:rtl8169_get_regs. Activating sfi for fn:rtl8169_get_msglevel. Activating sfi for fn:rtl8169_get_sset_count. Activating sfi for fn:rtl8169_get_ethtool_stats. Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Added new statement Running CIL feature drivers (device-driver analysis) ************************************************************** Generating user-mode split driver ************************************************************** prune_roots_analysis starting currently analyzing: set_bit currently analyzing: clear_bit currently analyzing: test_and_set_bit currently analyzing: test_and_clear_bit currently analyzing: constant_test_bit currently analyzing: __arch_swab32 currently analyzing: __fswab16 currently analyzing: __fswab32 currently analyzing: native_save_fl currently analyzing: native_irq_enable currently analyzing: __raw_local_save_flags currently analyzing: raw_local_irq_enable currently analyzing: raw_irqs_disabled_flags currently analyzing: INIT_LIST_HEAD currently analyzing: __ticket_spin_unlock currently analyzing: __raw_spin_unlock currently analyzing: kmalloc currently analyzing: device_set_wakeup_enable currently analyzing: dev_name currently analyzing: dev_get_drvdata currently analyzing: dev_set_drvdata currently analyzing: readb currently analyzing: readw currently analyzing: readl currently analyzing: writeb currently analyzing: writew currently analyzing: writel currently analyzing: virt_to_phys currently analyzing: ioremap currently analyzing: memcpy_fromio currently analyzing: pci_read_config_word currently analyzing: pci_write_config_byte currently analyzing: pci_write_config_word currently analyzing: lowmem_page_address currently analyzing: valid_dma_direction currently analyzing: is_device_dma_capable currently analyzing: get_dma_ops currently analyzing: dma_map_single currently analyzing: dma_unmap_single currently analyzing: dma_sync_single_for_cpu currently analyzing: dma_sync_single_for_device currently analyzing: dma_alloc_coherent_mask currently analyzing: dma_alloc_coherent_gfp_flags currently analyzing: dma_alloc_coherent currently analyzing: dma_free_coherent currently analyzing: pci_alloc_consistent currently analyzing: pci_free_consistent currently analyzing: pci_map_single currently analyzing: pci_unmap_single currently analyzing: pci_dma_sync_single_for_cpu currently analyzing: pci_dma_sync_single_for_device currently analyzing: pci_get_drvdata currently analyzing: pci_set_drvdata currently analyzing: pci_name currently analyzing: skb_end_pointer currently analyzing: skb_headlen currently analyzing: skb_reserve currently analyzing: skb_network_header currently analyzing: netdev_alloc_skb currently analyzing: skb_copy_from_linear_data currently analyzing: napi_disable_pending currently analyzing: napi_schedule_prep currently analyzing: napi_disable currently analyzing: napi_enable currently analyzing: netdev_get_tx_queue currently analyzing: netdev_priv currently analyzing: netif_tx_start_queue currently analyzing: netif_start_queue currently analyzing: netif_tx_wake_queue currently analyzing: netif_wake_queue currently analyzing: netif_tx_stop_queue currently analyzing: netif_stop_queue currently analyzing: netif_tx_queue_stopped currently analyzing: netif_queue_stopped currently analyzing: netif_running currently analyzing: netif_msg_init currently analyzing: netif_rx_schedule_prep currently analyzing: __netif_rx_schedule currently analyzing: netif_rx_complete currently analyzing: is_zero_ether_addr currently analyzing: is_multicast_ether_addr currently analyzing: is_valid_ether_addr currently analyzing: if_mii currently analyzing: vlan_hwaccel_receive_skb currently analyzing: ip_hdr currently analyzing: mdio_write currently analyzing: mdio_read currently analyzing: mdio_patch currently analyzing: rtl_mdio_write currently analyzing: rtl_mdio_read currently analyzing: rtl_ephy_write currently analyzing: rtl_ephy_read currently analyzing: rtl_csi_write currently analyzing: rtl_csi_read currently analyzing: rtl8169_irq_mask_and_ack currently analyzing: rtl8169_asic_down currently analyzing: rtl8169_tbi_reset_pending currently analyzing: rtl8169_xmii_reset_pending currently analyzing: rtl8169_tbi_link_ok currently analyzing: rtl8169_xmii_link_ok currently analyzing: rtl8169_tbi_reset_enable currently analyzing: rtl8169_xmii_reset_enable currently analyzing: rtl8169_check_link_status currently analyzing: rtl8169_get_wol currently analyzing: rtl8169_set_wol currently analyzing: rtl8169_get_drvinfo currently analyzing: rtl8169_get_regs_len currently analyzing: rtl8169_set_speed_tbi currently analyzing: rtl8169_set_speed_xmii currently analyzing: rtl8169_set_speed currently analyzing: rtl8169_set_settings currently analyzing: rtl8169_get_rx_csum currently analyzing: rtl8169_set_rx_csum currently analyzing: rtl8169_tx_vlan_tag currently analyzing: rtl8169_vlan_rx_register currently analyzing: rtl8169_rx_vlan_skb currently analyzing: rtl8169_gset_tbi currently analyzing: rtl8169_gset_xmii currently analyzing: rtl8169_get_settings currently analyzing: rtl8169_get_regs currently analyzing: rtl8169_get_msglevel currently analyzing: rtl8169_set_msglevel currently analyzing: rtl8169_get_sset_count currently analyzing: rtl8169_update_counters currently analyzing: rtl8169_get_ethtool_stats currently analyzing: rtl8169_get_strings currently analyzing: rtl8169_write_gmii_reg_bit currently analyzing: rtl8169_get_mac_version currently analyzing: rtl8169_print_mac_version currently analyzing: rtl_phy_write currently analyzing: rtl8169s_hw_phy_config currently analyzing: rtl8169sb_hw_phy_config currently analyzing: rtl8168bb_hw_phy_config currently analyzing: rtl8168bef_hw_phy_config currently analyzing: rtl8168cp_1_hw_phy_config currently analyzing: rtl8168cp_2_hw_phy_config currently analyzing: rtl8168c_1_hw_phy_config currently analyzing: rtl8168c_2_hw_phy_config currently analyzing: rtl8168c_3_hw_phy_config currently analyzing: rtl8168c_4_hw_phy_config currently analyzing: rtl8168d_hw_phy_config currently analyzing: rtl8102e_hw_phy_config currently analyzing: rtl_hw_phy_config currently analyzing: rtl8169_phy_timer currently analyzing: rtl8169_delete_timer currently analyzing: rtl8169_request_timer currently analyzing: rtl8169_netpoll currently analyzing: rtl8169_release_board currently analyzing: rtl8169_phy_reset currently analyzing: rtl8169_init_phy currently analyzing: rtl_rar_set currently analyzing: rtl_set_mac_address currently analyzing: rtl8169_ioctl currently analyzing: rtl_xmii_ioctl currently analyzing: rtl_tbi_ioctl currently analyzing: rtl_try_msi currently analyzing: rtl_disable_msi currently analyzing: rtl8169_init_one currently analyzing: rtl8169_remove_one currently analyzing: rtl8169_set_rxbufsize currently analyzing: rtl8169_open currently analyzing: rtl8169_hw_reset currently analyzing: rtl_set_rx_tx_config_registers currently analyzing: rtl_hw_start currently analyzing: rtl_set_rx_tx_desc_registers currently analyzing: rtl_rw_cpluscmd currently analyzing: rtl_set_rx_max_size currently analyzing: rtl8169_set_magic_reg currently analyzing: rtl_hw_start_8169 currently analyzing: rtl_tx_performance_tweak currently analyzing: rtl_csi_access_enable currently analyzing: rtl_ephy_init currently analyzing: rtl_disable_clock_request currently analyzing: rtl_hw_start_8168bb currently analyzing: rtl_hw_start_8168bef currently analyzing: __rtl_hw_start_8168cp currently analyzing: rtl_hw_start_8168cp_1 currently analyzing: rtl_hw_start_8168cp_2 currently analyzing: rtl_hw_start_8168cp_3 currently analyzing: rtl_hw_start_8168c_1 currently analyzing: rtl_hw_start_8168c_2 currently analyzing: rtl_hw_start_8168c_3 currently analyzing: rtl_hw_start_8168c_4 currently analyzing: rtl_hw_start_8168d currently analyzing: rtl_hw_start_8168 currently analyzing: rtl_hw_start_8102e_1 currently analyzing: rtl_hw_start_8102e_2 currently analyzing: rtl_hw_start_8102e_3 currently analyzing: rtl_hw_start_8101 currently analyzing: rtl8169_change_mtu currently analyzing: rtl8169_make_unusable_by_asic currently analyzing: rtl8169_free_rx_skb currently analyzing: rtl8169_mark_to_asic currently analyzing: rtl8169_map_to_asic currently analyzing: rtl8169_alloc_rx_skb currently analyzing: rtl8169_rx_clear currently analyzing: rtl8169_rx_fill currently analyzing: rtl8169_mark_as_last_descriptor currently analyzing: rtl8169_init_ring_indexes currently analyzing: rtl8169_init_ring currently analyzing: rtl8169_unmap_tx_skb currently analyzing: rtl8169_tx_clear currently analyzing: rtl8169_schedule_work currently analyzing: rtl8169_wait_for_quiescence currently analyzing: rtl8169_reinit_task currently analyzing: rtl8169_reset_task currently analyzing: rtl8169_tx_timeout currently analyzing: rtl8169_xmit_frags currently analyzing: rtl8169_tso_csum currently analyzing: rtl8169_start_xmit currently analyzing: rtl8169_pcierr_interrupt currently analyzing: rtl8169_tx_interrupt currently analyzing: rtl8169_fragmented_frame currently analyzing: rtl8169_rx_csum currently analyzing: rtl8169_try_rx_copy currently analyzing: rtl8169_rx_interrupt currently analyzing: rtl8169_interrupt currently analyzing: rtl8169_poll currently analyzing: rtl8169_rx_missed currently analyzing: rtl8169_down currently analyzing: rtl8169_close currently analyzing: rtl_set_rx_mode currently analyzing: rtl8169_get_stats currently analyzing: rtl8169_suspend currently analyzing: rtl8169_resume currently analyzing: r8169_checkpoint currently analyzing: r8169_restore currently analyzing: rtl_shutdown currently analyzing: rtl8169_init_module currently analyzing: rtl8169_cleanup_module currently analyzing: init_module currently analyzing: cleanup_module resolve_opaques_using_casts starting resolve_opaques_using_prop starting Computing FTPA... !!!!! NOTE !!!!! : FPTA analysis was not done: function-pointer targets will be empty Computing callgraph + funcptrs... DFS completed DFS completed modif: Using supplied modif for internal kernel fn: __phys_addr modif: Using supplied modif for internal kernel fn: __builtin_expect modif: Using non-conservative analysis for kernel fn: schedule_delayed_work modif: Using non-conservative analysis for kernel fn: pci_bus_read_config_word modif: Using non-conservative analysis for kernel fn: pci_bus_write_config_word modif: Using supplied modif for internal kernel fn: printk modif: Using supplied modif for internal kernel fn: __const_udelay modif: Using non-conservative analysis for kernel fn: __netdev_alloc_skb modif: Using non-conservative analysis for kernel fn: pci_enable_device modif: Using supplied modif for internal kernel fn: warn_slowpath modif: Using supplied modif for internal kernel fn: __builtin_memcpy modif: Using supplied modif for internal kernel fn: __memcpy modif: Using supplied modif for internal kernel fn: free_irq modif: Using supplied modif for internal kernel fn: msleep modif: Using non-conservative analysis for kernel fn: del_timer_sync modif: Using non-conservative analysis for kernel fn: kfree_skb modif: Using non-conservative analysis for kernel fn: _spin_lock_irq modif: Using supplied modif for internal kernel fn: synchronize_rcu modif: Using supplied modif for internal kernel fn: synchronize_irq modif: Using non-conservative analysis for kernel fn: alloc_etherdev_mq modif: Using supplied modif for internal kernel fn: msleep_interruptible modif: Using supplied modif for internal kernel fn: flush_scheduled_work modif: Using non-conservative analysis for kernel fn: netif_device_attach modif: Using supplied modif for internal kernel fn: rtnl_lock modif: Using supplied modif for internal kernel fn: rtnl_unlock modif: Using supplied modif for internal kernel fn: net_ratelimit modif: Using non-conservative analysis for kernel fn: netif_carrier_off modif: Using non-conservative analysis for kernel fn: _spin_unlock_irqrestore modif: Using non-conservative analysis for kernel fn: netif_carrier_on modif: Using non-conservative analysis for kernel fn: _spin_lock_irqsave modif: Using non-conservative analysis for kernel fn: eth_type_trans modif: Using non-conservative analysis for kernel fn: __vlan_hwaccel_rx modif: Using non-conservative analysis for kernel fn: netif_receive_skb modif: Using non-conservative analysis for kernel fn: skb_put modif: Using non-conservative analysis for kernel fn: __netif_schedule modif: Using supplied modif for internal kernel fn: netpoll_trap modif: Using non-conservative analysis for kernel fn: pci_save_state modif: Using non-conservative analysis for kernel fn: pci_set_power_state modif: Using non-conservative analysis for kernel fn: pci_restore_state modif: Using non-conservative analysis for kernel fn: pci_set_dma_mask modif: Using non-conservative analysis for kernel fn: pci_request_regions modif: Using non-conservative analysis for kernel fn: pci_clear_mwi modif: Using supplied modif for internal kernel fn: ioremap_nocache modif: Using supplied modif for internal kernel fn: memset modif: Using non-conservative analysis for kernel fn: mod_timer modif: Using supplied modif for internal kernel fn: logRead modif: Using supplied modif for internal kernel fn: logWrite modif: Using supplied modif for internal kernel fn: logStackVar modif: Using supplied modif for internal kernel fn: logStackFrame modif: Using non-conservative analysis for kernel fn: pci_disable_device modif: Using non-conservative analysis for kernel fn: free_netdev modif: Using non-conservative analysis for kernel fn: pci_release_regions modif: Using supplied modif for internal kernel fn: iounmap modif: Using supplied modif for internal kernel fn: crc32_le modif: Using non-conservative analysis for kernel fn: netif_device_detach modif: Using non-conservative analysis for kernel fn: pci_enable_wake modif: Using non-conservative analysis for kernel fn: pci_choose_state modif: Using non-conservative analysis for kernel fn: request_irq modif: Using non-conservative analysis for kernel fn: init_timer modif: Using supplied modif for internal kernel fn: rtnl_is_locked modif: Using supplied modif for internal kernel fn: dump_stack modif: Using non-conservative analysis for kernel fn: pci_set_mwi modif: Using supplied modif for internal kernel fn: __kmalloc modif: Using non-conservative analysis for kernel fn: register_netdev modif: Using non-conservative analysis for kernel fn: pci_bus_write_config_byte modif: Using non-conservative analysis for kernel fn: dev_driver_string modif: Using non-conservative analysis for kernel fn: pci_disable_msi modif: Using non-conservative analysis for kernel fn: pci_set_master modif: Using non-conservative analysis for kernel fn: pci_enable_msi modif: Using non-conservative analysis for kernel fn: pci_find_capability modif: Using non-conservative analysis for kernel fn: netif_napi_add modif: Using non-conservative analysis for kernel fn: dev_kfree_skb_irq modif: Using supplied modif for internal kernel fn: capable modif: Using non-conservative analysis for kernel fn: pci_unregister_driver modif: Using supplied modif for internal kernel fn: disable_irq modif: Using supplied modif for internal kernel fn: bitrev32 modif: Using non-conservative analysis for kernel fn: mii_ethtool_gset modif: Using non-conservative analysis for kernel fn: napi_complete modif: Using non-conservative analysis for kernel fn: unregister_netdev modif: Using non-conservative analysis for kernel fn: __napi_schedule modif: Using supplied modif for internal kernel fn: __memcpy_fromio modif: Using supplied modif for internal kernel fn: enable_irq modif: Using non-conservative analysis for kernel fn: __pci_register_driver modif: Using supplied modif for internal kernel fn: strcpy CYCLE DETECTION ======================================================= [CHECK]: CYCLE DETECTION (edges, nodes): 268 104 [CHECK]: recursive annotation: [struct list_head -> next] [CHECK]: recursive annotation: [struct list_head -> prev] [CHECK]: recursive annotation: [CHECK]: recursive annotation: [struct mii_if_info -> dev] [struct net_device -> priv] ======================================================= ** Reading entry points from file r8169.entry_points.txt ** rtl8169_get_strings cleanup_module ethtool_op_set_tso rtl8169_get_stats rtl8169_init_one rtl8169_get_rx_csum init_module rtl_set_mac_address rtl8169_get_regs_len rtl8169_netpoll rtl8169_get_sset_count rtl8169_ioctl rtl8169_tx_timeout ethtool_op_set_tx_csum rtl8169_get_regs rtl8169_set_rx_csum rtl8169_remove_one rtl8169_resume rtl8169_set_msglevel rtl8169_get_wol rtl8169_get_msglevel rtl8169_close rtl8169_change_mtu rtl8169_vlan_rx_register ethtool_op_set_sg rtl8169_interrupt rtl8169_set_wol rtl8169_get_drvinfo eth_validate_addr rtl8169_start_xmit ethtool_op_get_link rtl8169_open rtl8169_get_settings rtl_set_rx_mode rtl_shutdown rtl8169_set_settings rtl8169_get_ethtool_stats ** Reading file r8169.all_annots.txt ** Computing FTPA... !!!!! NOTE !!!!! : FPTA analysis was not done: function-pointer targets will be empty Computing callgraph + funcptrs... is_override_interface: kmalloc 0 Asim disabled interface function. is_override_interface: rtl8169_rx_clear 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_resume 0 is_override_interface: rtl8169_get_drvinfo 0 is_override_interface: rtl8169_set_rxbufsize 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_set_wol 0 is_override_interface: readb 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: bitrev32 0 Asim disabled interface function. is_override_interface: rtl8169_set_settings 0 is_override_interface: pci_set_master 0 Asim disabled interface function. is_override_interface: netif_rx_complete 0 Asim disabled interface function. is_override_interface: pci_find_capability 0 Asim disabled interface function. is_override_interface: is_multicast_ether_addr 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8101 0 is_override_interface: rtl8169_rx_interrupt 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: init_timer 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_set_rx_tx_config_registers 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_set_mwi 0 Asim disabled interface function. is_override_interface: rtl8169_update_counters 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_bus_write_config_byte 0 Asim disabled interface function. is_override_interface: test_and_set_bit 1 is_override_interface: skb_headlen 0 Asim disabled interface function. is_override_interface: rtl8169_init_ring 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_get_regs 0 is_override_interface: netif_rx_schedule_prep 0 Asim disabled interface function. is_override_interface: pci_disable_msi 0 Asim disabled interface function. is_override_interface: native_save_fl 0 Asim disabled interface function. is_override_interface: rtl8169_interrupt 0 Asim disabled interface function. is_override_interface: rtl8169_tx_clear 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtnl_lock 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netdev_priv 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_init_module 0 Asim disabled interface function. is_override_interface: dma_sync_single_for_device 0 Asim disabled interface function. is_override_interface: __const_udelay 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: del_timer_sync 0 Asim disabled interface function. is_override_interface: logRead 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8168bef_hw_phy_config 0 Asim disabled interface function. is_override_interface: rtl_try_msi 0 Asim disabled interface function. is_override_interface: rtl8169_write_gmii_reg_bit 0 Asim disabled interface function. is_override_interface: net_ratelimit 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netif_start_queue 0 Asim disabled interface function. is_override_interface: register_netdev 0 Asim disabled interface function. is_override_interface: dev_name 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: __arch_swab32 0 Asim disabled interface function. is_override_interface: rtl8169_set_speed_tbi 0 is_override_interface: r8169_checkpoint 0 is_override_interface: netif_msg_init 0 Asim disabled interface function. is_override_interface: rtl_rw_cpluscmd 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: virt_to_phys 0 Asim disabled interface function. is_override_interface: cleanup_module 0 is_override_interface: rtl_mdio_read 0 is_override_interface: rtl8169_get_regs_len 0 is_override_interface: rtl8169_rx_fill 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_phy_reset 0 Asim disabled interface function. is_override_interface: pci_unregister_driver 0 Asim disabled interface function. is_override_interface: logStackVar 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: __fswab32 0 Asim disabled interface function. is_override_interface: rtl8169_mark_as_last_descriptor 0 Asim disabled interface function. is_override_interface: free_irq 0 Asim disabled interface function. is_override_interface: mdio_read 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8168bb 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: raw_local_irq_enable 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: enable_irq 0 Asim disabled interface function. is_override_interface: eth_type_trans 0 Asim disabled interface function. is_override_interface: pci_enable_msi 0 Asim disabled interface function. is_override_interface: pci_write_config_word 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: mdio_write 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: is_valid_ether_addr 0 Asim disabled interface function. is_override_interface: rtl8169_init_ring_indexes 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_set_rx_csum 0 is_override_interface: rtl8169_get_settings 0 is_override_interface: r8169_restore 0 is_override_interface: netif_receive_skb 0 Asim disabled interface function. is_override_interface: rtl8169_get_stats 0 is_override_interface: _spin_lock_irq 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_set_magic_reg 0 Asim disabled interface function. is_override_interface: capable 0 Asim disabled interface function. is_override_interface: __builtin_expect 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_tx_timeout 0 Asim disabled interface function. is_override_interface: strcpy 0 Asim disabled interface function. is_override_interface: iounmap 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_get_msglevel 0 is_override_interface: rtl8169_remove_one 0 is_override_interface: ip_hdr 0 Asim disabled interface function. is_override_interface: __napi_schedule 0 Asim disabled interface function. is_override_interface: rtl8169_hw_reset 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_choose_state 0 Asim disabled interface function. is_override_interface: __pci_register_driver 0 Asim disabled interface function. is_override_interface: __memcpy_fromio 0 Asim disabled interface function. is_override_interface: netif_napi_add 0 Asim disabled interface function. is_override_interface: __kmalloc 0 Asim disabled interface function. is_override_interface: rtl8169_get_rx_csum 0 is_override_interface: rtl8169_set_speed 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: clear_bit 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_tbi_reset_pending 0 is_override_interface: __fswab16 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_phy_config 0 Asim disabled interface function. is_override_interface: rtl_mdio_write 0 is_override_interface: rtl_hw_start_8102e_3 0 Asim disabled interface function. is_override_interface: schedule_delayed_work 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8102e_2 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8102e_1 0 Asim disabled interface function. is_override_interface: rtl8169_ioctl 0 is_override_interface: rtl8102e_hw_phy_config 0 Asim disabled interface function. is_override_interface: free_netdev 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netdev_alloc_skb 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: __raw_spin_unlock 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8168c_1_hw_phy_config 0 Asim disabled interface function. is_override_interface: msleep 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: synchronize_irq 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: init_module 0 is_override_interface: __memcpy 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: logStackFrame 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: dma_sync_single_for_cpu 0 Asim disabled interface function. is_override_interface: napi_enable 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_netpoll 0 is_override_interface: pci_dma_sync_single_for_device 0 Asim disabled interface function. is_override_interface: rtl_shutdown 0 is_override_interface: logWrite 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: device_set_wakeup_enable 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_name 0 Asim disabled interface function. is_override_interface: rtl8169_xmit_frags 0 Asim disabled interface function. is_override_interface: rtl8169_rx_missed 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_set_speed_xmii 0 is_override_interface: pci_read_config_word 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_reinit_task 0 is_override_interface: rtl_ephy_read 0 Asim disabled interface function. is_override_interface: rtl_rar_set 0 Asim disabled interface function. is_override_interface: mii_ethtool_gset 0 Asim disabled interface function. is_override_interface: pci_free_consistent 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtnl_unlock 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: dump_stack 0 Asim disabled interface function. is_override_interface: dma_free_coherent 0 Asim disabled interface function. is_override_interface: request_irq 0 Asim disabled interface function. is_override_interface: constant_test_bit 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_disable_clock_request 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_wait_for_quiescence 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: dma_alloc_coherent_gfp_flags 0 Asim disabled interface function. is_override_interface: rtl8169_make_unusable_by_asic 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: memcpy_fromio 0 Asim disabled interface function. is_override_interface: pci_dma_sync_single_for_cpu 0 Asim disabled interface function. is_override_interface: rtl8168c_3_hw_phy_config 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netif_tx_stop_queue 0 Asim disabled interface function. is_override_interface: __netif_rx_schedule 0 Asim disabled interface function. is_override_interface: get_dma_ops 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: __vlan_hwaccel_rx 0 Asim disabled interface function. is_override_interface: unregister_netdev 0 Asim disabled interface function. is_override_interface: msleep_interruptible 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_tx_performance_tweak 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: memset 0 Asim disabled interface function. is_override_interface: rtl8169_poll 0 is_override_interface: rtl8169_free_rx_skb 0 Asim disabled interface function. is_override_interface: rtl_set_rx_mode 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtnl_is_locked 0 Asim disabled interface function. is_override_interface: napi_complete 0 Asim disabled interface function. is_override_interface: rtl8168c_2_hw_phy_config 0 Asim disabled interface function. is_override_interface: rtl8169_rx_vlan_skb 0 Asim disabled interface function. is_override_interface: pci_unmap_single 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: skb_network_header 0 Asim disabled interface function. is_override_interface: netif_device_detach 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8169 0 is_override_interface: writew 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_request_timer 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_gset_xmii 0 is_override_interface: dma_map_single 0 Asim disabled interface function. is_override_interface: rtl8169_init_phy 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8168 0 is_override_interface: netif_running 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_phy_timer 0 is_override_interface: rtl8169_get_strings 0 is_override_interface: kfree_skb 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_alloc_consistent 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: disable_irq 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8168d 0 Asim disabled interface function. is_override_interface: rtl8169_asic_down 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: napi_disable_pending 0 Asim disabled interface function. is_override_interface: pci_disable_device 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8168c_4_hw_phy_config 0 Asim disabled interface function. is_override_interface: writel 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_ephy_init 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_tx_vlan_tag 0 Asim disabled interface function. is_override_interface: pci_enable_wake 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: set_bit 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: skb_put 0 Asim disabled interface function. is_override_interface: rtl8169_xmii_reset_pending 0 is_override_interface: rtl8168d_hw_phy_config 0 Asim disabled interface function. is_override_interface: netif_queue_stopped 0 Asim disabled interface function. is_override_interface: rtl_ephy_write 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netif_stop_queue 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: warn_slowpath 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: writeb 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_set_rx_max_size 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_release_regions 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netif_carrier_off 0 Asim disabled interface function. is_override_interface: rtl_disable_msi 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_rx_csum 0 Asim disabled interface function. is_override_interface: rtl8169_cleanup_module 0 Asim disabled interface function. is_override_interface: rtl_xmii_ioctl 0 is_override_interface: pci_write_config_byte 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: _spin_lock_irqsave 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_tso_csum 0 Asim disabled interface function. is_override_interface: dev_driver_string 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: test_and_clear_bit 0 Asim disabled interface function. is_override_interface: rtl8169_check_link_status 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_tx_interrupt 0 Asim disabled interface function. is_override_interface: dma_alloc_coherent 0 Asim disabled interface function. is_override_interface: rtl8169_get_sset_count 0 is_override_interface: rtl8168cp_1_hw_phy_config 0 Asim disabled interface function. is_override_interface: dev_kfree_skb_irq 0 Asim disabled interface function. is_override_interface: pci_bus_write_config_word 0 Asim disabled interface function. is_override_interface: netif_tx_wake_queue 0 Asim disabled interface function. is_override_interface: mod_timer 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_get_mac_version 0 Asim disabled interface function. is_override_interface: rtl8169_init_one 0 is_override_interface: netif_wake_queue 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: ioremap 0 Asim disabled interface function. is_override_interface: __netif_schedule 0 Asim disabled interface function. is_override_interface: rtl8169_get_ethtool_stats 0 is_override_interface: rtl8169_mark_to_asic 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_unmap_tx_skb 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: __ticket_spin_unlock 0 Asim disabled interface function. is_override_interface: __phys_addr 0 Asim disabled interface function. is_override_interface: rtl8169_open 0 Asim disabled interface function. is_override_interface: rtl8169_suspend 0 Asim disabled interface function. is_override_interface: lowmem_page_address 0 Asim disabled interface function. is_override_interface: valid_dma_direction 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_start_xmit 0 is_override_interface: __builtin_memcpy 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: raw_irqs_disabled_flags 0 Asim disabled interface function. is_override_interface: printk 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: crc32_le 0 Asim disabled interface function. is_override_interface: rtl8169_release_board 0 Asim disabled interface function. is_override_interface: rtl8169_get_wol 0 is_override_interface: rtl_set_mac_address 0 is_override_interface: rtl8169_print_mac_version 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_schedule_work 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_delete_timer 0 Asim disabled interface function. is_override_interface: rtl8169_change_mtu 0 is_override_interface: netif_tx_start_queue 0 Asim disabled interface function. is_override_interface: INIT_LIST_HEAD 0 Asim disabled interface function. is_override_interface: rtl8168cp_2_hw_phy_config 0 Asim disabled interface function. is_override_interface: is_zero_ether_addr 0 Asim disabled interface function. is_override_interface: rtl_tbi_ioctl 0 is_override_interface: synchronize_rcu 0 Asim disabled interface function. is_override_interface: _spin_unlock_irqrestore 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_csi_write 0 Asim disabled interface function. is_override_interface: mdio_patch 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: netdev_get_tx_queue 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: napi_disable 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: native_irq_enable 0 Asim disabled interface function. is_override_interface: skb_copy_from_linear_data 0 Asim disabled interface function. is_override_interface: rtl8169_try_rx_copy 0 Asim disabled interface function. is_override_interface: pci_set_drvdata 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_fragmented_frame 0 Asim disabled interface function. is_override_interface: rtl8169sb_hw_phy_config 0 Asim disabled interface function. is_override_interface: skb_end_pointer 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8168bef 0 Asim disabled interface function. is_override_interface: dma_alloc_coherent_mask 0 Asim disabled interface function. is_override_interface: ioremap_nocache 0 Asim disabled interface function. is_override_interface: pci_clear_mwi 0 Asim disabled interface function. is_override_interface: dma_unmap_single 0 Asim disabled interface function. is_override_interface: rtl8169_down 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: __rtl_hw_start_8168cp 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_request_regions 0 Asim disabled interface function. is_override_interface: if_mii 0 Asim disabled interface function. is_override_interface: rtl8169_tbi_reset_enable 0 is_override_interface: pci_get_drvdata 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_set_rx_tx_desc_registers 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: dev_set_drvdata 0 Asim disabled interface function. is_override_interface: rtl8169_vlan_rx_register 0 is_override_interface: rtl_csi_read 0 Asim disabled interface function. is_override_interface: pci_set_dma_mask 0 Asim disabled interface function. is_override_interface: pci_restore_state 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: netif_tx_queue_stopped 0 Asim disabled interface function. is_override_interface: rtl8169_gset_tbi 0 is_override_interface: rtl8169_irq_mask_and_ack 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: netpoll_trap 0 Asim disabled interface function. is_override_interface: rtl8169_tbi_link_ok 0 is_override_interface: pci_set_power_state 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_csi_access_enable 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_map_to_asic 0 Asim disabled interface function. is_override_interface: vlan_hwaccel_receive_skb 0 Asim disabled interface function. is_override_interface: netif_carrier_on 0 Asim disabled interface function. is_override_interface: pci_save_state 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: pci_bus_read_config_word 0 Asim disabled interface function. is_override_interface: rtl8169s_hw_phy_config 0 Asim disabled interface function. is_override_interface: skb_reserve 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: readw 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: napi_schedule_prep 0 Asim disabled interface function. is_override_interface: rtl8168bb_hw_phy_config 0 Asim disabled interface function. is_override_interface: rtl8169_xmii_link_ok 0 is_override_interface: rtl8169_reset_task 0 is_override_interface: netif_device_attach 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl8169_set_msglevel 0 is_override_interface: rtl_phy_write 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: dev_get_drvdata 0 Asim disabled interface function. is_override_interface: is_device_dma_capable 0 Asim disabled interface function. is_override_interface: __raw_local_save_flags 0 Asim disabled interface function. is_override_interface: flush_scheduled_work 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8168cp_3 0 Asim disabled interface function. is_override_interface: rtl_hw_start 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8168cp_2 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8168cp_1 0 Asim disabled interface function. is_override_interface: alloc_etherdev_mq 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8168c_4 0 Asim disabled interface function. is_override_interface: rtl8169_close 0 Asim disabled interface function. is_override_interface: __netdev_alloc_skb 0 Asim disabled interface function. is_override_interface: pci_enable_device 0 Asim disabled interface function. is_override_interface: rtl_hw_start_8168c_3 0 Asim disabled interface function. is_override_interface: rtl8169_alloc_rx_skb 0 Asim disabled interface function. is_override_interface: readl 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8168c_2 0 Asim disabled interface function. Asim disabled interface function. is_override_interface: rtl_hw_start_8168c_1 0 Asim disabled interface function. is_override_interface: rtl8169_xmii_reset_enable 0 is_override_interface: rtl8169_pcierr_interrupt 0 Asim disabled interface function. is_override_interface: pci_map_single 0 Asim disabled interface function. Asim disabled interface function. Asim disabled interface function. Interface function pci_unregister_driver: Annotation is kern Interface function pci_set_power_state: Annotation is kern Interface function _spin_unlock_irqrestore: Annotation is kern Interface function pci_set_dma_mask: Annotation is kern Interface function bitrev32: Annotation is kern Interface function synchronize_irq: Annotation is kern Interface function rtnl_is_locked: Annotation is kern Interface function pci_release_regions: Annotation is kern Interface function printk: Annotation is kern Interface function rtl8169_get_regs: Annotation is user Interface function rtl8169_get_msglevel: Annotation is user Interface function __vlan_hwaccel_rx: Annotation is kern Interface function del_timer_sync: Annotation is kern Interface function __phys_addr: Annotation is kern Interface function rtl8169_get_ethtool_stats: Annotation is user Interface function pci_clear_mwi: Annotation is kern Interface function logStackVar: Annotation is user Interface function _spin_lock_irqsave: Annotation is kern Interface function _spin_lock_irq: Annotation is kern Interface function enable_irq: Annotation is kern Interface function kfree_skb: Annotation is kern Interface function pci_bus_read_config_word: Annotation is kern Interface function rtnl_lock: Annotation is kern Interface function rtnl_unlock: Annotation is kern Interface function msleep: Annotation is kern Interface function pci_request_regions: Annotation is kern Interface function register_netdev: Annotation is kern Interface function alloc_etherdev_mq: Annotation is kern Interface function rtl8169_get_drvinfo: Annotation is user Interface function netif_receive_skb: Annotation is kern Interface function pci_choose_state: Annotation is kern Interface function rtl8169_get_rx_csum: Annotation is user Interface function __builtin_expect: Annotation is kern Interface function netif_carrier_off: Annotation is kern Interface function crc32_le: Annotation is kern Interface function eth_type_trans: Annotation is kern Interface function netpoll_trap: Annotation is kern Interface function msleep_interruptible: Annotation is kern Interface function memset: Annotation is kern Interface function rtl8169_get_sset_count: Annotation is user Interface function net_ratelimit: Annotation is kern Interface function mod_timer: Annotation is kern Interface function pci_restore_state: Annotation is kern Interface function schedule_delayed_work: Annotation is kern Interface function dev_kfree_skb_irq: Annotation is kern Interface function warn_slowpath: Annotation is kern Interface function __builtin_memcpy: Annotation is kern Interface function rtl8169_get_wol: Annotation is user Interface function logStackFrame: Annotation is user Interface function strcpy: Annotation is kern Interface function iounmap: Annotation is kern Interface function pci_enable_device: Annotation is kern Interface function __kmalloc: Annotation is kern Interface function free_irq: Annotation is kern Interface function pci_disable_device: Annotation is kern Interface function flush_scheduled_work: Annotation is kern Interface function pci_set_mwi: Annotation is kern Interface function napi_complete: Annotation is kern Interface function pci_enable_wake: Annotation is kern Interface function __netif_schedule: Annotation is kern Interface function pci_set_master: Annotation is kern Interface function pci_enable_msi: Annotation is kern Interface function __napi_schedule: Annotation is kern Interface function rtl8169_get_regs_len: Annotation is user Interface function pci_bus_write_config_byte: Annotation is kern Interface function init_timer: Annotation is kern Interface function mii_ethtool_gset: Annotation is kern Interface function unregister_netdev: Annotation is kern Interface function skb_put: Annotation is kern Interface function __const_udelay: Annotation is kern Interface function disable_irq: Annotation is kern Interface function request_irq: Annotation is kern Interface function __pci_register_driver: Annotation is kern Interface function logRead: Annotation is user Interface function free_netdev: Annotation is kern Interface function pci_save_state: Annotation is kern Interface function pci_bus_write_config_word: Annotation is kern Interface function synchronize_rcu: Annotation is kern Interface function dump_stack: Annotation is kern Interface function __netdev_alloc_skb: Annotation is kern Interface function capable: Annotation is kern Interface function netif_napi_add: Annotation is kern Interface function netif_carrier_on: Annotation is kern Interface function pci_find_capability: Annotation is kern Interface function netif_device_attach: Annotation is kern Interface function __memcpy_fromio: Annotation is kern Interface function ioremap_nocache: Annotation is kern Interface function pci_disable_msi: Annotation is kern Interface function dev_driver_string: Annotation is kern Interface function logWrite: Annotation is user Interface function __memcpy: Annotation is kern Interface function netif_device_detach: Annotation is kern kernel function proto: logRead kernel function proto: logWrite kernel function proto: logStackFrame kernel function proto: logStackVar kernel function proto: logAlloc kernel function proto: logFree kernel function proto: __builtin_memcpy kernel function proto: __builtin_expect Considering function body for deletion: set_bit Considering function body for deletion: clear_bit Considering function body for deletion: test_and_set_bit Considering function body for deletion: test_and_clear_bit Considering function body for deletion: constant_test_bit Considering function body for deletion: __arch_swab32 Considering function body for deletion: __fswab16 Considering function body for deletion: __fswab32 kernel function proto: warn_slowpath kernel function proto: printk kernel function proto: __phys_addr Considering function body for deletion: native_save_fl Considering function body for deletion: native_irq_enable Considering function body for deletion: __raw_local_save_flags Considering function body for deletion: raw_local_irq_enable Considering function body for deletion: raw_irqs_disabled_flags kernel function proto: __memcpy kernel function proto: memset kernel function proto: strcpy Considering function body for deletion: INIT_LIST_HEAD Considering function body for deletion: __ticket_spin_unlock Considering function body for deletion: __raw_spin_unlock kernel function proto: _spin_lock_irq kernel function proto: _spin_lock_irqsave kernel function proto: _spin_unlock_irqrestore kernel function proto: __const_udelay kernel function proto: msleep kernel function proto: msleep_interruptible kernel function proto: __kmalloc Considering function body for deletion: kmalloc kernel function proto: init_module deleting proto init_module Considering function body for deletion: device_set_wakeup_enable Considering function body for deletion: dev_name Considering function body for deletion: dev_get_drvdata Considering function body for deletion: dev_set_drvdata Considering function body for deletion: readb Considering function body for deletion: readw Considering function body for deletion: readl Considering function body for deletion: writeb Considering function body for deletion: writew Considering function body for deletion: writel Considering function body for deletion: virt_to_phys Considering function body for deletion: ioremap kernel function proto: __memcpy_fromio Considering function body for deletion: memcpy_fromio Considering function body for deletion: pci_read_config_word Considering function body for deletion: pci_write_config_byte Considering function body for deletion: pci_write_config_word Considering function body for deletion: lowmem_page_address Considering function body for deletion: valid_dma_direction Considering function body for deletion: is_device_dma_capable Considering function body for deletion: get_dma_ops Considering function body for deletion: dma_map_single Considering function body for deletion: dma_unmap_single Considering function body for deletion: dma_sync_single_for_cpu Considering function body for deletion: dma_sync_single_for_device Considering function body for deletion: dma_alloc_coherent_mask Considering function body for deletion: dma_alloc_coherent_gfp_flags Considering function body for deletion: dma_alloc_coherent Considering function body for deletion: dma_free_coherent Considering function body for deletion: pci_alloc_consistent Considering function body for deletion: pci_free_consistent Considering function body for deletion: pci_map_single Considering function body for deletion: pci_unmap_single Considering function body for deletion: pci_dma_sync_single_for_cpu Considering function body for deletion: pci_dma_sync_single_for_device Considering function body for deletion: pci_get_drvdata Considering function body for deletion: pci_set_drvdata Considering function body for deletion: pci_name kernel function proto: kfree_skb Considering function body for deletion: skb_end_pointer Considering function body for deletion: skb_headlen kernel function proto: skb_put Considering function body for deletion: skb_reserve Considering function body for deletion: skb_network_header kernel function proto: __netdev_alloc_skb Considering function body for deletion: netdev_alloc_skb Considering function body for deletion: skb_copy_from_linear_data Considering function body for deletion: napi_disable_pending Considering function body for deletion: napi_schedule_prep Considering function body for deletion: napi_disable Considering function body for deletion: napi_enable Considering function body for deletion: netdev_get_tx_queue Considering function body for deletion: netdev_priv Considering function body for deletion: netif_tx_start_queue Considering function body for deletion: netif_start_queue Considering function body for deletion: netif_tx_wake_queue Considering function body for deletion: netif_wake_queue Considering function body for deletion: netif_tx_stop_queue Considering function body for deletion: netif_stop_queue Considering function body for deletion: netif_tx_queue_stopped Considering function body for deletion: netif_queue_stopped Considering function body for deletion: netif_running kernel function proto: netif_receive_skb Considering function body for deletion: netif_msg_init Considering function body for deletion: netif_rx_schedule_prep Considering function body for deletion: __netif_rx_schedule Considering function body for deletion: netif_rx_complete kernel function proto: alloc_etherdev_mq Considering function body for deletion: is_zero_ether_addr Considering function body for deletion: is_multicast_ether_addr Considering function body for deletion: is_valid_ether_addr Considering function body for deletion: if_mii Considering function body for deletion: vlan_hwaccel_receive_skb Considering function body for deletion: ip_hdr kernel function proto: rtnl_is_locked Considering function body for deletion: mdio_write Considering function body for deletion: mdio_read Considering function body for deletion: mdio_patch Considering function body for deletion: rtl_mdio_write Considering function body for deletion: rtl_mdio_read Considering function body for deletion: rtl_ephy_write Considering function body for deletion: rtl_ephy_read Considering function body for deletion: rtl_csi_write Considering function body for deletion: rtl_csi_read Considering function body for deletion: rtl8169_irq_mask_and_ack Considering function body for deletion: rtl8169_asic_down Considering function body for deletion: rtl8169_tbi_reset_pending Considering function body for deletion: rtl8169_xmii_reset_pending Considering function body for deletion: rtl8169_tbi_link_ok Considering function body for deletion: rtl8169_xmii_link_ok Considering function body for deletion: rtl8169_tbi_reset_enable Considering function body for deletion: rtl8169_xmii_reset_enable Considering function body for deletion: rtl8169_check_link_status Considering function body for deletion: rtl8169_get_wol Considering function body for deletion: rtl8169_set_wol Considering function body for deletion: rtl8169_get_drvinfo Considering function body for deletion: rtl8169_get_regs_len Considering function body for deletion: rtl8169_set_speed_tbi Considering function body for deletion: rtl8169_set_speed_xmii Considering function body for deletion: rtl8169_set_speed Considering function body for deletion: rtl8169_set_settings Considering function body for deletion: rtl8169_get_rx_csum Considering function body for deletion: rtl8169_set_rx_csum Considering function body for deletion: rtl8169_tx_vlan_tag Considering function body for deletion: rtl8169_vlan_rx_register Considering function body for deletion: rtl8169_rx_vlan_skb Considering function body for deletion: rtl8169_gset_tbi Considering function body for deletion: rtl8169_gset_xmii Considering function body for deletion: rtl8169_get_settings Considering function body for deletion: rtl8169_get_regs Considering function body for deletion: rtl8169_get_msglevel Considering function body for deletion: rtl8169_set_msglevel Considering function body for deletion: rtl8169_get_sset_count Considering function body for deletion: rtl8169_update_counters Considering function body for deletion: rtl8169_get_ethtool_stats Considering function body for deletion: rtl8169_get_strings Considering function body for deletion: rtl8169_write_gmii_reg_bit Considering function body for deletion: rtl8169_get_mac_version Considering function body for deletion: rtl8169_print_mac_version Considering function body for deletion: rtl_phy_write Considering function body for deletion: rtl8169s_hw_phy_config Considering function body for deletion: rtl8169sb_hw_phy_config Considering function body for deletion: rtl8168bb_hw_phy_config Considering function body for deletion: rtl8168bef_hw_phy_config Considering function body for deletion: rtl8168cp_1_hw_phy_config Considering function body for deletion: rtl8168cp_2_hw_phy_config Considering function body for deletion: rtl8168c_1_hw_phy_config Considering function body for deletion: rtl8168c_2_hw_phy_config Considering function body for deletion: rtl8168c_3_hw_phy_config Considering function body for deletion: rtl8168c_4_hw_phy_config Considering function body for deletion: rtl8168d_hw_phy_config Considering function body for deletion: rtl8102e_hw_phy_config Considering function body for deletion: rtl_hw_phy_config Considering function body for deletion: rtl8169_phy_timer Considering function body for deletion: rtl8169_delete_timer Considering function body for deletion: rtl8169_request_timer Considering function body for deletion: rtl8169_netpoll Considering function body for deletion: rtl8169_release_board Considering function body for deletion: rtl8169_phy_reset Considering function body for deletion: rtl8169_init_phy Considering function body for deletion: rtl_rar_set Considering function body for deletion: rtl_set_mac_address Considering function body for deletion: rtl8169_ioctl Considering function body for deletion: rtl_xmii_ioctl Considering function body for deletion: rtl_tbi_ioctl Considering function body for deletion: rtl_try_msi Considering function body for deletion: rtl_disable_msi Considering function body for deletion: rtl8169_init_one Considering function body for deletion: rtl8169_remove_one Considering function body for deletion: rtl8169_set_rxbufsize Considering function body for deletion: rtl8169_open Considering function body for deletion: rtl8169_hw_reset Considering function body for deletion: rtl_set_rx_tx_config_registers Considering function body for deletion: rtl_hw_start Considering function body for deletion: rtl_set_rx_tx_desc_registers Considering function body for deletion: rtl_rw_cpluscmd Considering function body for deletion: rtl_set_rx_max_size Considering function body for deletion: rtl8169_set_magic_reg Considering function body for deletion: rtl_hw_start_8169 Considering function body for deletion: rtl_tx_performance_tweak Considering function body for deletion: rtl_csi_access_enable Considering function body for deletion: rtl_ephy_init Considering function body for deletion: rtl_disable_clock_request Considering function body for deletion: rtl_hw_start_8168bb Considering function body for deletion: rtl_hw_start_8168bef Considering function body for deletion: __rtl_hw_start_8168cp Considering function body for deletion: rtl_hw_start_8168cp_1 Considering function body for deletion: rtl_hw_start_8168cp_2 Considering function body for deletion: rtl_hw_start_8168cp_3 Considering function body for deletion: rtl_hw_start_8168c_1 Considering function body for deletion: rtl_hw_start_8168c_2 Considering function body for deletion: rtl_hw_start_8168c_3 Considering function body for deletion: rtl_hw_start_8168c_4 Considering function body for deletion: rtl_hw_start_8168d Considering function body for deletion: rtl_hw_start_8168 Considering function body for deletion: rtl_hw_start_8102e_1 Considering function body for deletion: rtl_hw_start_8102e_2 Considering function body for deletion: rtl_hw_start_8102e_3 Considering function body for deletion: rtl_hw_start_8101 Considering function body for deletion: rtl8169_change_mtu Considering function body for deletion: rtl8169_make_unusable_by_asic Considering function body for deletion: rtl8169_free_rx_skb Considering function body for deletion: rtl8169_mark_to_asic Considering function body for deletion: rtl8169_map_to_asic Considering function body for deletion: rtl8169_alloc_rx_skb Considering function body for deletion: rtl8169_rx_clear Considering function body for deletion: rtl8169_rx_fill Considering function body for deletion: rtl8169_mark_as_last_descriptor Considering function body for deletion: rtl8169_init_ring_indexes Considering function body for deletion: rtl8169_init_ring Considering function body for deletion: rtl8169_unmap_tx_skb Considering function body for deletion: rtl8169_tx_clear Considering function body for deletion: rtl8169_schedule_work Considering function body for deletion: rtl8169_wait_for_quiescence Considering function body for deletion: rtl8169_reinit_task Considering function body for deletion: rtl8169_reset_task Considering function body for deletion: rtl8169_tx_timeout Considering function body for deletion: rtl8169_xmit_frags Considering function body for deletion: rtl8169_tso_csum Considering function body for deletion: rtl8169_start_xmit Considering function body for deletion: rtl8169_pcierr_interrupt Considering function body for deletion: rtl8169_tx_interrupt Considering function body for deletion: rtl8169_fragmented_frame Considering function body for deletion: rtl8169_rx_csum Considering function body for deletion: rtl8169_try_rx_copy Considering function body for deletion: rtl8169_rx_interrupt Considering function body for deletion: rtl8169_interrupt Considering function body for deletion: rtl8169_poll Considering function body for deletion: rtl8169_rx_missed Considering function body for deletion: rtl8169_down Considering function body for deletion: rtl8169_close Considering function body for deletion: rtl_set_rx_mode Considering function body for deletion: rtl8169_get_stats Considering function body for deletion: rtl8169_suspend Considering function body for deletion: rtl8169_resume Considering function body for deletion: r8169_checkpoint Considering function body for deletion: r8169_restore Considering function body for deletion: rtl_shutdown Considering function body for deletion: rtl8169_init_module Considering function body for deletion: rtl8169_cleanup_module Considering function body for deletion: init_module kernel function proto: init_module deleting proto init_module Considering function body for deletion: cleanup_module Global to register: __this_module Global to register: x86_dma_fallback_dev Global to register: rtl_chip_info Global to register: rtl8169_pci_tbl Global to register: rx_copybreak Global to register: use_dac Global to register: debug Global to register: __param_str_rx_copybreak Global to register: __param_str_use_dac Global to register: __param_str_debug Global to register: cfg Global to register: rtl8169_gstrings Global to register: rtl8169_ethtool_ops Global to register: rtl_cfg_infos Global to register: rtl8169_netdev_ops Global to register: e_info_8168cp Global to register: e_info_8168c_1 Global to register: e_info_8168c_2 Global to register: e_info_8102e_1 Global to register: rtl8169_pci_driver Function/global mapping INIT_LIST_HEAD -> 1000 Function/global mapping __arch_swab32 -> 1001 Function/global mapping __builtin_expect -> 1002 Function/global mapping __builtin_memcpy -> 1003 Function/global mapping __const_udelay -> 1004 Function/global mapping __fswab16 -> 1005 Function/global mapping __fswab32 -> 1006 Function/global mapping __kmalloc -> 1007 Function/global mapping __memcpy -> 1008 Function/global mapping __memcpy_fromio -> 1009 Function/global mapping __napi_schedule -> 1010 Function/global mapping __netdev_alloc_skb -> 1011 Function/global mapping __netif_rx_schedule -> 1012 Function/global mapping __netif_schedule -> 1013 Function/global mapping __param_str_debug -> 1014 Function/global mapping __param_str_rx_copybreak -> 1015 Function/global mapping __param_str_use_dac -> 1016 Function/global mapping __pci_register_driver -> 1017 Function/global mapping __phys_addr -> 1018 Function/global mapping __raw_local_save_flags -> 1019 Function/global mapping __raw_spin_unlock -> 1020 Function/global mapping __rtl_hw_start_8168cp -> 1021 Function/global mapping __this_module -> 1022 Function/global mapping __ticket_spin_unlock -> 1023 Function/global mapping __vlan_hwaccel_rx -> 1024 Function/global mapping _spin_lock_irq -> 1025 Function/global mapping _spin_lock_irqsave -> 1026 Function/global mapping _spin_unlock_irqrestore -> 1027 Function/global mapping alloc_etherdev_mq -> 1028 Function/global mapping bitrev32 -> 1029 Function/global mapping capable -> 1030 Function/global mapping cfg -> 1031 Function/global mapping cleanup_module -> 1032 Function/global mapping clear_bit -> 1033 Function/global mapping constant_test_bit -> 1034 Function/global mapping crc32_le -> 1035 Function/global mapping debug -> 1036 Function/global mapping del_timer_sync -> 1037 Function/global mapping dev_driver_string -> 1038 Function/global mapping dev_get_drvdata -> 1039 Function/global mapping dev_kfree_skb_irq -> 1040 Function/global mapping dev_name -> 1041 Function/global mapping dev_set_drvdata -> 1042 Function/global mapping device_set_wakeup_enable -> 1043 Function/global mapping disable_irq -> 1044 Function/global mapping dma_alloc_coherent -> 1045 Function/global mapping dma_alloc_coherent_gfp_flags -> 1046 Function/global mapping dma_alloc_coherent_mask -> 1047 Function/global mapping dma_free_coherent -> 1048 Function/global mapping dma_map_single -> 1049 Function/global mapping dma_sync_single_for_cpu -> 1050 Function/global mapping dma_sync_single_for_device -> 1051 Function/global mapping dma_unmap_single -> 1052 Function/global mapping dump_stack -> 1053 Function/global mapping e_info_8102e_1 -> 1054 Function/global mapping e_info_8168c_1 -> 1055 Function/global mapping e_info_8168c_2 -> 1056 Function/global mapping e_info_8168cp -> 1057 Function/global mapping enable_irq -> 1058 Function/global mapping eth_type_trans -> 1059 Function/global mapping eth_validate_addr -> 1060 Function/global mapping ethtool_op_get_link -> 1061 Function/global mapping ethtool_op_set_sg -> 1062 Function/global mapping ethtool_op_set_tso -> 1063 Function/global mapping ethtool_op_set_tx_csum -> 1064 Function/global mapping flush_scheduled_work -> 1065 Function/global mapping free_irq -> 1066 Function/global mapping free_netdev -> 1067 Function/global mapping get_dma_ops -> 1068 Function/global mapping heapifyfree -> 1069 Function/global mapping heapifymalloc -> 1070 Function/global mapping if_mii -> 1071 Function/global mapping init_module -> 1072 Function/global mapping init_timer -> 1073 Function/global mapping ioremap -> 1074 Function/global mapping ioremap_nocache -> 1075 Function/global mapping iounmap -> 1076 Function/global mapping ip_hdr -> 1077 Function/global mapping is_device_dma_capable -> 1078 Function/global mapping is_multicast_ether_addr -> 1079 Function/global mapping is_valid_ether_addr -> 1080 Function/global mapping is_zero_ether_addr -> 1081 Function/global mapping kfree_skb -> 1082 Function/global mapping kmalloc -> 1083 Function/global mapping logAlloc -> 1084 Function/global mapping logFree -> 1085 Function/global mapping logRead -> 1086 Function/global mapping logSfiFrame -> 1087 Function/global mapping logStackFrame -> 1088 Function/global mapping logStackVar -> 1089 Function/global mapping logWrite -> 1090 Function/global mapping lowmem_page_address -> 1091 Function/global mapping mdio_patch -> 1092 Function/global mapping mdio_read -> 1093 Function/global mapping mdio_write -> 1094 Function/global mapping memcpy_fromio -> 1095 Function/global mapping memset -> 1096 Function/global mapping mii_ethtool_gset -> 1097 Function/global mapping mod_timer -> 1098 Function/global mapping msleep -> 1099 Function/global mapping msleep_interruptible -> 1100 Function/global mapping napi_complete -> 1101 Function/global mapping napi_disable -> 1102 Function/global mapping napi_disable_pending -> 1103 Function/global mapping napi_enable -> 1104 Function/global mapping napi_schedule_prep -> 1105 Function/global mapping native_irq_enable -> 1106 Function/global mapping native_save_fl -> 1107 Function/global mapping net_ratelimit -> 1108 Function/global mapping netdev_alloc_skb -> 1109 Function/global mapping netdev_get_tx_queue -> 1110 Function/global mapping netdev_priv -> 1111 Function/global mapping netif_carrier_off -> 1112 Function/global mapping netif_carrier_on -> 1113 Function/global mapping netif_device_attach -> 1114 Function/global mapping netif_device_detach -> 1115 Function/global mapping netif_msg_init -> 1116 Function/global mapping netif_napi_add -> 1117 Function/global mapping netif_queue_stopped -> 1118 Function/global mapping netif_receive_skb -> 1119 Function/global mapping netif_running -> 1120 Function/global mapping netif_rx_complete -> 1121 Function/global mapping netif_rx_schedule_prep -> 1122 Function/global mapping netif_start_queue -> 1123 Function/global mapping netif_stop_queue -> 1124 Function/global mapping netif_tx_queue_stopped -> 1125 Function/global mapping netif_tx_start_queue -> 1126 Function/global mapping netif_tx_stop_queue -> 1127 Function/global mapping netif_tx_wake_queue -> 1128 Function/global mapping netif_wake_queue -> 1129 Function/global mapping netpoll_trap -> 1130 Function/global mapping param_get_int -> 1131 Function/global mapping param_set_int -> 1132 Function/global mapping pci_alloc_consistent -> 1133 Function/global mapping pci_bus_read_config_word -> 1134 Function/global mapping pci_bus_write_config_byte -> 1135 Function/global mapping pci_bus_write_config_word -> 1136 Function/global mapping pci_choose_state -> 1137 Function/global mapping pci_clear_mwi -> 1138 Function/global mapping pci_disable_device -> 1139 Function/global mapping pci_disable_msi -> 1140 Function/global mapping pci_dma_sync_single_for_cpu -> 1141 Function/global mapping pci_dma_sync_single_for_device -> 1142 Function/global mapping pci_enable_device -> 1143 Function/global mapping pci_enable_msi -> 1144 Function/global mapping pci_enable_wake -> 1145 Function/global mapping pci_find_capability -> 1146 Function/global mapping pci_free_consistent -> 1147 Function/global mapping pci_get_drvdata -> 1148 Function/global mapping pci_map_single -> 1149 Function/global mapping pci_name -> 1150 Function/global mapping pci_read_config_word -> 1151 Function/global mapping pci_release_regions -> 1152 Function/global mapping pci_request_regions -> 1153 Function/global mapping pci_restore_state -> 1154 Function/global mapping pci_save_state -> 1155 Function/global mapping pci_set_dma_mask -> 1156 Function/global mapping pci_set_drvdata -> 1157 Function/global mapping pci_set_master -> 1158 Function/global mapping pci_set_mwi -> 1159 Function/global mapping pci_set_power_state -> 1160 Function/global mapping pci_unmap_single -> 1161 Function/global mapping pci_unregister_driver -> 1162 Function/global mapping pci_write_config_byte -> 1163 Function/global mapping pci_write_config_word -> 1164 Function/global mapping printk -> 1165 Function/global mapping r8169_checkpoint -> 1166 Function/global mapping r8169_restore -> 1167 Function/global mapping raw_irqs_disabled_flags -> 1168 Function/global mapping raw_local_irq_enable -> 1169 Function/global mapping readb -> 1170 Function/global mapping readl -> 1171 Function/global mapping readw -> 1172 Function/global mapping register_netdev -> 1173 Function/global mapping request_irq -> 1174 Function/global mapping rtl8102e_hw_phy_config -> 1175 Function/global mapping rtl8168bb_hw_phy_config -> 1176 Function/global mapping rtl8168bef_hw_phy_config -> 1177 Function/global mapping rtl8168c_1_hw_phy_config -> 1178 Function/global mapping rtl8168c_2_hw_phy_config -> 1179 Function/global mapping rtl8168c_3_hw_phy_config -> 1180 Function/global mapping rtl8168c_4_hw_phy_config -> 1181 Function/global mapping rtl8168cp_1_hw_phy_config -> 1182 Function/global mapping rtl8168cp_2_hw_phy_config -> 1183 Function/global mapping rtl8168d_hw_phy_config -> 1184 Function/global mapping rtl8169_alloc_rx_skb -> 1185 Function/global mapping rtl8169_asic_down -> 1186 Function/global mapping rtl8169_change_mtu -> 1187 Function/global mapping rtl8169_check_link_status -> 1188 Function/global mapping rtl8169_cleanup_module -> 1189 Function/global mapping rtl8169_close -> 1190 Function/global mapping rtl8169_delete_timer -> 1191 Function/global mapping rtl8169_down -> 1192 Function/global mapping rtl8169_ethtool_ops -> 1193 Function/global mapping rtl8169_fragmented_frame -> 1194 Function/global mapping rtl8169_free_rx_skb -> 1195 Function/global mapping rtl8169_get_drvinfo -> 1196 Function/global mapping rtl8169_get_ethtool_stats -> 1197 Function/global mapping rtl8169_get_mac_version -> 1198 Function/global mapping rtl8169_get_msglevel -> 1199 Function/global mapping rtl8169_get_regs -> 1200 Function/global mapping rtl8169_get_regs_len -> 1201 Function/global mapping rtl8169_get_rx_csum -> 1202 Function/global mapping rtl8169_get_settings -> 1203 Function/global mapping rtl8169_get_sset_count -> 1204 Function/global mapping rtl8169_get_stats -> 1205 Function/global mapping rtl8169_get_strings -> 1206 Function/global mapping rtl8169_get_wol -> 1207 Function/global mapping rtl8169_gset_tbi -> 1208 Function/global mapping rtl8169_gset_xmii -> 1209 Function/global mapping rtl8169_gstrings -> 1210 Function/global mapping rtl8169_hw_reset -> 1211 Function/global mapping rtl8169_init_module -> 1212 Function/global mapping rtl8169_init_one -> 1213 Function/global mapping rtl8169_init_phy -> 1214 Function/global mapping rtl8169_init_ring -> 1215 Function/global mapping rtl8169_init_ring_indexes -> 1216 Function/global mapping rtl8169_interrupt -> 1217 Function/global mapping rtl8169_ioctl -> 1218 Function/global mapping rtl8169_irq_mask_and_ack -> 1219 Function/global mapping rtl8169_make_unusable_by_asic -> 1220 Function/global mapping rtl8169_map_to_asic -> 1221 Function/global mapping rtl8169_mark_as_last_descriptor -> 1222 Function/global mapping rtl8169_mark_to_asic -> 1223 Function/global mapping rtl8169_netdev_ops -> 1224 Function/global mapping rtl8169_netpoll -> 1225 Function/global mapping rtl8169_open -> 1226 Function/global mapping rtl8169_pci_driver -> 1227 Function/global mapping rtl8169_pci_tbl -> 1228 Function/global mapping rtl8169_pcierr_interrupt -> 1229 Function/global mapping rtl8169_phy_reset -> 1230 Function/global mapping rtl8169_phy_timer -> 1231 Function/global mapping rtl8169_poll -> 1232 Function/global mapping rtl8169_print_mac_version -> 1233 Function/global mapping rtl8169_reinit_task -> 1234 Function/global mapping rtl8169_release_board -> 1235 Function/global mapping rtl8169_remove_one -> 1236 Function/global mapping rtl8169_request_timer -> 1237 Function/global mapping rtl8169_reset_task -> 1238 Function/global mapping rtl8169_resume -> 1239 Function/global mapping rtl8169_rx_clear -> 1240 Function/global mapping rtl8169_rx_csum -> 1241 Function/global mapping rtl8169_rx_fill -> 1242 Function/global mapping rtl8169_rx_interrupt -> 1243 Function/global mapping rtl8169_rx_missed -> 1244 Function/global mapping rtl8169_rx_vlan_skb -> 1245 Function/global mapping rtl8169_schedule_work -> 1246 Function/global mapping rtl8169_set_magic_reg -> 1247 Function/global mapping rtl8169_set_msglevel -> 1248 Function/global mapping rtl8169_set_rx_csum -> 1249 Function/global mapping rtl8169_set_rxbufsize -> 1250 Function/global mapping rtl8169_set_settings -> 1251 Function/global mapping rtl8169_set_speed -> 1252 Function/global mapping rtl8169_set_speed_tbi -> 1253 Function/global mapping rtl8169_set_speed_xmii -> 1254 Function/global mapping rtl8169_set_wol -> 1255 Function/global mapping rtl8169_start_xmit -> 1256 Function/global mapping rtl8169_suspend -> 1257 Function/global mapping rtl8169_tbi_link_ok -> 1258 Function/global mapping rtl8169_tbi_reset_enable -> 1259 Function/global mapping rtl8169_tbi_reset_pending -> 1260 Function/global mapping rtl8169_try_rx_copy -> 1261 Function/global mapping rtl8169_tso_csum -> 1262 Function/global mapping rtl8169_tx_clear -> 1263 Function/global mapping rtl8169_tx_interrupt -> 1264 Function/global mapping rtl8169_tx_timeout -> 1265 Function/global mapping rtl8169_tx_vlan_tag -> 1266 Function/global mapping rtl8169_unmap_tx_skb -> 1267 Function/global mapping rtl8169_update_counters -> 1268 Function/global mapping rtl8169_vlan_rx_register -> 1269 Function/global mapping rtl8169_wait_for_quiescence -> 1270 Function/global mapping rtl8169_write_gmii_reg_bit -> 1271 Function/global mapping rtl8169_xmii_link_ok -> 1272 Function/global mapping rtl8169_xmii_reset_enable -> 1273 Function/global mapping rtl8169_xmii_reset_pending -> 1274 Function/global mapping rtl8169_xmit_frags -> 1275 Function/global mapping rtl8169s_hw_phy_config -> 1276 Function/global mapping rtl8169sb_hw_phy_config -> 1277 Function/global mapping rtl_cfg_infos -> 1278 Function/global mapping rtl_chip_info -> 1279 Function/global mapping rtl_csi_access_enable -> 1280 Function/global mapping rtl_csi_read -> 1281 Function/global mapping rtl_csi_write -> 1282 Function/global mapping rtl_disable_clock_request -> 1283 Function/global mapping rtl_disable_msi -> 1284 Function/global mapping rtl_ephy_init -> 1285 Function/global mapping rtl_ephy_read -> 1286 Function/global mapping rtl_ephy_write -> 1287 Function/global mapping rtl_hw_phy_config -> 1288 Function/global mapping rtl_hw_start -> 1289 Function/global mapping rtl_hw_start_8101 -> 1290 Function/global mapping rtl_hw_start_8102e_1 -> 1291 Function/global mapping rtl_hw_start_8102e_2 -> 1292 Function/global mapping rtl_hw_start_8102e_3 -> 1293 Function/global mapping rtl_hw_start_8168 -> 1294 Function/global mapping rtl_hw_start_8168bb -> 1295 Function/global mapping rtl_hw_start_8168bef -> 1296 Function/global mapping rtl_hw_start_8168c_1 -> 1297 Function/global mapping rtl_hw_start_8168c_2 -> 1298 Function/global mapping rtl_hw_start_8168c_3 -> 1299 Function/global mapping rtl_hw_start_8168c_4 -> 1300 Function/global mapping rtl_hw_start_8168cp_1 -> 1301 Function/global mapping rtl_hw_start_8168cp_2 -> 1302 Function/global mapping rtl_hw_start_8168cp_3 -> 1303 Function/global mapping rtl_hw_start_8168d -> 1304 Function/global mapping rtl_hw_start_8169 -> 1305 Function/global mapping rtl_mdio_read -> 1306 Function/global mapping rtl_mdio_write -> 1307 Function/global mapping rtl_phy_write -> 1308 Function/global mapping rtl_rar_set -> 1309 Function/global mapping rtl_rw_cpluscmd -> 1310 Function/global mapping rtl_set_mac_address -> 1311 Function/global mapping rtl_set_rx_max_size -> 1312 Function/global mapping rtl_set_rx_mode -> 1313 Function/global mapping rtl_set_rx_tx_config_registers -> 1314 Function/global mapping rtl_set_rx_tx_desc_registers -> 1315 Function/global mapping rtl_shutdown -> 1316 Function/global mapping rtl_tbi_ioctl -> 1317 Function/global mapping rtl_try_msi -> 1318 Function/global mapping rtl_tx_performance_tweak -> 1319 Function/global mapping rtl_xmii_ioctl -> 1320 Function/global mapping rtnl_is_locked -> 1321 Function/global mapping rtnl_lock -> 1322 Function/global mapping rtnl_unlock -> 1323 Function/global mapping rx_copybreak -> 1324 Function/global mapping schedule_delayed_work -> 1325 Function/global mapping set_bit -> 1326 Function/global mapping skb_copy_from_linear_data -> 1327 Function/global mapping skb_end_pointer -> 1328 Function/global mapping skb_headlen -> 1329 Function/global mapping skb_network_header -> 1330 Function/global mapping skb_put -> 1331 Function/global mapping skb_reserve -> 1332 Function/global mapping stackguard_get_ra -> 1333 Function/global mapping stackguard_pop -> 1334 Function/global mapping stackguard_push -> 1335 Function/global mapping stackguard_set_ra -> 1336 Function/global mapping stackguard_stack -> 1337 Function/global mapping str_1047954629 -> 1338 Function/global mapping str_1058872241 -> 1339 Function/global mapping str_1065519927 -> 1340 Function/global mapping str_1073325373 -> 1341 Function/global mapping str_121327264 -> 1342 Function/global mapping str_135761206 -> 1343 Function/global mapping str_135761225 -> 1344 Function/global mapping str_135761244 -> 1345 Function/global mapping str_135761581 -> 1346 Function/global mapping str_135763557 -> 1347 Function/global mapping str_13733334 -> 1348 Function/global mapping str_15259470 -> 1349 Function/global mapping str_153156965 -> 1350 Function/global mapping str_153156984 -> 1351 Function/global mapping str_153157003 -> 1352 Function/global mapping str_158874525 -> 1353 Function/global mapping str_207404931 -> 1354 Function/global mapping str_210257590 -> 1355 Function/global mapping str_224717828 -> 1356 Function/global mapping str_24509153 -> 1357 Function/global mapping str_25017725 -> 1358 Function/global mapping str_26202762 -> 1359 Function/global mapping str_268526278 -> 1360 Function/global mapping str_288484677 -> 1361 Function/global mapping str_310309885 -> 1362 Function/global mapping str_321441646 -> 1363 Function/global mapping str_327090811 -> 1364 Function/global mapping str_376020145 -> 1365 Function/global mapping str_38823985 -> 1366 Function/global mapping str_408929688 -> 1367 Function/global mapping str_431250993 -> 1368 Function/global mapping str_431512140 -> 1369 Function/global mapping str_44761522 -> 1370 Function/global mapping str_449621654 -> 1371 Function/global mapping str_452974244 -> 1372 Function/global mapping str_49694899 -> 1373 Function/global mapping str_50674919 -> 1374 Function/global mapping str_513443753 -> 1375 Function/global mapping str_531676763 -> 1376 Function/global mapping str_555468249 -> 1377 Function/global mapping str_561185044 -> 1378 Function/global mapping str_572767259 -> 1379 Function/global mapping str_58019812 -> 1380 Function/global mapping str_606628269 -> 1381 Function/global mapping str_609033498 -> 1382 Function/global mapping str_622843373 -> 1383 Function/global mapping str_630623360 -> 1384 Function/global mapping str_635274587 -> 1385 Function/global mapping str_638292329 -> 1386 Function/global mapping str_653603384 -> 1387 Function/global mapping str_66924010 -> 1388 Function/global mapping str_671238564 -> 1389 Function/global mapping str_678615202 -> 1390 Function/global mapping str_682562730 -> 1391 Function/global mapping str_684937210 -> 1392 Function/global mapping str_72084799 -> 1393 Function/global mapping str_727797898 -> 1394 Function/global mapping str_734061660 -> 1395 Function/global mapping str_744315259 -> 1396 Function/global mapping str_748053548 -> 1397 Function/global mapping str_757577073 -> 1398 Function/global mapping str_786498353 -> 1399 Function/global mapping str_793782946 -> 1400 Function/global mapping str_83752097 -> 1401 Function/global mapping str_844064943 -> 1402 Function/global mapping str_854836358 -> 1403 Function/global mapping str_85567954 -> 1404 Function/global mapping str_85869867 -> 1405 Function/global mapping str_86491625 -> 1406 Function/global mapping str_86768295 -> 1407 Function/global mapping str_901697932 -> 1408 Function/global mapping str_912264506 -> 1409 Function/global mapping str_912264525 -> 1410 Function/global mapping str_912264544 -> 1411 Function/global mapping str_912264563 -> 1412 Function/global mapping str_912264582 -> 1413 Function/global mapping str_912264601 -> 1414 Function/global mapping str_912264620 -> 1415 Function/global mapping str_912264639 -> 1416 Function/global mapping str_912264658 -> 1417 Function/global mapping str_912264677 -> 1418 Function/global mapping str_915634087 -> 1419 Function/global mapping str_922969384 -> 1420 Function/global mapping str_936789035 -> 1421 Function/global mapping str_939382848 -> 1422 Function/global mapping str_955244222 -> 1423 Function/global mapping str_968011273 -> 1424 Function/global mapping str_97352837 -> 1425 Function/global mapping str_982244847 -> 1426 Function/global mapping str_988964367 -> 1427 Function/global mapping str_995310464 -> 1428 Function/global mapping str_999128850 -> 1429 Function/global mapping strcpy -> 1430 Function/global mapping synchronize_irq -> 1431 Function/global mapping synchronize_rcu -> 1432 Function/global mapping test_and_clear_bit -> 1433 Function/global mapping test_and_set_bit -> 1434 Function/global mapping unregister_netdev -> 1435 Function/global mapping use_dac -> 1436 Function/global mapping valid_dma_direction -> 1437 Function/global mapping virt_to_phys -> 1438 Function/global mapping vlan_hwaccel_receive_skb -> 1439 Function/global mapping warn_slowpath -> 1440 Function/global mapping writeb -> 1441 Function/global mapping writel -> 1442 Function/global mapping writew -> 1443 Function/global mapping x86_dma_fallback_dev -> 1444 adding rtl8169_get_wol to interface asim get globals for rtl8169_get_wol. adding rtl8169_get_drvinfo to interface asim get globals for rtl8169_get_drvinfo. adding rtl8169_get_regs_len to interface asim get globals for rtl8169_get_regs_len. adding rtl8169_get_rx_csum to interface asim get globals for rtl8169_get_rx_csum. adding rtl8169_get_regs to interface asim get globals for rtl8169_get_regs. adding rtl8169_get_msglevel to interface asim get globals for rtl8169_get_msglevel. adding rtl8169_get_sset_count to interface asim get globals for rtl8169_get_sset_count. adding rtl8169_get_ethtool_stats to interface asim get globals for rtl8169_get_ethtool_stats. execution_mode_map pci_unregister_driver default_mode pci_set_power_state default_mode _spin_unlock_irqrestore default_mode pci_set_dma_mask default_mode bitrev32 default_mode synchronize_irq default_mode rtnl_is_locked default_mode pci_release_regions default_mode printk default_mode rtl8169_get_regs symexec_na rtl8169_get_msglevel symexec_na __vlan_hwaccel_rx default_mode del_timer_sync default_mode __phys_addr default_mode rtl8169_get_ethtool_stats symexec_na pci_clear_mwi default_mode logStackVar symexec_na _spin_lock_irqsave default_mode _spin_lock_irq default_mode enable_irq default_mode kfree_skb default_mode pci_bus_read_config_word default_mode rtnl_lock default_mode rtnl_unlock default_mode msleep default_mode pci_request_regions default_mode register_netdev default_mode alloc_etherdev_mq default_mode rtl8169_get_drvinfo symexec_na netif_receive_skb default_mode pci_choose_state default_mode rtl8169_get_rx_csum symexec_na __builtin_expect default_mode netif_carrier_off default_mode crc32_le default_mode eth_type_trans default_mode netpoll_trap default_mode msleep_interruptible default_mode memset default_mode rtl8169_get_sset_count symexec_na net_ratelimit default_mode mod_timer default_mode pci_restore_state default_mode schedule_delayed_work default_mode dev_kfree_skb_irq default_mode warn_slowpath default_mode __builtin_memcpy default_mode rtl8169_get_wol symexec_na logStackFrame symexec_na strcpy default_mode iounmap default_mode pci_enable_device default_mode __kmalloc default_mode free_irq default_mode pci_disable_device default_mode flush_scheduled_work default_mode pci_set_mwi default_mode napi_complete default_mode pci_enable_wake default_mode __netif_schedule default_mode pci_set_master default_mode pci_enable_msi default_mode __napi_schedule default_mode rtl8169_get_regs_len symexec_na pci_bus_write_config_byte default_mode init_timer default_mode mii_ethtool_gset default_mode unregister_netdev default_mode skb_put default_mode __const_udelay default_mode disable_irq default_mode request_irq default_mode __pci_register_driver default_mode logRead symexec_na free_netdev default_mode pci_save_state default_mode pci_bus_write_config_word default_mode synchronize_rcu default_mode dump_stack default_mode __netdev_alloc_skb default_mode capable default_mode netif_napi_add default_mode netif_carrier_on default_mode pci_find_capability default_mode netif_device_attach default_mode __memcpy_fromio default_mode ioremap_nocache default_mode pci_disable_msi default_mode dev_driver_string default_mode logWrite symexec_na __memcpy default_mode netif_device_detach default_mode Adding fundec for MARSH___STUB__pci_unregister_driver Adding fundec for DEMARSH_STUB__pci_unregister_driver Adding fundec for pci_unregister_driver Processing pci_unregister_driver. Adding fundec for MARSH___STUB__pci_set_power_state Adding fundec for DEMARSH_STUB__pci_set_power_state Adding fundec for pci_set_power_state Processing pci_set_power_state. Adding fundec for MARSH___STUB__pci_set_dma_mask Adding fundec for DEMARSH_STUB__pci_set_dma_mask Adding fundec for pci_set_dma_mask Processing pci_set_dma_mask. Adding fundec for MARSH___STUB__bitrev32 Adding fundec for DEMARSH_STUB__bitrev32 Adding fundec for bitrev32 Processing bitrev32. Adding fundec for MARSH___STUB__synchronize_irq Adding fundec for DEMARSH_STUB__synchronize_irq Adding fundec for synchronize_irq Processing synchronize_irq. Adding fundec for MARSH___STUB__pci_release_regions Adding fundec for DEMARSH_STUB__pci_release_regions Adding fundec for pci_release_regions Processing pci_release_regions. Adding fundec for MARSH___STUB____vlan_hwaccel_rx Adding fundec for DEMARSH_STUB____vlan_hwaccel_rx Adding fundec for __vlan_hwaccel_rx Processing __vlan_hwaccel_rx. Adding fundec for MARSH___STUB__del_timer_sync Adding fundec for DEMARSH_STUB__del_timer_sync Adding fundec for del_timer_sync Processing del_timer_sync. Adding fundec for MARSH___STUB__pci_clear_mwi Adding fundec for DEMARSH_STUB__pci_clear_mwi Adding fundec for pci_clear_mwi Processing pci_clear_mwi. Adding fundec for MARSH___STUB__enable_irq Adding fundec for DEMARSH_STUB__enable_irq Adding fundec for enable_irq Processing enable_irq. Adding fundec for MARSH___STUB__pci_bus_read_config_word Adding fundec for DEMARSH_STUB__pci_bus_read_config_word Adding fundec for pci_bus_read_config_word Processing pci_bus_read_config_word. Adding fundec for MARSH___STUB__rtnl_lock Adding fundec for DEMARSH_STUB__rtnl_lock Adding fundec for rtnl_lock Processing rtnl_lock. Adding fundec for MARSH___STUB__rtnl_unlock Adding fundec for DEMARSH_STUB__rtnl_unlock Adding fundec for rtnl_unlock Processing rtnl_unlock. Adding fundec for MARSH___STUB__pci_request_regions Adding fundec for DEMARSH_STUB__pci_request_regions Adding fundec for pci_request_regions Processing pci_request_regions. Adding fundec for MARSH___STUB__register_netdev Adding fundec for DEMARSH_STUB__register_netdev Adding fundec for register_netdev Processing register_netdev. Adding fundec for MARSH___STUB__pci_choose_state Adding fundec for DEMARSH_STUB__pci_choose_state Adding fundec for pci_choose_state Processing pci_choose_state. Adding fundec for MARSH___STUB__netif_carrier_off Adding fundec for DEMARSH_STUB__netif_carrier_off Adding fundec for netif_carrier_off Processing netif_carrier_off. Adding fundec for MARSH___STUB__crc32_le Adding fundec for DEMARSH_STUB__crc32_le Adding fundec for crc32_le Processing crc32_le. Adding fundec for MARSH___STUB__eth_type_trans Adding fundec for DEMARSH_STUB__eth_type_trans Adding fundec for eth_type_trans Processing eth_type_trans. Adding fundec for MARSH___STUB__netpoll_trap Adding fundec for DEMARSH_STUB__netpoll_trap Adding fundec for netpoll_trap Processing netpoll_trap. Adding fundec for MARSH___STUB__net_ratelimit Adding fundec for DEMARSH_STUB__net_ratelimit Adding fundec for net_ratelimit Processing net_ratelimit. Adding fundec for MARSH___STUB__mod_timer Adding fundec for DEMARSH_STUB__mod_timer Adding fundec for mod_timer Processing mod_timer. Adding fundec for MARSH___STUB__pci_restore_state Adding fundec for DEMARSH_STUB__pci_restore_state Adding fundec for pci_restore_state Processing pci_restore_state. Adding fundec for MARSH___STUB__schedule_delayed_work Adding fundec for DEMARSH_STUB__schedule_delayed_work Adding fundec for schedule_delayed_work Processing schedule_delayed_work. Adding fundec for MARSH___STUB__dev_kfree_skb_irq Adding fundec for DEMARSH_STUB__dev_kfree_skb_irq Adding fundec for dev_kfree_skb_irq Processing dev_kfree_skb_irq. Adding fundec for MARSH___STUB__iounmap Adding fundec for DEMARSH_STUB__iounmap Adding fundec for iounmap Processing iounmap. Adding fundec for MARSH___STUB__pci_enable_device Adding fundec for DEMARSH_STUB__pci_enable_device Adding fundec for pci_enable_device Processing pci_enable_device. Adding fundec for MARSH___STUB__free_irq Adding fundec for DEMARSH_STUB__free_irq Adding fundec for free_irq Processing free_irq. Adding fundec for MARSH___STUB__pci_disable_device Adding fundec for DEMARSH_STUB__pci_disable_device Adding fundec for pci_disable_device Processing pci_disable_device. Adding fundec for MARSH___STUB__flush_scheduled_work Adding fundec for DEMARSH_STUB__flush_scheduled_work Adding fundec for flush_scheduled_work Processing flush_scheduled_work. Adding fundec for MARSH___STUB__pci_set_mwi Adding fundec for DEMARSH_STUB__pci_set_mwi Adding fundec for pci_set_mwi Processing pci_set_mwi. Adding fundec for MARSH___STUB__napi_complete Adding fundec for DEMARSH_STUB__napi_complete Adding fundec for napi_complete Processing napi_complete. Adding fundec for MARSH___STUB__pci_enable_wake Adding fundec for DEMARSH_STUB__pci_enable_wake Adding fundec for pci_enable_wake Processing pci_enable_wake. Adding fundec for MARSH___STUB____netif_schedule Adding fundec for DEMARSH_STUB____netif_schedule Adding fundec for __netif_schedule Processing __netif_schedule. Adding fundec for MARSH___STUB__pci_set_master Adding fundec for DEMARSH_STUB__pci_set_master Adding fundec for pci_set_master Processing pci_set_master. Adding fundec for MARSH___STUB__pci_enable_msi Adding fundec for DEMARSH_STUB__pci_enable_msi Adding fundec for pci_enable_msi Processing pci_enable_msi. Adding fundec for MARSH___STUB____napi_schedule Adding fundec for DEMARSH_STUB____napi_schedule Adding fundec for __napi_schedule Processing __napi_schedule. Adding fundec for MARSH___STUB__pci_bus_write_config_byte Adding fundec for DEMARSH_STUB__pci_bus_write_config_byte Adding fundec for pci_bus_write_config_byte Processing pci_bus_write_config_byte. Adding fundec for MARSH___STUB__init_timer Adding fundec for DEMARSH_STUB__init_timer Adding fundec for init_timer Processing init_timer. Adding fundec for MARSH___STUB__mii_ethtool_gset Adding fundec for DEMARSH_STUB__mii_ethtool_gset Adding fundec for mii_ethtool_gset Processing mii_ethtool_gset. Adding fundec for MARSH___STUB__unregister_netdev Adding fundec for DEMARSH_STUB__unregister_netdev Adding fundec for unregister_netdev Processing unregister_netdev. Adding fundec for MARSH___STUB__disable_irq Adding fundec for DEMARSH_STUB__disable_irq Adding fundec for disable_irq Processing disable_irq. Adding fundec for MARSH___STUB__request_irq Adding fundec for DEMARSH_STUB__request_irq Adding fundec for request_irq Processing request_irq. Adding fundec for MARSH___STUB____pci_register_driver Adding fundec for DEMARSH_STUB____pci_register_driver Adding fundec for __pci_register_driver Processing __pci_register_driver. Adding fundec for MARSH___STUB__free_netdev Adding fundec for DEMARSH_STUB__free_netdev Adding fundec for free_netdev Processing free_netdev. Adding fundec for MARSH___STUB__pci_save_state Adding fundec for DEMARSH_STUB__pci_save_state Adding fundec for pci_save_state Processing pci_save_state. Adding fundec for MARSH___STUB__pci_bus_write_config_word Adding fundec for DEMARSH_STUB__pci_bus_write_config_word Adding fundec for pci_bus_write_config_word Processing pci_bus_write_config_word. Adding fundec for MARSH___STUB__synchronize_rcu Adding fundec for DEMARSH_STUB__synchronize_rcu Adding fundec for synchronize_rcu Processing synchronize_rcu. Adding fundec for MARSH___STUB__dump_stack Adding fundec for DEMARSH_STUB__dump_stack Adding fundec for dump_stack Processing dump_stack. Adding fundec for MARSH___STUB__capable Adding fundec for DEMARSH_STUB__capable Adding fundec for capable Processing capable. Adding fundec for MARSH___STUB__netif_napi_add Adding fundec for DEMARSH_STUB__netif_napi_add Adding fundec for netif_napi_add Processing netif_napi_add. Adding fundec for MARSH___STUB__netif_carrier_on Adding fundec for DEMARSH_STUB__netif_carrier_on Adding fundec for netif_carrier_on Processing netif_carrier_on. Adding fundec for MARSH___STUB__pci_find_capability Adding fundec for DEMARSH_STUB__pci_find_capability Adding fundec for pci_find_capability Processing pci_find_capability. Adding fundec for MARSH___STUB__netif_device_attach Adding fundec for DEMARSH_STUB__netif_device_attach Adding fundec for netif_device_attach Processing netif_device_attach. Adding fundec for MARSH___STUB__ioremap_nocache Adding fundec for DEMARSH_STUB__ioremap_nocache Adding fundec for ioremap_nocache Processing ioremap_nocache. Adding fundec for MARSH___STUB__pci_disable_msi Adding fundec for DEMARSH_STUB__pci_disable_msi Adding fundec for pci_disable_msi Processing pci_disable_msi. Adding fundec for MARSH___STUB__dev_driver_string Adding fundec for DEMARSH_STUB__dev_driver_string Adding fundec for dev_driver_string Processing dev_driver_string. Adding fundec for MARSH___STUB__netif_device_detach Adding fundec for DEMARSH_STUB__netif_device_detach Adding fundec for netif_device_detach Processing netif_device_detach. gen_registerfn: rtl8169_get_wol gen_registerfn: rtl8169_get_drvinfo gen_registerfn: rtl8169_get_regs_len gen_registerfn: rtl8169_get_rx_csum gen_registerfn: rtl8169_get_regs gen_registerfn: rtl8169_get_msglevel gen_registerfn: rtl8169_get_sset_count gen_registerfn: rtl8169_get_ethtool_stats dummy function param_set_int dummy function param_get_int dummy function eth_validate_addr dummy function ethtool_op_get_link dummy function ethtool_op_set_tx_csum dummy function ethtool_op_set_sg dummy function ethtool_op_set_tso Removing unused temporaries Produced user side of the split ======================================================= [CHECK]: CYCLE DETECTION (edges, nodes): 268 104 [CHECK]: recursive annotation: [struct list_head -> next] [CHECK]: recursive annotation: [struct list_head -> prev] [CHECK]: recursive annotation: [CHECK]: recursive annotation: [struct mii_if_info -> dev] [struct net_device -> priv] [CHECK]: Formal p of rtl8169_get_regs does not resolve! [CHECK]: Void type passed to nooks_ot_lookup: __MARSH_WRAP__rtl8169_get_regs p Fix this, or you'll have memory corruption at runtime [CHECK]: Assuming standard scalar pointer for Function: MARSH___STUB__pci_request_regions Variable type: char const * No offset [CHECK]: Assuming standard scalar pointer for Function: DEMARSH_STUB__pci_request_regions Variable type: char const * No offset [CHECK]: Assuming standard scalar pointer for p Function: MARSH___STUB__crc32_le Variable type: unsigned char const * No offset [CHECK]: Assuming standard scalar pointer for p Function: DEMARSH_STUB__crc32_le Variable type: unsigned char const * No offset [CHECK]: Formal addr of MARSH___STUB__iounmap does not resolve! [CHECK]: Formal addr of DEMARSH_STUB__iounmap does not resolve! [CHECK]: Void type passed to nooks_ot_lookup: DEMARSH_STUB__iounmap addr Fix this, or you'll have memory corruption at runtime [CHECK]: Formal of MARSH___STUB__free_irq does not resolve! [CHECK]: Formal of DEMARSH_STUB__free_irq does not resolve! [CHECK]: Void type passed to nooks_ot_lookup: DEMARSH_STUB__free_irq Fix this, or you'll have memory corruption at runtime [CHECK]: Assuming standard scalar pointer for Function: MARSH___STUB__request_irq Variable type: char const * No offset [CHECK]: Formal of MARSH___STUB__request_irq does not resolve! [CHECK]: Assuming standard scalar pointer for Function: DEMARSH_STUB__request_irq Variable type: char const * No offset [CHECK]: Formal of DEMARSH_STUB__request_irq does not resolve! [CHECK]: Void type passed to nooks_ot_lookup: DEMARSH_STUB__request_irq Fix this, or you'll have memory corruption at runtime [CHECK]: Assuming standard scalar pointer for mod_name Function: MARSH___STUB____pci_register_driver Variable type: char const * No offset [CHECK]: Assuming standard scalar pointer for mod_name Function: DEMARSH_STUB____pci_register_driver Variable type: char const * No offset [CHECK]: Formal _retval_ of DEMARSH_STUB__ioremap_nocache does not resolve! [CHECK]: Void type passed to nooks_ot_lookup: DEMARSH_STUB__ioremap_nocache _retval_ Fix this, or you'll have memory corruption at runtime [CHECK]: Assuming standard scalar pointer for _retval_ Function: DEMARSH_STUB__dev_driver_string Variable type: char const * No offset [CHECK]: Converting to NoStorage disp_kern [CHECK]: Converting to NoStorage param_set_int [CHECK]: Converting to NoStorage param_get_int [CHECK]: Converting to NoStorage jiffies [CHECK]: Converting to NoStorage __this_module [CHECK]: Converting to NoStorage x86_dma_fallback_dev [CHECK]: Converting to NoStorage dma_ops [CHECK]: Converting to NoStorage eth_validate_addr [CHECK]: Converting to NoStorage ethtool_op_get_link [CHECK]: Converting to NoStorage ethtool_op_set_tx_csum [CHECK]: Converting to NoStorage ethtool_op_set_sg [CHECK]: Converting to NoStorage ethtool_op_set_tso ======================================================= #### Total execution time: 2.231660 printing file ./r8169.merged.sym.cil.c ****** ISOLATING :::: rtl8169_get_wol ::::::::::odftPerforimg heapify rtl8169_get_wol****** ISOLATING :::: rtl8169_get_drvinfo ::::::::::odftPerforimg heapify rtl8169_get_drvinfo****** ISOLATING :::: rtl8169_get_regs_len ::::::::::odftPerforimg heapify rtl8169_get_regs_len****** ISOLATING :::: rtl8169_get_rx_csum ::::::::::odftPerforimg heapify rtl8169_get_rx_csum****** ISOLATING :::: rtl8169_get_regs ::::::::::odftPerforimg heapify rtl8169_get_regs****** ISOLATING :::: rtl8169_get_msglevel ::::::::::odftPerforimg heapify rtl8169_get_msglevel****** ISOLATING :::: rtl8169_get_sset_count ::::::::::odftPerforimg heapify rtl8169_get_sset_count****** ISOLATING :::: rtl8169_get_ethtool_stats ::::::::::odftPerforimg heapify rtl8169_get_ethtool_statsticks 1 newstmt 0 mem bugs 0 hlt 0 ret 1 rtc 10 pk 1 dma 3. Timings: TOTAL 0.000 s Timing used Memory statistics: total=1152.37MB, max=37.58MB, minor=1150.85MB, major=43.51MB, promoted=41.98MB minor collections=548 major collections=11 compactions=0 Preprocessing ./r8169.merged.sym.cil.c gcc -D_GNUCC -E ./r8169.merged.sym.cil.c -o ./r8169.merged.sym.cil.i