smatch_kernel_data/ignore_side_effects at master · error27/smatch_kernel_data · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
/*
 * Manually created.
 *
 * Most of these have intentional side effects.
 * Some of them like put_user() and friends, have side effects when __CHECKER__
 * is defined but not in the compiled kernel.
 */
ADD_STA_STATS
ARCH_DLINFO
ASTXQ
AT_READ_REG
AWDATA
BPF_TCP_SOCK_GET_COMMON
CONVERT_COMMON_TCP_SOCK_FIELDS
DUMP_REG
ENCODE
ENCODE_DATA
ENCODE_STR
get_child
get_child_rcu
get_unaligned
get_user
__get_user
__get_user_nocheck
hybrid_tuner_request_state
iterate_bvec
iterate_all_kinds
LOCKDEP_STATE
lookup
lookup_rightempty
MAKE_RAW_BYTE
MAKE_RAW_BYTE_56K
mdelay
memcpy
memmove
memset
MsgHead
MUL64
NEW_AUX_ENT
nh_vmac_nhbytes
ntohl
OUT_RING_REG
poly_step
PUT_BYTE
put_short
put_user
__put_user
__put_user_nocheck
QMI_ENCDEC_ENCODE_TLV
R128_WAIT_UNTIL_PAGE_FLIPPED
R600_CLEAR_AGE
R600_DISPATCH_AGE
R600_FRAME_AGE
RADEON_CLEAR_AGE
RADEON_DISPATCH_AGE
RADEON_FLUSH_CACHE
RADEON_FRAME_AGE
RADEON_PURGE_CACHE
RADEON_PURGE_ZCACHE
RADEON_WAIT_UNTIL_2D_IDLE
RADEON_WAIT_UNTIL_3D_IDLE
RADEON_WAIT_UNTIL_IDLE
rcu_assign_pointer
RCU_INIT_POINTER
rcu_dereference
rcu_dereference_bh
READ64
rtnl_dereference
SK_REUSEPORT_LOAD_SKB_FIELD
SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
send_bits
send_code
SOCK_ADDR_LOAD_NESTED_FIELD
SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
SOCK_OPS_GET_FIELD
SOCK_OPS_GET_OR_SET_FIELD
SOCK_OPS_GET_SK
SOCK_OPS_GET_TCP32
SOCK_OPS_GET_TCP_SOCK_FIELD
__soc_pcm_params_symmetry
test_simple_strtoxx
unsafe_get_user
unsafe_put_user
UVC_COPY_XU_DESCRIPTOR
VIA_OUT_RING_QW
WREG32_SOC15_DPG_MODE_2_0
WRITE64
Z