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
11CONVERT_COMMON_TCP_SOCK_FIELDS
12ENCODE
13ENCODE_DATA
14ENCODE_STR
15get_child
16get_child_rcu
17get_unaligned
18get_user
19__get_user
20__get_user_nocheck
21hybrid_tuner_request_state
22iterate_bvec
23iterate_all_kinds
24lookup
25lookup_rightempty
26MAKE_RAW_BYTE
27MAKE_RAW_BYTE_56K
28mdelay
29MsgHead
30MUL64
31NEW_AUX_ENT
32nh_vmac_nhbytes
33ntohl
34OUT_RING_REG
35poly_step
36PUT_BYTE
37put_short
38put_user
39__put_user
40__put_user_nocheck
41R128_WAIT_UNTIL_PAGE_FLIPPED
42R600_CLEAR_AGE
43R600_DISPATCH_AGE
44R600_FRAME_AGE
45RADEON_CLEAR_AGE
46RADEON_DISPATCH_AGE
47RADEON_FLUSH_CACHE
48RADEON_FRAME_AGE
49RADEON_PURGE_CACHE
50RADEON_PURGE_ZCACHE
51RADEON_WAIT_UNTIL_2D_IDLE
52RADEON_WAIT_UNTIL_3D_IDLE
53RADEON_WAIT_UNTIL_IDLE
54rcu_assign_pointer
55RCU_INIT_POINTER
56READ64
57rtnl_dereference
58SK_REUSEPORT_LOAD_SKB_FIELD
59SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
60send_bits
61send_code
62SOCK_ADDR_LOAD_NESTED_FIELD
63SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
64SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
65SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
66SOCK_OPS_GET_FIELD
67SOCK_OPS_GET_OR_SET_FIELD
68SOCK_OPS_GET_TCP32
69unsafe_get_user
70unsafe_put_user
71VIA_OUT_RING_QW
72WREG32_SOC15_DPG_MODE_2_0
73WRITE64
74Z
75