db: don't print "failed to open" warnings...
[smatch.git] / smatch_data / kernel.ignore_side_effects
blobe94fa1e60587ea4d17eec40fdc6d69d973604c24
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  */
8 ADD_STA_STATS
9 ARCH_DLINFO
10 AWDATA
11 ENCODE
12 ENCODE_DATA
13 ENCODE_STR
14 get_child
15 get_child_rcu
16 get_unaligned
17 get_user
18 __get_user
19 __get_user_nocheck
20 hybrid_tuner_request_state
21 iterate_bvec
22 iterate_all_kinds
23 lookup
24 lookup_rightempty
25 MAKE_RAW_BYTE
26 MAKE_RAW_BYTE_56K
27 mdelay
28 MsgHead
29 MUL64
30 NEW_AUX_ENT
31 nh_vmac_nhbytes
32 ntohl
33 OUT_RING_REG
34 poly_step
35 PUT_BYTE
36 put_short
37 put_user
38 __put_user
39 __put_user_nocheck
40 R128_WAIT_UNTIL_PAGE_FLIPPED
41 R600_CLEAR_AGE
42 R600_DISPATCH_AGE
43 R600_FRAME_AGE
44 RADEON_CLEAR_AGE
45 RADEON_DISPATCH_AGE
46 RADEON_FLUSH_CACHE
47 RADEON_FRAME_AGE
48 RADEON_PURGE_CACHE
49 RADEON_PURGE_ZCACHE
50 RADEON_WAIT_UNTIL_2D_IDLE
51 RADEON_WAIT_UNTIL_3D_IDLE
52 RADEON_WAIT_UNTIL_IDLE
53 RCU_INIT_POINTER
54 READ64
55 rtnl_dereference
56 send_bits
57 send_code
58 SOCK_ADDR_LOAD_NESTED_FIELD
59 SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
60 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
61 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
62 SOCK_OPS_GET_TCP32
63 unsafe_get_user
64 unsafe_put_user
65 VIA_OUT_RING_QW
66 WRITE64