Print this page
new smatch
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/src/smatch_data/kernel.ignore_uninitialized_param
+++ new/usr/src/tools/smatch/src/smatch_data/kernel.ignore_uninitialized_param
1 1 regmap_read 2
2 2 regmap_fields_read 2
3 3 visorchannel_read 2
4 4 dmam_alloc_coherent 2
5 5 diva_pci_alloc_consistent 2
6 6 read_mos_reg 3
7 7 adp5520_read 2
8 8 gameport_cooked_read 2
9 9 max3100_sr 1
10 10 sata_scr_read 2
11 11 svia_scr_read 2
12 12 lp8788_read_byte 2
13 13 qla83xx_rd_reg 2
14 14 cciss_read_capacity 2
15 15 cciss_read_capacity 3
16 16 rio_mport_read_config_32 4
17 17 acpi_read 0
18 18 axi_clkgen_mmcm_read 2
19 19 intel_msic_irq_read 2
20 20 pci_user_read_config_word 2
21 21 ec_read 1
22 22 sony_call_snc_handle 2
23 23 pci_user_read_config_word 2
24 24 read_reg_fp 2
25 25 vid_blk_read_word 2
26 26 mc417_memory_read 2
27 27 stv06xx_read_sensor 2
28 28 lm90_read_reg 2
29 29 read_mii_word 3
30 30 read_eprom_word 2
31 31 generic_ocp_read 2
32 32 lan78xx_read_reg 2
33 33 com20020_copy_from_card 3
34 34 wl3501_get_from_wla 2
35 35 ipw_get_ordinal 2
36 36 generic_ocp_read 3
37 37 et131x_mii_read 2
38 38 ql_mii_read_reg 2
39 39 atl1c_read_phy_dbg 2
40 40 atl2_read_phy_reg 2
41 41 atl1_read_phy_reg 2
42 42 pch_gbe_hal_read_phy_reg 2
43 43 t1_tpi_read 2
44 44 rio_local_read_config_32 2
45 45 acpi_smbus_read 4
46 46 pci_read_config_dword 2
47 47 viafb_i2c_readbyte 3
48 48 bap_read 1
49 49 of_get_property 2
50 50 of_property_read_u32 2
51 51 of_property_read_u8 2
52 52 of_property_read_u16 2
53 53 of_property_read_u32_index 3
54 54 intel_gvt_hypervisor_read_gpa 2
55 55 cs5536_read 1
56 56 __amd64_read_pci_cfg_dword 2
57 57 e1e_rphy 2
58 58 imx_phy_reg_read 0
59 59 chipio_read 0
60 60 had_read_register 1
61 61 qcaspi_read_register 2
62 62 mv88e6xxx_g2_read 2
63 63 b53_read8 3
64 64 b53_read16 3
65 65 b53_read32 3
66 66 b53_read48 3
67 67 b53_read64 3
68 68 dvbtqam_get_acc_pkt_err 1
69 69 ch7xxx_readb 2
70 70 ivch_read 2
71 71 tvp7002_read 2
72 72 rtsx_pci_read_register 2
73 73 rtsx_usb_ep0_read_register 2
74 74 __t1_tpi_read 2
75 75 smsc95xx_read_reg 2
76 76 pci_user_read_config_dword 2
77 77 da903x_read 2
78 78 rio_read_config_8 2
79 79 rio_read_config_16 2
80 80 rio_read_config_32 2
81 81 __ad7280_read32 1
82 82 rtsx_read_cfg_dw 3
83 83 lola_read_param 3
84 84 soc_dapm_read 2
85 85 read_nic_byte 2
86 86 amd_smn_read 2
87 87 meson_ao_cec_read 2
88 88 pci_read_config_byte 2
89 89 pci_read_config_word 2
90 90 i40e_read_nvm_word 2
91 91 stk_camera_read_reg 2
92 92 cnl_get_buf_trans_edp 1
93 93 cnl_get_buf_trans_dp 1
94 94 intel_ddi_get_buf_trans_edp 1
95 95 intel_ddi_get_buf_trans_dp 1
96 96 cnl_get_buf_trans_hdmi 1
97 97 iosf_mbi_read 3
98 98 lola_codec_read 5
99 99 chipio_read 2
100 100 pcxhr_write_io_num_reg_cont 3
101 101 read_current_timer 0
|
↓ open down ↓ |
101 lines elided |
↑ open up ↑ |
102 102 pwrap_read 2
103 103 dibusb_read_eeprom_byte 2
104 104 of_fdt_unflatten_tree 2
105 105 pci_user_read_config_byte 2
106 106 gen11_gu_misc_irq_ack 2
107 107 vsc73xx_read 4
108 108 smb_hc_read 2
109 109 smb_word_op 5
110 110 atl1c_read_phy_reg 2
111 111 adf7242_read_reg 2
112 +tfp410_readb 2
113 +asus_wmi_get_devstate 2
114 +e1000_read_nvm 2
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX