xref: /illumos-gate/usr/src/tools/smatch/src/smatch_data/kernel.ignore_side_effects (revision efe51d0cc2398b9ac179568b63a44e4bf295b8e2)
1/*
2 * Manually created.
3 *
4 * Most of these have intentional side effects.
5 * Some of them like put_user() and friends, have side effects when __CHECKER__
6 * is defined but not in the compiled kernel.
7 */
8ADD_STA_STATS
9ARCH_DLINFO
10AWDATA
11ENCODE
12ENCODE_DATA
13ENCODE_STR
14get_child
15get_child_rcu
16get_unaligned
17get_user
18__get_user
19__get_user_nocheck
20hybrid_tuner_request_state
21iterate_bvec
22iterate_all_kinds
23lookup
24lookup_rightempty
25MAKE_RAW_BYTE
26MAKE_RAW_BYTE_56K
27mdelay
28MsgHead
29MUL64
30NEW_AUX_ENT
31nh_vmac_nhbytes
32ntohl
33OUT_RING_REG
34poly_step
35PUT_BYTE
36put_short
37put_user
38__put_user
39__put_user_nocheck
40R128_WAIT_UNTIL_PAGE_FLIPPED
41R600_CLEAR_AGE
42R600_DISPATCH_AGE
43R600_FRAME_AGE
44RADEON_CLEAR_AGE
45RADEON_DISPATCH_AGE
46RADEON_FLUSH_CACHE
47RADEON_FRAME_AGE
48RADEON_PURGE_CACHE
49RADEON_PURGE_ZCACHE
50RADEON_WAIT_UNTIL_2D_IDLE
51RADEON_WAIT_UNTIL_3D_IDLE
52RADEON_WAIT_UNTIL_IDLE
53RCU_INIT_POINTER
54READ64
55rtnl_dereference
56SK_REUSEPORT_LOAD_SKB_FIELD
57SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
58send_bits
59send_code
60SOCK_ADDR_LOAD_NESTED_FIELD
61SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
62SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
63SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
64SOCK_OPS_GET_FIELD
65SOCK_OPS_GET_OR_SET_FIELD
66SOCK_OPS_GET_TCP32
67unsafe_get_user
68unsafe_put_user
69VIA_OUT_RING_QW
70WRITE64
71Z
72